Cho đường thẳng d và mặt phẳng (P) cắt nhau tại điểm O. Lấy các điểm A, B thuộc d và khác O; các điểm A’, B’ thuộc (P)

Do AA’ ⊥ (P), BB’ ⊥ (P) nên suy ra AA’ // BB’.

Hơn nữa O, A, B thẳng hàng nên suy ra O, A’, B’ cũng thẳng hàng (tính chất phép chiếu song song).

Xét tam giác OBB’ có AA’ // BB’ nên theo hệ quả định lí Thalès ta có: AA'BB'=OAOB.