Cho tam giác ABC nội tiếp (O), AB<AC. Gọi I là tâm đường trong nội tiếp. Gọi P là điểm chính giữa cung BC chứa A. Gọi AI cắt (O) tại M, điểm E thuộc AC sao cho AE=AB. Qua E kẻ vuông góc PI, cắt BC tại F.
a.Chứng minh tam giác MIP~tam giác BEF
b.Chứng minh BF=2BA