Kẻ IF vuông góc với BC \(\left(IF\in BC\right)\)
Xét tam giác IDB và tam giác IFB ta có :
\(\widehat{BDI}=\widehat{BFI}\left(=90^o\right)\)
\(BI\): cạnh chung
\(\widehat{IBD}=\widehat{IBF}\)( theo giả thiết )
\(\Rightarrow\Delta IDB=\Delta IFB\)( cạnh huyền - góc nhọn )
\(\Rightarrow ID=IE\)( hai cạnh tương ứng ) (1)
Tương tự : \(\Delta IEC=\Delta IFC\)( cạnh huyền - góc nhọn )
\(\Rightarrow IE=IF\)( hai cạnh tương ứng ) (2)
Từ (1) và (2) => ID = IE ( đpcm )