矩形ABCD对角线相交于O,AD>AB,E是边AD上一动点,连结EO并延长交BC于点F

问题描述:

矩形ABCD对角线相交于O,AD>AB,E是边AD上一动点,连结EO并延长交BC于点F
点E在运动过程中,到什么位置时,四边形BEDF是菱形?猜想并证明结论

AE=(AD^2-AB^2)/2AD