Cho tứ giác ABCD không phải hình thang và nội tiếp đường tròn (O). Giả sử có E,F lần lượt thuộc các đoạn AB,CD sao cho đường tròn ngoại tiếp tam giác ECD có tâm là điểm I và tiếp xúc với AB, đường tròn ngoại tiếp tam giác FAB có tâm là điểm J và tiếp xúc với CD. Hai đường tròn (I),(J) này cắt nhau tại P,Q. Gọi M là giao điểm của FA,DE, N là giao điểm của FB,CE và K là giao điểm của IE,JF.
a) Chứng minh rằng EF là trung trực của đoạn thẳng MN và các đường thẳng OK,EF,PQ đồng quy.
b) Chứng minh rằng các điểm M,N,P,Q cùng thuộc một đường tròn.