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

Cho góc xO=90°.Trên tia Ox lấy điểm A,trê Oy lấy điểm B(OA<OB).Trên tia đối của tia Ox lấy điểm E,trên Oy lấy đoeẻ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