vi O la giao diem cac phan giac cua tam giac . ABC nen O thuoc tia phan giac cua goc BAC(1)
ha PD vuong goc BC , PE vuong goc AC, PF vuong goc AB . vi P thoc tia A phân giác cua goc CBx nen PD=PE ,P lai thuoc tia phan giac cua goc BCy nen KP=KE.suy ra KE=KF dieu nay chung to K thuoc tia phan giac cua goc BAC(2)
tu (1)(2) suy ra OvaP thoc tia phac cua goc BAC . vay ba diem A,O ,P thang hang.