a) Xét ΔABI vuông tại I và ΔACI vuông tại I có:
AB = AC (ΔABC cân tại A)
AI chung
⇒ΔABI=ΔACI (cgv−ch)
⇒BI=CI
⇒I⇒I là tđ của BC.
b) Ta có: AB−AE=AC−AF
⇒BE=CF
Do ΔABCcân tại A
⇒ABCˆ=ACBˆhay EBIˆ=FCIˆ
Xét ΔEBI và ΔFCI có:
BI = CI (câu a)
EBIˆ=FCIˆ(c/m trên)
BE = CI (c/m trên)
⇒ΔEBI=ΔFCI(c.g.c)
⇒EI=FI
⇒ΔIEF⇒ΔIEF cân tại I
c) Theo câu b) ta có: ΔEBI=ΔFCI
→đpcm.