Neka je α kut pri vrhu A.

Površina trokuta ABC je
P1=21∣AB∣⋅∣AC∣⋅sinα.
Trokuti ADF i ADG su sukladni (k−s−k) pa su dijagonale četverokuta AFEG okomite.
Dakle, površina četverokuta je
P2=21∣AE∣⋅∣FG∣.
Trokuti ACD i AEB su slični (k−k) pa je
∣AE∣∣AC∣=∣AB∣∣AD∣,
odnosno ∣AB∣⋅∣AC∣=∣AD∣⋅∣AE∣.
Tada je
∣AE∣=∣AD∣∣AB∣⋅∣AC∣.
FG je tetiva kružnice promjera kojoj odgovara obodni kut α pa vrijedi
sinα=2∣AD∣2∣FG∣.
Slijedi ∣FG∣=∣AD∣sinα.
Tada je
P2=21∣AE∣⋅∣FG∣=21∣AD∣∣AB∣⋅∣AC∣⋅∣AD∣sinα=21∣AB∣⋅∣AC∣⋅sinα=P1.
Dakle, tražene su površine jednake.