Xét `Delta ABC` có `hat(ABC) = hat(ACB)` (giả thiết)

`=> Delta ABC` cân tại `A`.

`=> AB = AC` (tính chất tam giác cân)

Xét `Delta ABD` và `Delta ACD` ta có:

`AB = AC` (chứng minh trên)

`hat(BAD) = hat(CAD)` (`AD` là tia phân giác của `hat(BAC)`)

`AD` là cạnh chung

`=> Delta ABD = Delta ACD` `(c.g.c)`

`=> DB = DC` (hai cạnh tương ứng).

`=> D` là trung điểm của `BC`

`=> hat(ADB) = hat(ADC)` (hai góc tương ứng)

Mà `hat(ADB) + hat(ADC) = 180^@` (hai góc kề bù)

`=> hat(ADB) = hat(ADC) = 180^@ / 2 = 90^@`

`=> AD bot BC`