Chứng minh AB = AE = AF = FB
Chứng minh AB = AE = AF = FB
Ta có: AB = AE (gt) (*) mà E thuộc tia AC nên [TEX]\widehat{BAE} =90^o[/TEX]
\Leftrightarrow [TEX]\Delta BAE[/TEX] là tam giác vuông cân tại A
\Leftrightarrow[TEX]\widehat{ABE} =\widehat{BEA} =45^o[/TEX]
Lại có: EK vuông góc với AE mà F thuộc tia EK nên EF vuông góc với AE
Mà [TEX]\widehat{BAE} =90^o[/TEX] nên BA vuông góc với AE \Rightarrow AB song song với EF
\Rightarrow [TEX]\widehat{ABE} =\widehat{BEF} =45^o[/TEX] (1)
Mặt khác: BF song song với AE \Rightarrow [TEX]\widehat{EBF} =\widehat{BEA} =45^o[/TEX] (2)
\Rightarrow [TEX]\widehat{BFE} =90^o[/TEX] (vì tam giác BFE có [TEX]\widehat{EBF} =\widehat{BEF} =45^o[/TEX] (3)
Từ (1), (2) và (3) suy ra: [TEX]\Delta BFE [/TEX] vuông cân tại F \Rightarrow BF = FE (**)
- Chứng minh được [TEX]\Delta ABE =\Delta FEB[/TEX] (g.c.g) \Rightarrow AB = BF (2 cạnh tương ứng) (***)
Từ (*), (**), (***) suy ra: AB = AE = AF = FB