Cho tam giác ABC cân ở A. Kẻ BE và CF lần lượt vuông góc với AC

1. Xét tam giác ABE vuông tại E và tam giác ACF vuông tại F có:

AB = AC (tam giác ABC cân tại A)

góc BAC chung Do 

Do đó: tam giác ABE = tam giác ACF (cạnh huyền-góc nhọn)

Suy ra: BE=CF (hai cạnh tương ứng);

góc ABE = góc ACF (hai góc tương ứng)

2. Xét tam giác AIE vuông tại E và tam giác AIF vuông tại F có:

AI là cạnh chung

AE=AF (tam giác ABE = tam giác ACF)

Do đó: tam giác AIE = tam giác AIF (cạnh huyền-cạnh góc vuông)

Suy ra IE=IF (hai cạnh tương ứng)

3.Ta có: góc IAE = góc IAF

Suy ra AI là tia phân giác của góc EAF hay AI là tia phân giác của góc A