Cho tam giác cân tại A. Kẻ AD vuông góc với BC. Chứng minh rằng

Xét hai tam giác vuông ADB và ADC, ta có:

∠(ADB) =∠(ADC) = 90o

AB = AC (giả thiết)

AD cạnh chung

Suy ra: ΔADB= ΔADC(cạnh huyền, cạnh góc vuông)

⇒ ∠(BAD) =∠(CAD) (hai góc tương ứng)

Vậy AD là tia phân giác ∠(BAC)