È dato un triangolo ABC. Una semiretta, di origine A, incontra BC in D e la circonferenza circoscritta al triangolo in E. Da E traccia la parallela ad AB che incontra ulteriormente la circonferenza in F. Dimostra che ADAF=DBAC. (Suggerimento: congiungi B con E e osserva che AF=BE)