La tesi e' che il triangolo ADE e' isoscele cioe' AD=AEper dimostrare che sono congruenti i due lati considero due triangoli di cui facciano parte AD ed AE e vedo se sono congruenti: considero i triangoli ABD ed ACE so che hanno gia' due lati congruenti, mi manca un altro lato (e non lo posso considerare perche' e' la tesi) oppure un angolo:
osservo che l'angolo DBA sommato a ABC mi da' un angolo piatto
anche l'angolo ECA sommato a ACB mi da' un angolo piatto e gli angoli piatti sono congruenti fra loro; allora diro' che DBA e' congruente a ECA perche' supplementari di angoli congruenti (cioe' sommati ad angoli congruenti valgono un angolo piatto
quindi ho due lati e l'angolo compreso congruenti e, i due triangoli sono congruenti (primo criterio).
