có ABCD là HBH (gt)
=> AB = DC ( 2 cạnh đối )
AD = BC
góc ABC = GÓC ADC ( 2 góc đối )
có \(\widehat{ABC}+\widehat{CBE}=180^0\) ( 2 góc kề bù )
\(\widehat{ADC}+\widehat{CDF}=180^0\)
=> \(\widehat{CBE}=\widehat{CDF}\)
xét \(\Delta DCFvà\Delta BEC\)
có DC = BE ( cmt )
DF = BC (cmt)
\(\widehat{CDF}=\widehat{CBE}\) (cmt )
=> \(\Delta DCF=\Delta BEC\) (cgc)
=> FC = CE ( 2 cạnh tương ứng ) (1)
\(\widehat{F}=\widehat{C_3}\) ( 2 góc tương ứng ) (2)
có AD // BC ( 2 cạnh đối của HBH ABCD )
=> AF // BC ( vì F thuộc AD)
=> \(\widehat{C_2}=\widehat{FDC}\) ( 2 góc SLT ) (3)
xét \(\Delta CDF\) có \(\widehat{C_1}+\widehat{CDF}+\widehat{F}=180^0\)
từ (2) và (3) =>\(\widehat{C_1}+\widehat{C_2}+\widehat{C_3}=180^0\)
=> C,F,E thẳng hàng hay C thuộc EF (4)
từ (1) và (4) => F đối xứng E qua C