Osserva che l'angolo CAD è composto da due angoli che ho indicato in figura con x ed y. Fai quindi riferimento al triangolo EDG di cui DEF è angolo esterno.
Tale angolo esterno è pari alla somma dei due angoli interni non adiacenti: x+y
Gli angoli indicati con y sono angoli alterni interni per costruzione e quindi uguali. Quelli indicati con x meritano un po' più di attenzione: sono angoli alla circonferenza sottesi ad uno stesso arco AB quindi congruenti.
2. il quadrilatero ADEF è inscrivibile in una circonferenza
Passando al quadrilatero ADEF esso è inscrivibile in una circonferenza per la proprietà:
"Un quadrilatero può essere inscritto in una circonferenza se gli angoli opposti sono supplementari (la loro somma è uguale a 180°). In esso cioè esiste, ed è unico, il circocentro."
Cosa vera in quanto l'angolo in A supplementare ad x+y è opposto all'angolo all'angolo α della figura.