Пусть точка В лежит внутри угла НОТ и равноудалена от его сторон OH и OT.
Проведём ОР ВС и ВМ к прямым ОН и ОT.
ΔОВС = ΔОВМ по гипотенузе и катету (ОВ – общая гипотенуза, ВС = BM по условию). Следовательно, ∠1 = ∠2, т. е. луч ОВ – биссектриса угла НОТ.