
Dužine BC i DE četverokuta BCDE okomite su na dužinu CD, pa su međusobno paralelne. Budući da su jednakih duljina, četverokut BCDE je paralelogram.
Dodatno, kako je stranica tog četverokuta CD okomita na te dvije stranice, i jednake je duljine, BCDE je kvadrat.
Budući da je BCDE kvadrat imamo da je ∣BE∣=∣CD∣=∣AE∣=∣AB∣. Dakle, u trokutu ABE sve stranice su jednake duljine, pa je zato to jednakostraničan trokut.
Posebno vrijedi ∠EAB=60∘, ∠DEA=∠DEB+∠BEA=90∘+60∘=150∘, te ∠ABC=∠EBC+∠ABE=90∘+60∘=150∘.
Trokut ADE je jednakokračan, pa je zato
∠DAE=∠EDA=21(180∘−∠DEA)=15∘.
Analogno, trokut ABC je jednakokračan, pa je zato ∠BAC=15∘.
U jednakokračnom pravokutnom trokutu EBD zaključujemo ∠EDB=45∘.
Zato slijedi
∠PAD=∠EAB−∠EAD−∠CAB=30∘,
∠PDA=∠EDB−∠EDA=30∘.
Zato je ∠PAD=∠PDA, odakle zaključujemo da je trokut PDA jednakokračan, odnosno da je ∣PA∣=∣PD∣, što je i trebalo dokazati.