证明:∵EF垂直平分AC,
∴ ▲ , , .
∵四边形ABCD为矩形,
∴ ▲ ,
∴ ,
∵在和中,
,
∴ .
∵ .
∴四边形AECF是平行四边形.
∵ ▲ ,
∴四边形AECF是菱形.
微信扫码预览、分享更方便