Hai đường thẳng EF và BC cắt nhau tại I, AI cắt (O) tại N

Cho ∆ABC nhọn (AB<AC) nội tiếp đường tròn (O) các đường cao BE và CF cắt nhau tại H.
a) CM: tứ giác AEHF và BCEF nội tiếp.
b) Hai đường thẳng EF và BC cắt nhau tại I, AI cắt (O) tại N.
CM: ∆INB ~ ∆ICA và IE.IF = IN.IA.