證明：在正方形ABCD中，AC⊥BD，AC=BD，OB=

1

2

BD=

1

2

AC，
又∵四邊形AEFC是菱形，
∴AC=CF，AC∥EF，
∵EH⊥AC，∠DBC=∠ABD=∠CBF=45°，
∴∠BOH=∠OHE=∠OBE=90°，
∴四邊形BEHO是矩形，
∴EH=OB，
∴EH=

1

2

AC=

1

2

CF．