// Le symetrique de l'orthocentre / a un cote d'un triangle appartient
  // au cercle circonscrit
  assume(b=1);
  assume(c=-1.66);
  O:=point(0);
  A:=point(1,0);
  B:=point(cos(b),sin(b));
  C:=point(cos(c),sin(c));
  couleur(triangle(A,B,C),vert);
  couleur(cercle(0,1),vert);
  E:=hauteur(A,B,C);
  F:=hauteur(B,C,A);
  G:=hauteur(C,A,B);
  H:=head(inter(E,F));
  simplify(H-head(inter(F,G)));
  droite(A,B);
  S:=symetrie(droite(A,B),H);
  simplify(longueur2(O,S));