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