Cho góc xOy khác góc bẹt Oz là tia phân giác của góc xOy. Gọi M là một điểm bất kì thuộc tia Oz. Qua M vẽ đường thẳng a vuông góc với Ox tại A, cắt Oy tại C và vẽ đường thẳng b vuông góc với Oy tại B, cắt Ox tại D. Chứng minh:
a) Điểm O thuộc đường trung trực của AB;
b) OM là đường trung trực của AB; Điểm M thuộc đường trung trực của CD.