已知,如图,四边形ABCD是正方形,对角线AC、BD相交于点O,四边形AEFC是菱形,EH⊥AC于H 求证;EH=二分之