正方形ABCD若角EAF为45度 求证角AFB=角EFA