@options;

@figure;
  A = point( -8.94 , 0.94 );
  B = point( 2.89 , 0.65 );
  C = cercledia( A , B );
  sAB = segment( A , B );
  K = pointsur( C , 129.66 );
  sAK = segment( A , K );
  sBK = segment( B , K );
  var x = KBA { 24.4863017484 };
  d = droiteangle( A , sAB , x )  { i };
  L = intersection( d , C , 1 );
  sAL = segment( A , L );
  sBL = segment( B , L );

TI6 triangle_isométrique
RESUME
Caractérisation de deux triangles isométriques avec 1 côté et 2 angles s'appuyant sur ce côté.
CONTEXTE
Soient le triangle {M}{N}{P} et le triangle {R}{S}{T}
SI
egal MN RS
egal an(MNP) an(RST)
egal an(NMP) an(SRT)
ALORS
tri_iso M N P R S T
--
TI7 triangle_isométrique
RESUME
Si deux triangles ont 2 angles de même mesure 2 à deux alors le troisième angle de l'un a même mesure que le troisième angle de l'autre.
CONTEXTE
Soient le triangle {M}{N}{P} et le triangle {R}{S}{T} | Soient deux triangles
SI
egal an(MNP) an(RST)
egal an(NPM) an(STR)
ALORS
egal an(PMN) an(TRS)
--
CA1 calcul_remplacement
RESUME
Deux quantités égales à une même troisième sont égales entre elles.
SI
egal X Y
egal Z Y
ALORS
egal X Z
--
CC2a cercle
SI
cercle_diam c P Q
appartient_cercle M c
ALORS
egal an(PMQ) 90
--
CC2b cercle
SI
cercle_diam c P Q
appartient_cercle M c
ALORS
egal an(PMQ) 90

MODE
SI
cercle_diam C A B
appartient_cercle K C
appartient_cercle L C
egal an(BAL) an(ABK)
ALORS
tri_iso A K B B L A