VÌ OI =OM NÊN EF =ABEF =CD

2) Chứng minh:

OI

=

OM

nên

EF

=

AB

EF

=

CD

. Theo cách dựng, ta còn có:

EF CD

(vì cùng

^

OH

) Vậy tứ giác

EFCD

là hình bình hành.