a: Ox là trung trực của ME
=>OM=OE
=>ΔOME cân tại O
=>Ox là phân giác của góc MOE(1)
Oy là trung trực của MF
=>OM=OF
=>ΔOMF cân tại O
=>Oy là phân giác của góc MOF(2)
OM=OF
OM=OE
=>OF=OE
b: Từ (1), (2) suy ra góc EOF=2*(góc xOM+góc yOM)
=2*góc xOy
=2a
c: Khi a=90 độ thì góc EOF=2*90=180 độ
=>E,O,F thẳng hàng
mà OE=OF
nên O là trung điểm của EF