Dopunimo pravokutnik ABCD sa sukladnim pravokutnikom kao na slici.
Odaberimo na EF točku Q takvu da je ∣EQ∣=32∣EF∣.

Označimo zbog jednostavnosti ∣BC∣=x. Promotrimo sada pravokutne trokute AEQ i QFC. Kako je ∣AE∣=∣QF∣=x i ∣EQ∣=∣CF∣=2x, slijedi da su oni sukladni. Iz te sukladnosti slijedi
∣AQ∣=∣QC∣(*)
te
∣∠EAQ∣=∣∠CQF∣i∣∠EQA∣=∣∠QCF∣.(**)
Sada je zbog (*) i (**) trokut AQC jednakokračan pravokutan.
Nadalje, kako je ∣PB∣=2x i ∣BC∣=x, slijedi da su pravokutni trokuti PBC i AEQ sukladni. Iz te sukladnosti slijedi da je ∣∠CPB∣=∣∠EQA∣.
Kako su ∠EQA i ∠QAB kutovi uz presječnicu, slijedi da je ∣∠EQA∣=∣∠QAB∣.
Konačno,
∣∠CAB∣+∣∠CPB∣=∣∠CAB∣+∣∠EQA∣=∣∠CAB∣+∣∠QAB∣=∣∠QAC∣.
Kako je trokut QAC jednakokračan pravokutan, slijedi da je ∣∠QAC∣=45∘ čime je dokaz završen.