ABCD este dreptunghi ⇒ AC=BD si AO=OC=OB=OD (vezi proprietatile dreptunghiului)
stim ca o dreapta perpendiculara pe un plan este perpendiculara pe orice dreapta din plan (vezi teoria din clasa)
PO⊥AC si PO⊥BD
triunghiurile POA, POB, POC si POD sunt dreptunghice in O si congruente (catetele respectiv congruente si PO comuna)
rezulta ca au ipotenuzele congruente:
PA=PB=PC=PD unde P este ales arbitrar pe perpendiculara din O pe (ABCD)
