@options;

@figure;
  A = point( -6.74 , 1.91 );
  D = point( -4.7 , -0.48 );
  I = point( -2.88 , 0.53 );
  C1 = cercle( I , A );
  C2 = cercle( I , D );
  dAI = droite( A , I );
  dDI = droite( D , I );
  E = intersection( dAI , C2 , 1 );
  B = intersection( dDI , C1 , 1 );

AN2
RESUME
Des angles opposés par le sommet sont de même mesure.
SI
aligne_ordre M O N
aligne_ordre P O Q
ALORS
egal an(MOP) an(NOQ)
egal an(MOQ) an(NOP)
--
CC1a
RESUME
Les points d'un cercle sont situés à la même distance du centre.
SI
centre O c
appartient_cercle M c
appartient_cercle N c
ALORS
egal MO NO
--
CC1b
RESUME
Les points d'un cercle sont situés à la même distance du centre.
SI
centre O c
appartient_cercle M c
appartient_cercle N c
ALORS
egal MO NO
--
TI1 triangle_isométrique
RESUME
Caractérisation de deux triangles isométriques avec 2 longueurs et un angle
CONTEXTE
Soient le triangle {M}{N}{P} et le triangle {R}{S}{T} | Soient deux triangles
SI
egal MN RS | un côté de l'un a la même longueur qu'un côté de l'autre
egal MP RT | un deuxième côté de l'un a la même longueur qu'un deuxième côté de l'autre
egal an(NMP) an(SRT) | ces deux côtés forment un angle de même mesure dans chaque triangle
ALORS
tri_iso M N P R S T | ces deux triangles sont isométriques.
--
TI5 triangle_isométrique
RESUME
Si deux triangles sont isométriques, alors leurs côtés ont même longueur deux à deux.
CONTEXTE
Soient le triangle {M}{N}{P} et le triangle {R}{S}{T} | Soient deux
triangles
SI
tri_iso M N P R S T
ALORS
egal MN RS
egal NP ST
egal PM TR

MODE
SI
centre I C1
centre I C2
appartient_cercle A C1
appartient_cercle B C1
appartient_cercle D C2
appartient_cercle E C2
aligne_ordre A I E
aligne_ordre D I B
ALORS
egal AD BE