# Animation for smoothly connected biarcs
Let(A=[0,0], D=[u1,0], B=[u2,u3], M=[X,Y], C1=[0,x1], C2=[x2,x3], I1=[x4,x5]):
Biarc := Theorem([perpendicular(B,C2,B,D), oncirc(C1,A,M),
                  oncirc(C2,B,M), online(C1,C2,M),
                  u1-t-2*x4, u1*u2-u1^2+t^2+u2*t-2*u3*x5,
                  u3^2+(u1-u2)^2-t^2, circumcenter(A,B,M,I1)],
                 parallel(A,D,A,D), [t,Y,x1,x2,x3,x4,x5]);
Remark(
`See D. Wang: Elimination Methods. Springer, Wien New York (2001) 209-211.` 
):
