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.