F是正方形ABCD的边AB上的中点,AE=4分之1AD,FG垂直EC,求证FG的平方=EG*GC