如圖,點E在正方形ABCD的對角線BD上,且BE=AB,EF⊥BD,EF與CD相交於點F求證DE=EF=FC

如圖,點E在正方形ABCD的對角線BD上,且BE=AB,EF⊥BD,EF與CD相交於點F求證DE=EF=FC

證明
因為EF垂直BD所以角DEF=角DCB=90°
因為角BDC為公共角,所以三角形FED相似與三角形BCD
因為ABCD為正方型,所以角DFE=角CBD=角BDC=45°
所以EF=DE
連接CE因為BE=AB=BC所以角BEC=角BCE,
又因為角FEB=角FCB=90°所以角FEC=角FCE
所以EF=FC
綜上,DE=EF=FC