在直角△AEC中
O为斜边中点
所以EO=1/2AC=AO(貌似是个推论,可画中位线证)
同理在△BED中
EO=DO
所以AO=DO=1/2对角线
两对角线相等
所以为矩形