ABI=HBC( 2 góc đồng vị ,AI // BH )
mà ABH =HBC ( BH là tia phân giác của ABC )
=> ABI=ABH
mà AHB =BAI (2 góc so le trong,AI //BH )
=> AIB = BAI
=> tam giác BAI cân tại B
mà BK là tia phân giác của ABI của tam giác BAI cân tại B
=> BK là đường cao của tam giác BAI
=> BK _I_AI