Cho góc xOy. Từ điểm A nằm trong góc đó kẻ AH vuông góc với Ox (H thuộc Ox) và AK vuông góc với Oy (K thuộc Oy). Trên tia đối của tia HA lấy điểm B sao cho HB = HA. Trên tia đối của tia KA lấy điểm C sao cho KC = KA. Chứng minh OB = OC.