Fichier morley.mp (figure 1) — Modifié le 1 Juillet 2011 à 18 h 33

morley.mp (figure 1)
Source
  1  Théorème de Morley
  2  %@GIAC:
  3  A:=point(-1);
  4  B:=point(4);
  5  C:=point(2.0+3*i);
  6  T1:=triangle(A,B,C);
  7  // Trissectrices intérieurs de l'angle en A.
  8  a:=angle(A,B,C)/3;
  9  DA1 := droite(A,A+(B-A)*exp(i*a));
 10  DA2 := droite(A,A+(B-A)*exp(i*2*a));
 11  // Trissectrices intérieurs de l'angle en B.
 12  b:=angle(B,C,A)/3;
 13  DB1 := droite(B,B+(C-B)*exp(i*b));
 14  DB2 := droite(B,B+(C-B)*exp(i*2*b));
 15  // Trissectrices intérieurs de l'angle en C.
 16  c:=angle(C,A,B)/3;
 17  DC1 := droite(C,C+(A-C)*exp(i*c));
 18  DC2 := droite(C,C+(A-C)*exp(i*2*c));
 19  // Les points
 20  I:=inter_droite(DA1,DB2);
 21  J:=inter_droite(DB1,DC2);
 22  K:=inter_droite(DC1,DA2);
 23  T2:=triangle(I,J,K);
 24  %@STYLE:
 25  global: clip=1 v=1 cadre=[-2,-1,5,4] unite=1.5cm
 26  global: droite_c=0.5white droite_e=0.5 grille=0
 27  T1: fill=(0.8,0.9,0.8)
 28  T2: c=red e=1
 29  A: p=ulft
 30  B: p=urt
 31  C: p=ulft
 32  I: p=bot
 33  J: p=urt
 34  K: p=ulft
 35  %@EOF: