Краткое пояснение: Докажем, что любая точка, равноудалённая от сторон угла, лежит на биссектрисе угла.
- Пусть точка B лежит внутри угла HOT и равноудалена от его сторон OH и OT.
- Проведём BC и BM к прямым OH и OT.
- ΔOBC = ΔOBM по гипотенузе и катету (OB — общая гипотенуза, BC = BM по условию).
- Следовательно, ∠1 = ∠2, т. е. луч OB — биссектриса угла HOT.