Cho tam giác ABC nhọn (AB<AC) nội tiếp đường tròn (O;R), có H là trực tâm. Tia AH cắt đường tròn (O) tại E. Kẻ đường kính AOF. Vẽ đường tròn tâm H bán kính HA, cắt AB, AC lần lượt tại D và K. Chứng minh rằng:
a) AO ⊥ DK .
b) sinA + sinB + sinC < 2(cosA + cosB + cosC)