Kí hiệu M_1,M_2 là hai điểm bất kỳ trên (\alpha) thì đường xiên SM_1,SM_2 lần lượt có hình chiếu là HM_1,HM_2. Theo định lý Py-ta-go ta có
SM_1^2-HM_1^2 = SM_2^2-HM_2^2 (=SH^2). Suy ra
a) SM_1=SM_2 \Leftrightarrow HM_1=HM_2 .
b) SM_1>SM_2 \Leftrightarrow HM_1>HM_2 .