Chứng minh tứ giác BFEC nội tiếp; DI là phân giác trong tam giác EDF

cho tam giác abc nhọn nội tiếp đường tròn [o,r] biết ab< ac. các đg cao ad,be,cf của tam giác abc cắt nhau tại h. gọi p là giao điểm của ef và cb. qua f kẻ dg thẳng // với ac cắt ap tại n, cắt ad tại k. gọi i là giao  điểm của ad và ef.cm
a, tứ giác bfec nội tiếp 
b, pb.pc=pf.pe và di là phân giác trong tam giác edf
c, f là trung điểm của kn