Prema uvjetima zadatka vrijedi
∠DAB=∠ABC=∠BDC=80∘,∠ABD=30∘,∠ADB=70∘.
Neka je ∣DB∣=∣DC∣=x, a ∣AD∣=y. Neka su Q i P redom nožišta okomica iz A i C na BD. Želimo pokazati da se točke Q i P zapravo podudaraju.

Primjenom trigonometrije u trokutima DPC, DQA i DBA dobivamo
∣DP∣=xcos80∘,∣DQ∣=ycos70∘,yx=sin30∘sin80∘.
Iz ovih jednakosti dobivamo
∣DQ∣∣DP∣=ycos70∘xcos80∘=sin30∘cos70∘sin80∘cos80∘,
tj. ∣DP∣=∣DQ∣ ako i samo ako je
sin80∘cos80∘=sin30∘cos70∘.
Ova jednakost je točna jer vrijedi
sin30∘=21,sin80∘cos80∘=21sin160∘=21sin20∘=sin30∘cos70∘.
Dakle, točke Q i P su jednako udaljene od točke D, pa zaključujemo da se podudaraju. Iz toga slijedi da je AC okomito na BD.