Pascal's 

 

GDI 

 

F. Botana             http://webs.uvigo.es/fbotana/J.L. Valcarce 

 

 

Image 

 

 

      Points                LingProperties 

A(0,0) 

Aligned(C,A,B)  

B(1,0) 

Aligned(C1,A1,B1)  

A1(u[5],u[6]) 

Aligned(Q,A1,C)  

B1(u[7],u[8]) 

Aligned(Q,A,C1)  

C(x[1],x[2]) 

Aligned(P,A,B1)  

C1(x[3],x[4]) 

Aligned(P,B,A1)  

Q(x[5],x[6]) 

Aligned(R,B1,C)  

P(x[7],x[8]) 

Aligned(R,B,C1) 

R(x[9],x[10]) 

 

LingConditionsAligned(P,Q,R)ProveProperties 

 

 

Image