Xét tam giác ADF vuông tại A và tam giác EDC vuông tại E có:

                AD=ED (tam giác ABD = tam giác EBD)

                AF=CE (GT)

=> tam giác ADF=tam giác EDC (hai cạnh góc vuông)

=> Góc ADF = góc EDC 

=>góc D1=góc D4(2 góc tương ứng)

Ta có:góc ADE+góc D4=180 độ(kề bù)

Mà góc D4=góc D1 nên suy ra:

góc ADE+góc D1=180 độ

=>A,D,F thẳng hàng

c.Ta có:DC>DE(ch>cgv)

mà DE=DA

=>DC>DA