Cho góc xOy khác góc bẹt. Lấy các điểm A, B thuộc tia Ox sao cho OA < OB. Lấy các điểm C, D thuộc tia Oy
Giải thích
ΔAEB = ΔCED ⇒ EA = EC (hai cạnh tương ứng)
ΔOAE và ΔOCE có
OA = OC
EA = EC
OE cạnh chung
⇒ ΔOAE = ΔOCE (c.c.c)
⇒ (hai góc tương ứng)
Vậy OE là tia phân giác của góc xOy.