正方形ABCD中,E、F分别是CD、AD上的点,且满足AF=DE.连接BF、AE,交点为O,判断AE与BF的关系,证明结