Define:
A=point(0,0)
B=point(1,0)
C=point(u1=0.2,u2=2.15)
C1=point(x1,x2)
B1=point(x3,x4)
A1=point(x5,x6)
Constrain:
equidistance(A ,C1 ,B ,C1)
equidistance(A ,C1 ,A ,B )
equidistance(A ,B1 ,A ,C)
equidistance(A ,B1 ,C ,B1)
equidistance(B ,A1 ,B ,C)
equidistance(B ,A1 ,C ,A1)
pointondiffside(A,B, C, C1)
pointondiffside(A,C, B, B1)
pointondiffside(C,B, A, A1)
Display:
triangle(A,B,C )
triangle(A,B,C1)
triangle(A ,B1,C )
triangle(A1,B ,C )
segment(A , A1)
segment(B , B1)
segment(C , C1)["(u2 <0)", x1 = 1/2, x2 = 1/2*3^(1/2), x3 = 1/2*u1+u2*x2, x4 = 1/2*(-2*u1*x3+u2^2+u1^2)/u2, x5 = 1/2*u1+1/2-u2*x2, x6 = 1/2*(-2*u1*x5+2*x5+u1^2+u2^2-1)/u2], ["(u2 >0)", x1 = 1/2, x2 = -1/2*3^(1/2), x3 = 1/2*u1+u2*x2, x4 = 1/2*(-2*u1*x3+u2^2+u1^2)/u2, x5 = 1/2*u1+1/2-u2*x2, x6 = 1/2*(-2*u1*x5+2*x5+u1^2+u2^2-1)/u2]