Xet tam giac BDC va tam giac CEB ta co
^BDC = ^CEB = 900
BC _ chung
^BCD = ^CBE ( gt )
=> tam giac BDC = tam giac CEB ( ch - gn )
=> ^DBC = ^ECB ( 2 goc tuong ung )
Ta co ^B - ^DBC = ^ABD
^C - ^ECB = ^ACE
=> ^ABD = ^ACE
Xet tam giac IBE va tam giac ICD
^ABD = ^ACE ( cmt )
^BIE = ^CID ( doi dinh )
^BEI = ^IDC = 900
Vay tam giac IBE = tam giac ICD (g.g.g)
c, Do BD vuong AC => BD la duong cao
CE vuong BA => CE la duong cao
ma BD giao CE = I => I la truc tam
=> AI la duong cao thu 3
=> AI vuong BC