证明：过E点作EH垂直AC交AC于H，连接BD，交AC于O点，在正方形ABCD中，AC⊥BD，AC=BD，OB=12BD=12AC，又∵四边形AEFC是菱形，∴AC=CF，AC∥EF，∵EH⊥AC，∴∠BOH=∠OHE=∠OBE=90°，∴四边形BEHO是矩形，∴EH=OB，∴...