triangle isocèle et longueur des côtés

On veut démontrer: 
Egalité de longueurs
hypothèse: 

Si un triangle ABC est isocèle en A

conclusion: 

alors AB = AC