Cho tam giác ABC nội tiếp đường tròn (O) và ngoại tiếp đường tròn (I); đường thẳng AI kéo dài cắt (O) tại K. Gọi D, E, F lần lượt là tiếp điểm của BC, CA, AB với (I). Đường thẳng qua A song song với EF cắt DE, DF lần lượt tại P và Q.
a, Chứng minh rằng AE^2=AP.AQ
b, Giả sử g(AIO)<90 độ. Tìm giá trị nhỏ nhất của biểu thức AB+AC/BC