Cho tam giác \[ABC\] cân tại \(A\). Lấy điểm \(D\) trên cạnh \(AC\), điểm \(E\) trên cạnh \(AC\) sao cho \(BD = CE\). Gọi \(I\) là giao của \[BE,CD\].

Khi đó:

a) Sai.

Ta có \[AB = AC\] (do \(\Delta ABC\) cân tại \(A\)) và \[BD = CE\] (giả thiết)

Suy ra \(AB - BD = AC - CE\) hay \(AD = AE\).

Xét \(\Delta ABE\) và \(\Delta ACD\) có:

\[AB = AC\] (chứng minh trên);

\(\widehat {BAC}\) là góc chung;

\[AD = AE\] (chứng minh trên).

Do đó \[\Delta ABE = \Delta ACD\,\,\left( {{\rm{c}}{\rm{.g}}{\rm{.c}}} \right)\].

b) Đúng.

Từ \[\Delta ABE = \Delta ACD\] suy ra \(\widehat {ABE} = \widehat {ACD}\) (hai góc tương ứng)

Mà \(\widehat {ABC} = \widehat {ACB}\) (do \(\Delta ABC\) cân tại \(A\))

Suy ra \(\widehat {IBC} = \widehat {ICB}\)

Tam giác \[IBC\] có \(\widehat {IBC} = \widehat {ICB}\) nên là tam giác \(IBC\) cân tại \(I\).

Do đó \[IB = IC\].

c) Đúng.

Xét \(\Delta ABI\) và \(\Delta ACI\) có:

\[AB = AC\] (chứng minh trên);

\[AI\] là cạnh chung;

\[IB = IC\] (chứng minh trên).

Do đó \[\Delta ABI = \Delta ACI\,\,\left( {{\rm{c}}{\rm{.c}}{\rm{.c}}} \right)\]

c) Đúng.

Xét \(\Delta ADE\) có \[AD = AE\] nên \(\Delta ADE\) cân tại \(A\), do đó \(\widehat {ADE} = \widehat {AED}\).

Mà \(\widehat {DAE} + \widehat {ADE} + \widehat {AED} = 180^\circ \) (tổng ba góc trong một tam giác)

Suy ra \(\widehat {ADE} = \widehat {AED} = \frac{{180^\circ - \widehat {DAE}}}{2}\,\,\,\,\,\left( 1 \right)\).

Tương tự với \(\Delta ABC\) cân tại \(A\) ta có \(\widehat {ABC} = \widehat {ACB} = \frac{{180^\circ - \widehat {BAC}}}{2}\,\,\,\,\,\left( 2 \right)\)

Từ \(\left( 1 \right)\) và \(\left( 2 \right)\) suy ra \(\widehat {ADE} = \widehat {ABC}\)

Mà hai góc này ở vị trí đồng vị nên \(DE\,{\rm{//}}\,BC\).

Suy ra \(\widehat {DEB} = \widehat {EBC}\) (hai góc so le trong) \(\left( 3 \right)\)

\(\Delta BDE\) có \[BD = DE\] nên là tam giác cân tại \(D\), suy ra \(\widehat {DBE} = \widehat {DEB}\,\,\,\,\,\left( 4 \right)\)

Từ \(\left( 3 \right)\) và \(\left( 4 \right)\) suy ra \(\widehat {DBE} = \widehat {EBC}\)

Khi đó \[BE\] là đường phân giác của \(\widehat {ABC}\).