Bonjour,

Selon Wikipedia , la proposition suivante est un axiome :

Soient deux triangles ABC et A'B'C' tel que AB est congru à A'B' , AC est congru à A'C' , et l'angle BAC est congru à l'angle B'A'C' , alors le triangle ABC est congru au triangle A'B'C' .

Soit la proposition suivante :
Soient deux triangles ABC et A'B'C tels que l'angle CAB est congru à C'A'B' , ABC est congru a A'B'C' et [AB] congru à [A'B'], alors le triangle ABC est congru au triangle A'B'C'.

Pour montrer cette proposition, j'utilise l'axiome donné plus haut :

On a : , et

Reste à montrer que :  

1)

2)

3)

Pour le 1) , c'est trivial

Pour le 2) On suppose et soit tel que , l'axiome cité plus haut nous dit que les triangles ABC et A'B'D sont congrus. Par conséquent les angles CAB et DA'B' sont congrus, or l'énoncé nous dit que les angles C'A'B' et CAB sont congrus donc  C'A'B' et DA'B' sont congrus, [...] , contradiction.

Mon problème est que je considère les angles C'A'B' et DA'B' différent comme si c'était évident, et je ne vois pas quel axiome je pourrais utiliser pour justifier rigoureusement que ces deux angles ne sont pas congrus.