∵ E是AB 中点,F是BC中点
∴ EF//AC (中位线定理) （1）
∵ G是CD 中点,F是BC中点
∴ GF//BD (中位线定理) （2）
∵ 正方形EFGH
∴ EF⊥GF
加上（1）（2）
∴ AC⊥BD