Cho góc bẹt xOy^. Trên cùng một nửa mặt phẳng bờ xy, ta vẽ ba tia gồm Om, On sao cho xOm^= yOn^< 90° và Ot là phân giác của mOn^. Chứng minh Ot vuông góc với xy.