Cho tam giác ABC nội tiếp đường tròn (O) . Các đường cao AK,BI cắt nhau tại H . Gọi D,E,F lần lượt là tâm của các đường tròn ngoại tiếp tam giác AIH , AKC , BKI
a) Chứng minh OEDF là hình bình hành
b) CH cắt AB ở J . CHứng minh : AK.BI.CJ = AB.BC.CA.cos BAC.sin ACB . sin CBA
AK.BI.CJ = AB.BC.CA. cos CAK . cos ABI . cos BCJ
c) chứng minh sin ABC . sin ACB - cos ABC. cos ACB = cos BAC d) CHo biết BAC=60 độ . AB=30mm , BC=15căn6m hãy giải tam giác ABC