Pascal's
GDI
F. Botana http://webs.uvigo.es/fbotana/J.L. Valcarce
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