C1:=cercle(A,B-A);
  perpendiculaire(B,droite(A,B));
  C2:=cercle(C,A);
  E:=inter(C1,C2);
  droite(E[0],C);
  droite(E[1],C);