Cho đường tròn tâm O, đường kính AB. Vẽ các tiếp tuyến Ax, By (Ax và By thuộc nửa mặt phẳng bờ AB)

Cho đường tròn tâm O, đường kính AB. Vẽ các tiếp tuyến Ax, By(Ax và By thuộc nửa mặt phẳng bờ AB). Qua điểm M trên đường tròn tâm O, vẽ đường thẳng vuông góc OM, cắt Ax, By tại E, F.
a,Chứng minh EF là tiếp tuyến của đường tròn tâm O
b,chứng minh EF=AE+BF