在正方形ABCD中,点E为对角线BD上的一点,连结AE并延长交CD于点F,交BC的延长线于点G.试证明:AE^2=EF×