Lấy điểm M ∈ a, gọi H là hình chiếu của M trên (P).

Khi đó a’ đi qua H vì a’ là hình chiếu của đường thẳng a trên (P).

Ta có: MH ⊥ (P), d ⊂ (P) nên suy ra MH ⊥ d.

a) Ta có: d ⊥ MH, d ⊥ a’ và MH ∩ a’ = H trong mp(a, a’).

Suy ra d ⊥ mp(a, a’).

Mà a ⊂ mp(a, a’) nên d ⊥ a.

Vậy nếu đường thẳng d vuông góc với hình chiếu a’ thì đường thẳng d vuông góc với a.