Chứng minh AB = EF và AB ⊥ EF. Chứng minh △ OMN vuông cân

Cho góc xOy=90°.Trên tia Ox lấy điểm A,trên tia Oy lấy điểm B(OA<OB).Trên tia đối của tia Ox lấy điểm E,trên tia Oy lấy điểm F sao cho OE=OB,OF=OA
a) Chứng minh rằng AB=EF và AB⊥EF
b) Gọi M và N lần lượt là trung điểm của AB và EF.Chứng minh △OMN vuông cân