@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( -3.43 , -3 )  { rond2 , (-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.37,-0.94) };
  C = point( 3.43 , -3 )  { rond2 , (-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 , plein60 };
  bissCAB = bissectrice( C , A , B )  { i };
  bissACB = bissectrice( A , C , B )  { i };
  I = intersection( bissACB , bissCAB )  { rond1 , sansnom };
  perpIsAC = perpendiculaire( I , sAC )  { i };
  E = intersection( perpIsAC , sAC );
  ceIE = cercle( I , E );
  F = intersection( sAB , ceIE , 0 )  { (-0.82,-0.39) };
  D = intersection( sBC , ceIE , 1 )  { stop , (0,-0.4) };
  sFD = segment( F , D )  { stop , 2 };
  perpEsFD = perpendiculaire( E , sFD )  { i };
  H = intersection( perpEsFD , sFD )  { (0,-0.76) };
  sEH = segment( E , H )  { rouge , 2 };
  P3 = texte( E ,"Given: EH perpendicular to DF")  { stop , vertfonce , (-0.68,0.63) , dec2 , car-2 };
  sAH = segment( A , H )  { stop , vertfonce };
  sCH = segment( C , H )  { stop , vertfonce };
  angleAHE = angle( A , H , E )  { / };
  angleEHC = angle( E , H , C )  { / };
  P4 = texte( E ,"To Prove: EH angle bisector of angle AHC")  { stop , rouge , (-2.49,1.18) , dec2 , car-2 };
  angleEHD = angle( E , H , D )  { grisclair };

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