Запишите на паскале следующее арифметическое выражение: a^2+2abc+b^2-4c

Будет выглядеть как

s:=sqr(a)+(2*a*b*c)+sqr(b)-(4*c);

Исходя из вашего запроса:
без отрицания k
#include <iostream>
using namespace std;
int main()
{   
int a,k,s,x;
 for (k=0; k<20; k++)
{       
s +=((-1)*(k+1)*x^k)/3^k;   
}   
cout << s << endl;   
system("pause"); // или _getch();
return 0;
}

с отрицанием k
#include <iostream>
using namespace std;
int main()
{   
int a,k,s,x;   
for (k=0; k<20; k++)   
{       
s +=((-1)*(k+1)*x^k)/3^k;   
}   
cout << s << endl;   
system("pause"); // èëè _getch();   
return 0;
}
и формулируйте вопрос корректнее. 
в обоих решениях k=0 изначально

(-) - неверное высказывание. (+) - верное.
допустим, что в 1) 1(-), 2(+) ( Вася не первое, Юра второе)
значит:
2) Саша не второе "2 - Юра" => Вася последнее.
3) Иван не второе "2 - Юра" => Гриша третье.
4) Гриша не первое "Гриша - 3" => Юра четвертое.
Но Юра не может быть и на втором и на четвёртом месте.
Вывод: 1) 1(+), 2(-) ( Вася - 1, Юра не 2).
Значит:
2) Вася не последнее "Вася - 1" => Саша - 2.
3) Иван не второе "Саша - 2" => Гриша - 3.
4) Гриша не первое "Гриша - 3" => Юра - 4.
5) Юра четвёртое => Иван не второе.
ответ: Вася -1, Саша - 2, Гриша - 3, Юра - 4, Иван - 5