L'angolo ACB è supplementare dell'angolo ACF, come anche gli angoli alla base congruenti del triangolo isoscele ACF.
La somma degli angoli alla base del triangolo ACF = Angolo (ACB)
=> ACB= 2*AFC
L'angolo esterno è pari alla somma dei due angoli interni non adiacenti.
Inoltre l'angolo esterno del triangolo ABF = Angolo esterno del triangolo ABC - CAF.
Avendo gli angoli alla base del triangolo isoscele ABC ampiezza doppia rispetto agli angoli alla base del triangolo isoscele ACF
=> l'angolo esterno del triangolo ABF è il triplo dell'angolo AFB