证明：因为四边形AEFC是菱形,所以AC=FC
因为四边形ABCD是正方形,所以AC=DB,BO=BD/2
所以FC=DB=2BO
BO垂直OH,EH垂直OE,BE∥OH
所以EH=BO
所以EH=1/2FC