Código

Seguidamente presentamos el código empleado en Maple V.5 para demostrar este Teorema:
restart;
h1:=x1-alpha* v1;
h2:=y1-1-alpha*v2;
h3:=x2-beta*v1;
h4:=y2-1-beta*v2;
h5:=x3-gamma*w1;
h6:=y3+1-gamma*w2;
h7:=x4-delta*w1;
h8:=y4+1-delta*w2;
h9:=alpha* (v1^2+v2^2)+2*(v2-v1);
h10:=beta* (v1^2+v2^2)+2*(v2-a*v1);
h11:=gamma* (w1^2+w2^2)-2*(w1+w2);
h12:=delta* (w1^2+w2^2)-2*(a*w1+w2);
Tesis:=(y4-y2)*(x3-x1)-(y3-y1)*(x4-x2);
R1:=prem(Tesis,h1,x1,'m1'):
R2:=prem(R1,h2,y1,'m2'):
R3:=prem(R2,h3,x2,'m3'):
R4:=prem(R3,h4,y2,'m4'):
R5:=prem(R4,h5,x3,'m5'):
R6:=prem(R5,h6,y3,'m6'):
R7:=prem(R6,h7,x4,'m7'):
R8:=prem(R7,h8,y4,'m8'):
R9:=prem(R8,h9,alpha,'m9'):
R10:=prem(R9,h10,beta,'m10'):
R11:=prem(R10,h11,gamma,'m11'):
R12:=prem(R11,h12,delta,'m12');