Gọi Ou và Ov lần lượt là hai tia phân giác của hai góc kề bù xOy và x’Oy; A là một điểm khác O trên tia Ox. Gọi B và C là chân đường vuông góc hạ từ A lần lượt xuống đường thẳng chứa Ou và Ov
Giải thích
(H.3.40). Vì hai góc xOy và x’Oy bù nhau nên hai tia phân giác của chúng vuông góc với nhau do đó Ov ⊥ Ou.
Tứ giác OBAC có ba góc vuông tại O, B, C nên nó là hình chữ nhật.