Cho góc nhọn xOy trong nửa mp bờ là đường thẳng Ox ko chứa tia Oy, vẽ tia Om vuông góc với tia Ox. Trong nửa mp bờ là Oy ko chứa tia Ox vẽ tia On vuông góc với tia Oy. Gọi Ot là tia p.giác của góc xOy.
C.tỏ rằng tia Ot' là tia đối của tia Ot, là tia p.giác của góc nhỏ mOn ( ko chứa góc xOy )