@options;

@figure;
  gogeometry = texte( -5.5 , -6.1 ,"Antonio Gutierrez.     www.gogeometry.com")  { rougefonce , dec1 , car-3 };
  click = texte( -5.5 , -5.7 ,"Click this button to start/stop the animation")  { rougefonce , dec2 , car-3 };
  A = point( -5.43 , -2 )  { rond3 , (-0.26,-0.03) };
  N2an = point( -0.15 , 3.86 )  { i };
  N1an = point( -1.39 , 3.39 )  { i };
  ceN2N1 = cercle( N2an , N1an )  { i };
  xx = reel( 353.5 , 0 , 360 , 2.5 )  { oscille , (7.67,-8) , i };
  var yy = 180*cos(xx)+150 { 328.842934021786 };
  B = pointsur( ceN2N1 , yy )  { rond2 , (-0.22,-0.91) };
  C = point( 5.8 , -2 )  { rond3 , (-0.06,-0.07) };
  sAB = segment( A , B )  { noir , 3 };
  sBC = segment( B , C )  { noir , 3 };
  sAC = segment( A , C )  { noir , 3 };
  polyABC = polygone( A , B , C  )  { stop , jaune , plein50 };
  D = milieu( B , C )  { (0.13,-0.62) };
  sAD = segment( A , D )  { stop };
  E = milieu( A , C );
  sBE = segment( B , E )  { stop };
  F = milieu( A , B )  { (-0.67,-0.6) };
  sCF = segment( C , F )  { stop };
  G = intersection( sAD , sBE )  { stop , rouge , rond3 };
  medEG = mediatrice( E , G )  { i };
  medAG = mediatrice( A , G )  { i };
  polyAGE = polygone( A , G , E  )  { stop , vert , plein30 };
  ceO1A = cercle( O1 , A )  { stop , vert , plein10 };
  O1 = intersection( medEG , medAG )  { stop , vertfonce , rond3 , car-2 , (-0.7,-0.39) };
  medGC = mediatrice( G , C )  { i };
  medGF = mediatrice( G , F )  { i };
  polyAGF = polygone( A , G , F  )  { stop , orange , plein60 };
  ceO2F = cercle( O2 , F )  { stop , orange , plein10 };
  O2 = intersection( medGF , medAG )  { stop , marron , rond3 , car-2 , (-0.7,-0.16) };
  medGB = mediatrice( G , B )  { i };
  polyBGF = polygone( B , G , F  )  { stop , vert , plein30 };
  ceO3B = cercle( O3 , B )  { stop , vert , plein10 };
  O3 = intersection( medGF , medGB )  { stop , vertfonce , rond3 , car-2 };
  medGD = mediatrice( G , D )  { i };
  polyBGD = polygone( B , G , D  )  { stop , orange , plein60 };
  ceO4B = cercle( O4 , B )  { stop , orange , plein10 };
  O4 = intersection( medGD , medGB )  { stop , marron , rond3 , car-2 , (0.03,-0.43) };
  polyCGD = polygone( C , G , D  )  { stop , vert , plein30 };
  ceO5C = cercle( O5 , C )  { stop , vert , plein10 };
  O5 = intersection( medGC , medGD )  { stop , vertfonce , rond3 , car-2 };
  polyCGE = polygone( C , G , E  )  { stop , orange , plein60 };
  ceO6C = cercle( O6 , C )  { stop , orange , plein10 };
  O6 = intersection( medEG , medGC )  { stop , marron , rond3 , car-2 , (0.09,-0.17) };
  sO1O3 = segment( O1 , O3 )  { i };
  sO3O4 = segment( O3 , O4 )  { i };
  medO1O3 = mediatrice( O1 , O3 )  { i };
  medO3O4 = mediatrice( O3 , O4 )  { i };
  O = intersection( medO1O3 , medO3O4 )  { rouge , rond3 , (0.07,-0.2) };
  ceOO1 = cercle( O , O1 )  { rouge , 3 };
  P3 = texte( H ,"Prove that: O1,O2,O3,O4,O5,O6 are concyclic")  { stop , rouge , (-4.35,-0.6) , dec2 , car-3 };
  H = point( 1.57 , 5.52 )  { i };
  sO4H = segment( O4 , H )  { kakiclair };

@config;
couleurfonddessin=0xFFFFFF;
boutons=animation;