Tam giác ABC vuông tại A có C = 450
=> Tam giác ABC vuông cân tại A có AD là tia phân giác
=> AD là đường cao của tam giác ABC vuông cân tại A
BAD = DAC = \(\frac{BAC}{2}\) = \(\frac{90^0}{2}\) = 450
mà ACB = 450 (gt)
=> BAD = ACB
=> 1800 - BAD = 1800 - ACB
=> BAE = BCF
Xét tam giác EAB và tam giác BCF có:
EA = BC (gt)
EAB = BCF (chứng minh trên)
AB = CF (gt)
=> Tam giác EAB = Tam giác BCF (c.g.c)
=> EB = BF (2 cạnh tương ứng)
BEA = FBC (2 góc tương ứng)
=> BEA + EBC = FBC + EBC
mà BEA + EBC = 900 (Tam giác DEB vuông tại D)
=> FBC + EBC = 900
=> BE vuông góc với BF