nel triangolo isoscele abc di base bc prolunga i lati ab e ac dei segmenti congruenti ad e ae dimostra che bec è congruente a bdc e cab congruente a cdb
nel triangolo isoscele abc di base bc prolunga i lati ab e ac dei segmenti congruenti ad e ae dimostra che bec è congruente a bdc e cab congruente a cdb
I triangoli BCE e BCD sono congruenti poiché rettangoli con un cateto in comune (BC) ed ipotenusa congruente (CE=BD poiché somma di segmenti congruenti)
In particolare risultano congruenti gli angoli in E e D
Risultano congruenti inoltre i triangoli BAE e CAD poiché hanno due lati e l'angolo compreso (opposto al vertice) ordinatamente congruenti.