正方形ABCD中,E是CD的中点,EF垂直于AE,求证:AE的平方=AD*AF