Итак, для того, чтобы доказать, что прямая пересекает отрезок АВ посередине, нам надо доказать равенство треугольников АНО и КВО, из которого будет следовать равенство отрезков АО и ОВ, что и является нашей целью.
Рассмотрим треуг. АНО и треуг. КВО. Они прямоугольные, т.к. расстояние от точки до прямой есть высота, проведенная из этой точки к данной прямой.
1. АН=КВ (по условию задачи)
2. угол АОН=углу КОВ (т.к. вертикальные)
Следовательно, треуг. АНО=треуг.КВО.
Следовательно, АО=ОВ.
АВH - прямоугольный треугольник.
ВН - катет, лежащий напротив угла в 30 градусов, он равен половине гипотенузы.
ВН - 8:2 = 4