已知正方形ABCD中,E是AD的中点,BD与CE相交与F,求证AF垂直于BE 以及DE的平方=EG乘以EB