Доказать равносильность следующих формул

Объяснение:

uses graphABC;

begin

setwindowsize(500,500);

setpenwidth(4);

arc(250,200,50,-90,90);

arc(250,320,70,-90,90);

line(230,150,250,150);

line(230,250,250,250);

line(230,390,250,390);

line(230,150,230,390);

floodfill(260,200,clbrown);

floodfill(260,320,clbrown);

setbrushcolor(clcream);

circle(230,100,50);

arc(240,150,30,30,-190);

floodfill(240,140,clbrown);

setbrushcolor(clwhite);

circle(240,90,20);

ellipse(240,75,260,105);

setbrushcolor(clblack);

circle(250,90,5);

arc(350,150,100,130,-200);

arc(220,40,100,-60,0);

arc(270,43,35,-60,90);

arc(344,40,25,40,-170);

line(290,180,390,140);

line(390,140,380,60);

line(380,60,400,50);

line(300,200,390,230);

line(390,230,400,180);

line(400,180,420,180);

line(230,180,110,170);

line(110,170,150,100);

line(150,100,130,80);

line(230,210,140,240);

line(140,240,120,290);

line(120,290,100,270);

line(320,310,380,370);

line(380,370,350,430);

line(350,430,380,430);

line(310,360,330,380);

line(330,380,250,430);

line(250,430,280,430);

end.

s=15; i=-1

Присваиваем переменной s значение 0, а переменной i - 5:

s:=0; i:=5;

Создаём цикл, который будет выполнятся пока будет выполнятся условие i>=0 , то есть пока i будет меньше или равна нулю, будут выполнятся команды, записанные между begin и end :

while i>=0 do

begin  

Присваиваем переменной s новое значение: текущее s + i.

   s:=s+i;

Присваиваем переменной i новое значение: текущее значение i - 1.

   i:=i-1

Теперь i стала на 1 меньше, изначально она равнялась пяти, но с каждым проходом цикла она уменьшается на 1, то есть через 6 кругов она станет меньше 0 и цикл завершится. За эти 6 кругов будет увеличиваться s, на i, то есть за весь цикл она увеличится на 5+4+3+2+1+0, то есть 15. изначально s=0, поэтому по завершении программы она станет равна 0+15=15, а i -1.

end;