Cho xOy^ = 90°. Trên tia Ox lấy điểm A, trên tia Oy lấy điểm B. Kẻ đường trung trực HM của đoạn thẳng OA (H thuộc OA, M thuộc AB). Chứng minh M thuộc đường trung trực của OB.