a/ Xét tam giác ABD và tam giác EBD có:
BD chung
Góc ABD=EBD(Phân giác góc B)
Góc DAB=DEB=90 độ
=> Tam giác ABD=EBD(ch-gn)
b/ Gọi giao điểm của AE và BD là O
Xét tam giác ABO và tam giác EBO có:
BO chung
Góc ABO=EBO(Phân giác góc B)
BA=BE(cạnh tương ứng của tam giác ABD=tam giác EBD)
=> Tam giác ABO=tam giác EBO(c-g-c)
=>OA=OE(cạnh tương ứng)
=> BD là đường trung trực đoạn thẳng AE
c/Ta có: DA=DE(cạnh tương ứng của tam giác ABD=tam giác EBD)
Mà DE là cạnh huyền của tam giác DEC
=> DC>DE(tính chất cạnh huyền trong tam giác vuông)
=> DC>DA hay AD<DC
d/ Góc ADF=góc EDC(đối đỉnh)
E;D;F thẳng hàng là chuyện đương nhiên. (tính chất đối đỉnh của 2 góc)