a) Lấy hai đường thẳng cắt nhau b,c thuộc (P), gọi b′,c′ là ảnh của chúng qua F, ta có:
a⊥(P)⇒{a⊥ba⊥c⇒{a′⊥b′⊂(P′)a′⊥c′⊂(P′)⇒a′⊥(P′), đpcm
b) Lấy đường thẳng b thuộc (P) sao cho a//b, gọi b′ là ảnh của nó qua F, ta có:
a′//b′⊂(P′)⇒a′//(P′)
Với điểm A thuộc a, hạ AH vuông góc với (P). Gọi A′,H′ là ảnh của chúng qua F, ta có:
{AH=A′H′A′H′⊥(P′)⇒d(a,(P))=AH=A′H′=d(a′,(P′))
c) Giả sử : (a) cắt (P) tại K và K’ là ảnh của
K qua F
Do K∈(a) và
K∈(P)⇒{K∈(a′)K∈(P′)⇒(a′)
cắt (P′) tại K’
Gọi b là hình chiếu vuông góc của a lên (P) và b′ là ảnh của nó qua F, ta có:
{b′làhcvgcủaa′lên(P′)g(a,b)=g(a′,b′)⇒g(a,(P))=g(a,b)=g(a',b')=g(a',(P'))