Một đoạn thẳng AB không vuông góc với mặt phẳng (α) cắt mặt phẳng này tại trung điểm O của đoạn thẳng đó. Các đường thẳng vuông góc với (α) qua A và B lần lượt cắt mặt phẳng (α) tại A' và B'.Chứng minh ba điểm A', O, B' thẳng hàng và AA' = BB'