∵四边形AEFC是菱形
∴AC∥EF,FC=AC
∵四边形ABCD是正方形
∴OC=OA=OD=OB=1/2AC
BD⊥AC
∵EH⊥AC
∴EH∥BD,
∵AC∥BF
∴OBEH是矩形
∴EH=OB
∴FC=AC=2OB=2EH
∴FC=2EH
即EH=1/2FC