Chứng minh rằng IP + KQ ≥ PQ

Cho điểm A nằm ngoài đường tròn (O). Từ A kẻ hai tiếp tuyến AB, AC cát tuyến ADE tới đường tròn đó. Gọi H là giao điểm của AO và BC. CMR
a) ABOC là tứ giác nội tiếp
b) AH.AO=AD.AE
c) Tiếp tuyến tại D của đường tròn (O) cắt AB, AC theo thứ tự tại I và K. Qua điểm O kẻ đường thẳng vuông góc với OA cắt AB tại tại P và AC tại Q. CMR
IP + KQ ≥ PQ