Cho tam giác ABC không có góc tù (AB<AC), nội tiếp đường tròn (O;R) (B, C cố định, A di động trên cung lớn BC).

Cho tam giác ABC không có góc tù (AB<AC), nội tiếp đường tròn (O;R) (B, C cố định, A di động trên cung lớn BC). Các tiếp tuyến tại B và C cắt nhau tại M. Từ M kẻ đường thẳng song song với AB, đường thẳng này cắt (O) tại D và E (D thuộc cung nhỏ BC), cắt BC tại F, cắt AC tại I

a) Chứng minh MBC^=BAC^ . Từ đó suy ra MBIC là tứ giác nội tiếp.