Классическая формулировка: OF — биссектриса угла AOB. Это значит, что луч OF проходит через вершину O и делит угол AOB на два равных по величине угла: ∠AOF = ∠FOB.
Пошаговое объяснение и полезные свойства
- Угловое равенство
- По определению: ∠AOF = ∠FOB.
- Это основная характеристика биссектора.
- Свойство биссектора как геометрического признака
- Любая точка P на луче OF имеет равные расстояния до лучей OA и OB.
- То есть d(P, OA) = d(P, OB).
- Обоснование (коротко): опустим перпендикуляры P к OA и OB, получим пары треугольников, где углы при O равны (∠AOF = ∠FOB), а углы при F образованы прямыми AF и FB, лежащими на одной прямой AB. Это даёт равенство расстояний.
- Применение в треугольнике AOB (теорема биссектора угла)
- Пусть OF пересекает сторону AB в точке F.
- Тогда выполняется пропорциональность AF:FB = AO:BO. Это и есть теорема биссектора угла.
- Краткое доказательство (быстрое):
- В треугольниках AOF и FOB по синусам имеем: AO / sin(∠AFO) = AF / sin(∠AOF), BO / sin(∠OFB) = FB / sin(∠FOB).
- Так как ∠AOF = ∠FOB и ∠AFO и ∠OFB дополняют друг друга до 180°, их синусы равны: sin(∠AFO) = sin(∠OFB).
- Отсюда AF/FB = AO/BO.
- Простая числовая иллюстрация
- Пусть ∠AOB = 60°. Пусть OA лежит по оси x, OB образует угол 60° с OA. Тогда биссектор OF изображается на направлении 30°.
- Возьмём точку P на OF на расстоянии r от O: P = (r cos30°, r sin30°) = (r√3/2, r/2).
- Расстояние от P до OA (ось x) равно d(P, OA) = y = r/2.
- Расстояние от P до OB (прямая y = √3 x) через формулу расстояния до прямой: d = |√3 x − y| / sqrt( (√3)^2 + 1 ) = |√3*(r√3/2) − r/2| / 2 = |(3r/2 − r/2)| / 2 = r/2.
- Получаем d(P, OA) = d(P, OB) = r/2. Это подтверждает свойство.
Итого
- OF как биссектор угла AOB: ∠AOF = ∠FOB.
- Любая точка на OF равнаудалена до OA и OB: d(P, OA) = d(P, OB).
- Если OF пересекает AB в F, то AF:FB = AO:BO (теорема биссектора угла).
Если хочешь, могу привести конкретную задачу с заданными точками A, B, O или с координатами и разобрать решение по шагам в твоём темпе. Также скажи, нужно ли адаптировать пояснения под конкретный класс или уровень (например, 7–й класс, задача на доказательство, или задача на применение теоремы).