Kéo dài DI sao cho DI cắt AC tại N
Trong tam giác ABE vuong tai A , co : ABE +AEB =90
Trong tam giác BDI vuông tại I , co: ABE + BDI =90
=> AEB = BDI
Xét tam giác ABE và tam giác AND ( BAE=DAN=90) ,co :
AEB = BDI (cmt )
AD=AE(gt)
=> tam giác ABE = tam giác AND ( cgv -gn)
=> AB=AN
Mặt khác , ta có : AB = AC ( tam giác ABC là tam giác vuông cân )
=> AN=AC
Xét tam giác ICN , co :
AN=AC (cmt)
AK // IN ( cùng vuông góc với BE)
=> IK =KC ( định lý 2 của đường trung bình trong tg )