第5步第一个等式因长度非负而给出 PR=QRPR=QRPR=QR。第二个等式是三角形 PQRPQRPQR 中以 PQPQPQ 为斜边的勾股关系;等价地,由余弦定理 cos∠PRQ=(PR2+QR2−PQ2)/(2PR QR)=0\cos\angle PRQ=(PR^2+QR^2-PQ^2)/(2PR\,QR)=0cos∠PRQ=(PR2+QR2−PQ2)/(2PRQR)=0。故 ∠PRQ=90∘\angle PRQ=90^\circ∠PRQ=90∘,结论成立。