Xét [TEX]\bigtriangleup ACH[/TEX] và [TEX]\bigtriangleup ACE[/TEX] có
+ [TEX]\widehat{C_1}= \widehat{C_2}[/TEX]
+ [TEX]\widehat{AHC}= \widehat{AEC} \ =90^o)[/TEX]
[TEX]\Rightarrow \widehat{A_1}= \widehat{A_2}[/TEX].
Do đó [TEX]\bigtriangleup ACH= \bigtriangleup ACE[/TEX] (c.g.c)
[TEX]\Rightarrow AE=AH \ \ \ \ \ \ (1)[/TEX]
Góc [TEX]\widehat{DAC}[/TEX] là góc ngoài tam giác [TEX]ACE[/TEX]
[TEX]\Rightarrow \widehat{DAC}= \widehat{C_2}+ \widehat{AEC}[/TEX]
[TEX]\Rightarrow 90^o+ \widehat{A_4}= \widehat{C_2}+90^o[/TEX]
[TEX]\Rightarrow \widehat{A_4}= \widehat{C_2}[/TEX].
Ta cũng có [TEX]\widehat{C_1}= \widehat{A_3}[/TEX] (cùng phụ với góc [TEX]A_1[/TEX]).
Vậy [TEX]\widehat{A_3}= \widehat{A_4}[/TEX].
Dễ dàng hứng mình được [TEX]\bigtriangleup BAD= \bigtriangleup BAH [/TEX] (c.g.c)
[TEX]\Rightarrow AD=AH \ \ \ \ \ (2)[/TEX]
Từ (1) và (2) suy ra [TEX]AD=AE =AH[/TEX] và ba điểm A,D,E thẳng hàng
[TEX]\Rightarrow A [/TEX] trung điểm DE.