查看原题
在学习了矩形与菱形的相关知识后, 小明同学进行了更深入的研究, 他发现, 过矩形的一条对角线的中点作这条对角线的垂线, 与矩形两边相交的两点和这条对角线的两个端点构成的四边形是菱形, 可利用证明三角形全等得到此结论. 根据他的想法与思路, 完成以下作图与填空:


(1) 如图, 在矩形 ABCD 中, 点 O 是对角线 AC 的中点. 用尺规过点 O 作 AC 的垂线, 分别交 AB,CD于点 E,F, 连接 AF,CE. (不写作法, 保留作图痕迹)
(2) 已知: 矩形 ABCD, 点 E,F 分别在 AB,CD 上, EF 经过对角线 AC 的中点 O, 且 EF⊥AC. 求证: 四边形 AECF 是菱形.

证明: ∵ 四边形 ABCD 是矩形,
∴AB//CD.
∴①―,∠OCF=∠OAE.
∵ 点 O 是 AC 的中点,
∴（ ② ）.

∴△CFO≅△AEO (AAS). 
∴ ( ③ ).
又 ∵OA=OC,
∴ 四边形 AECF 是平行四边形.
∵EF⊥AC, 
∴ 四边形 AECF 是菱形.
进一步思考, 如果四边形 ABCD 是平行四边形呢? 请你模仿题中表述, 写出你猜想的结论: (④).
                        
不再提醒