В треугольнике ABC через вершину A проведена внутренняя биссектриса и медиана; предложите и обоснуйте алгоритм построения точки P на этих двух отрезках (или их продолжениях), для которой произведение расстояний PB·PC минимально, и проанализируйте зависимость решения от формы треугольника
Задача: в треугольнике ABC дано две прямые через вершину A — внутренняя биссектриса и медиана. На каждой из этих прямых включаяихпродолжениявключая их продолжениявключаяихпродолжения требуется найти точку P, для которой произведение расстояний PB·PC минимально. Надо предложить алгоритм построения такой точки и проанализировать зависимость решения от формы треугольника.
Общий подход и замечания
Для любой фиксированной прямой L через A функция FPPP = PB·PC, где P пробегает эту прямую, непрерывна и стремится к +∞ при удалении P в оба направления вдоль прямой, поэтому минимум достигается и существует по крайней мере одна точка P на L возможнонаеёпродолжениивозможно на её продолжениивозможнонаеёпродолжении.При задаче «минимизировать произведение» удобно работать с логарифмом φPPP = ln PB + ln PC — критические точки φ'PPP=0 совпадают с критическими точками PB·PC. Производная вдоль прямой L даёт условие u·(P−B)/∣P−B∣2+(P−C)/∣P−C∣2 (P−B)/|P−B|^2 + (P−C)/|P−C|^2 (P−B)/∣P−B∣2+(P−C)/∣P−C∣2 = 0, где u — единичный вектор вдоль L этогеометрическаяформауравненияэкстреумаэто геометрическая форма уравнения экстреумаэтогеометрическаяформауравненияэкстреума.В общем случае при параметризации Pttt=A + t u уравнение для стационарных точек — многочленная вобщемслучаекубическаяв общем случае кубическаявобщемслучаекубическая в t. Это означает, что для произвольной прямой через A общее аналитическое итемболеестрогораставленное«рулеткой−циркулем»и тем более строгораставленное «рулеткой-циркулем»итемболеестрогораставленное«рулеткой−циркулем» решение в виде конечной конструкции не всегда выражается элементарно; однако для двух конкретных прямых медианыибиссектрисымедианы и биссектрисымедианыибиссектрисы можно дать более детальный разбор: для медианы получается простая и конструктивная формула; для биссектрисы в общем случае получается более сложное уравнение обычнорешаетсячисленноилиалгебраическиобычно решается численно или алгебраическиобычнорешаетсячисленноилиалгебраически.
1) Медиана прямаячерезA,проходящаячерезсерединуBCпрямая через A, проходящая через середину BCпрямаячерезA,проходящаячерезсерединуBC
Пусть M — середина BC, пусть d = MB = MC, и пусть медиана задаётся направлением, образующим с линией BC угол θ. Параметризуем точки на медиане через M: P = M + t·u, где u — единичный вектор направления медианы (t>0 в сторону вершины A, t<0 — в сторону продолжения за M). Тогда посчитавPB2иPC2иихпроизведениепосчитав PB^2 и PC^2 и их произведениепосчитавPB2иPC2иихпроизведение получаем явную зависимость Fttt^2 = d2+t2d^2 + t^2d2+t2^2 − 4 d^2 t^2 cos^2 θ и для экстремума по переменной s = t^2 получаем квадратичное уравнение, дающее t^2 = d^2 · cos 2θ. 111
Анализ и конструкция:
Если cos 2θ ≤ 0 этоэквивалентноθ≥45°это эквивалентно θ ≥ 45°этоэквивалентноθ≥45°, то правая часть ≤ 0, следовательно на действительной оси s ≥ 0 единственный минимум достигается при s = 0, то есть при t = 0, то есть в точке P = M. Иначе (cos2θ>0) существует единственный ненулевой положительный корень t = d·√cos2θcos2θcos2θ — это абсцисса точки P относительно M; эта точка и даёт глобальный минимум на прямой.Геометрическая конструкция. Все величины в формуле d=MBизвестен,уголθизвестенd = MB известен, угол θ известенd=MBизвестен,уголθизвестен конструктивно строим: находим M серединаBCсередина BCсерединаBC;измеряем угол θ между медианой и BC, строим угол 2θ и вычисляем cos2θ можнопостроитьотрезок,длинакоторогопропорциональнаcos2θ,применяястандартныепостроениячерезправыетреугольникииличерезпроекцииможно построить отрезок, длина которого пропорциональна cos2θ, применяя стандартные построения через правые треугольники или через проекцииможнопостроитьотрезок,длинакоторогопропорциональнаcos2θ,применяястандартныепостроениячерезправыетреугольникииличерезпроекции;отрезок t = d·√cos2θcos2θcos2θ строится как умножение/извлечение корня из известного отрезка стандартныепостроениясциркулемилинейкойпозволяютполучить√(числа)призаданныхотрезкахстандартные построения с циркулем и линейкой позволяют получить √(числа) при заданных отрезкахстандартныепостроениясциркулемилинейкойпозволяютполучить√(числа)призаданныхотрезках — если cos2θ положителен.откладываем от M отрезок длины t вдоль медианы в сторону A — получаем точку P. Если cos2θ ≤ 0, то P = M.Интерпретация. Частный случай: если медиана совпадает с биссектрисой и высотой т.е.треугольникравнобедренныйт.е. треугольник равнобедренныйт.е.треугольникравнобедренный, то θ = 90° − α/2 и анализ даёт P = M. В общем, для «крутого» наклона медианы θ≥45°θ ≥ 45°θ≥45° минимум на медиане — в середине BC; если медиана «малонаклонна» (θ < 45°), минимум сдвигается от M внутрь/наружу вдоль медианы на расстояние 111.
2) Биссектриса внутренняябиссектрисауглаAвнутренняя биссектриса угла AвнутренняябиссектрисауглаA
Для биссектрисы есть дополнительная симметрия: единичный вектор u вдоль биссектрисы образует равные углы с векторами AB и AC. Обозначим p = |AB|, q = |AC| и k = cosуголмеждуuиABугол между u и ABуголмеждуuиAB = cosуголмеждуuиACугол между u и ACуголмеждуuиACтоестьk=cos(φ),гдеφ=уголмеждубиссектрисойиABто есть k = cos(φ), где φ = угол между биссектрисой и ABтоестьk=cos(φ),гдеφ=уголмеждубиссектрисойиAB. Подставив в выражения для |P−B|^2 и |P−C|^2 мы получаем для P = A + t u два квадратичных множителя f1ttt = t^2 − 2 k p t + p^2, f2ttt = t^2 − 2 k q t + q^2, и функция F^2ttt = f1ttt f2ttt. Условие F'ttt=0 даёт в общем кубическое уравнение относительно t.
Последствия:
В общем случае для биссектрисы стационарное уравнение порождает кубическое уравнение, то есть закрытой конструкции некоторого простого вида однимциркулемилинейкойодним циркулем и линейкойоднимциркулемилинейкой для общей тройки длин p,q и угла φ не существует в общем виде; однако решение всегда можно получить алгебраически решениемкубическогорешением кубическогорешениемкубического или численно.Тем не менее есть частные ситуации, где решение простое и конструктивное: если p = q AB=ACAB = ACAB=AC, т. е. треугольник равнобедренный биссектриса=медианабиссектриса = медианабиссектриса=медиана, предыдущая формула для медианы применяется и минимум достигается в M;если параметры дают редуцирование кубики до квадратики справедливодлянекоторыхсимметрийсправедливо для некоторых симметрийсправедливодлянекоторыхсимметрий, то задача сводится к квадратному уравнению и решается классическим построением.Практический алгоритм дляреальныхпостроений/задачдля реальных построений / задачдляреальныхпостроений/задач: Выписать координаты/векторы A,B,C или измерять численно AB и AC и направление биссектрисы.Параметризовать P = A + t u и вычислить функцию fttt = |P−B|·|P−C| численночисленночисленно.Найти минимум fttt численным способом методНьютонадляуравненияf′(t)=0,илиодномерныйметодзолотогосечения/тернарногопоисканаотрезке,содержащемминимум;таккакf(t)→∞приt→±∞,минимумгарантированиобычноединственныйметод Ньютона для уравнения f'(t)=0, или одномерный метод золотого сечения/тернарного поиска на отрезке, содержащем минимум; так как f(t)→∞ при t→±∞, минимум гарантирован и обычно единственныйметодНьютонадляуравненияf′(t)=0,илиодномерныйметодзолотогосечения/тернарногопоисканаотрезке,содержащемминимум;таккакf(t)→∞приt→±∞,минимумгарантированиобычноединственный.Полученный t даёт требуемую точку P на биссектрисе. Это практичный и надёжный алгоритм для точной геометрической построительной задачи черезделениеотрезковвзаданноммасштабеипостроениепочисленнымзначениямчерез деление отрезков в заданном масштабе и построение по численным значениямчерезделениеотрезковвзаданноммасштабеипостроениепочисленнымзначениям.
3) Краткий итог / зависимости от формы треугольника
Для медианы существует простая явная формула 111. В частности: если угол между медианой и BC ≥ 45°, то минимум на медиане достигается в середине BC;если угол < 45°, то минимум отстоит от M на расстояние t = d·√cos2θcos2θcos2θ в сторону вершины A приположительномtпри положительном tприположительномt — точка находится либо на отрезке AM, либо на его продолжении, в зависимости от величины t и расположения A.Для биссектрисы в общем случае нужно решать кубическое уравнение, поэтому нет единой простой «рулеточно‑циркулевой» конструкции во всех случаях; в частных симметричных случаях равнобедренныйтреугольникит.п.равнобедренный треугольник и т. п.равнобедренныйтреугольникит.п. решение совпадает с медианой/серединой BC.В любом конкретном численном/построительном задании наиболее надёжный алгоритм — численный поиск минимума вдоль прямой методНьютона,методзолотогосеченияилипростойодномерныйпоискметод Ньютона, метод золотого сечения или простой одномерный поискметодНьютона,методзолотогосеченияилипростойодномерныйпоиск, либо алгебраическое решение получающегося уравнения квадратное/кубическоеквадратное/кубическоеквадратное/кубическое, если требуются точные формулы.
Резюме алгоритмов для практического применения
Медиана: применить формулу 111; при cos2θ ≤ 0 взять P = M; иначе отложить от M вдоль медианы расстояние t = d·√cos2θcos2θcos2θ.Биссектриса: в общем случае найти t, решив F'ttt=0 численно илиалгебраически,еслихотитеточныйкоренькубическогоили алгебраически, если хотите точный корень кубическогоилиалгебраически,еслихотитеточныйкоренькубического; в частных симметричных случаях сводится к медиане и тогда действует предыдущая конструкция.
Если хотите, могу:
привести полный выведенный шаг за шагом алгебраический вывод для медианы сподробнымпостроением—какрукамиполучитьотрезокtсциркулем/линейкойс подробным построением — как руками получить отрезок t с циркулем/линейкойсподробнымпостроением—какрукамиполучитьотрезокtсциркулем/линейкой, илизаписать явно кубическое уравнение для биссектрисы и показать численный алгоритм Newton/золотоесечениеNewton / золотое сечениеNewton/золотоесечение с примерами и иллюстрацией при конкретных числах AB, AC, угле A.
Задача: в треугольнике ABC дано две прямые через вершину A — внутренняя биссектриса и медиана. На каждой из этих прямых включаяихпродолжениявключая их продолжениявключаяихпродолжения требуется найти точку P, для которой произведение расстояний PB·PC минимально. Надо предложить алгоритм построения такой точки и проанализировать зависимость решения от формы треугольника.
Общий подход и замечания
Для любой фиксированной прямой L через A функция FPPP = PB·PC, где P пробегает эту прямую, непрерывна и стремится к +∞ при удалении P в оба направления вдоль прямой, поэтому минимум достигается и существует по крайней мере одна точка P на L возможнонаеёпродолжениивозможно на её продолжениивозможнонаеёпродолжении.При задаче «минимизировать произведение» удобно работать с логарифмом φPPP = ln PB + ln PC — критические точки φ'PPP=0 совпадают с критическими точками PB·PC. Производная вдоль прямой L даёт условиеu·(P−B)/∣P−B∣2+(P−C)/∣P−C∣2 (P−B)/|P−B|^2 + (P−C)/|P−C|^2 (P−B)/∣P−B∣2+(P−C)/∣P−C∣2 = 0,
где u — единичный вектор вдоль L этогеометрическаяформауравненияэкстреумаэто геометрическая форма уравнения экстреумаэтогеометрическаяформауравненияэкстреума.В общем случае при параметризации Pttt=A + t u уравнение для стационарных точек — многочленная вобщемслучаекубическаяв общем случае кубическаявобщемслучаекубическая в t. Это означает, что для произвольной прямой через A общее аналитическое итемболеестрогораставленное«рулеткой−циркулем»и тем более строгораставленное «рулеткой-циркулем»итемболеестрогораставленное«рулеткой−циркулем» решение в виде конечной конструкции не всегда выражается элементарно; однако для двух конкретных прямых медианыибиссектрисымедианы и биссектрисымедианыибиссектрисы можно дать более детальный разбор: для медианы получается простая и конструктивная формула; для биссектрисы в общем случае получается более сложное уравнение обычнорешаетсячисленноилиалгебраическиобычно решается численно или алгебраическиобычнорешаетсячисленноилиалгебраически.
1) Медиана прямаячерезA,проходящаячерезсерединуBCпрямая через A, проходящая через середину BCпрямаячерезA,проходящаячерезсерединуBC Пусть M — середина BC, пусть d = MB = MC, и пусть медиана задаётся направлением, образующим с линией BC угол θ. Параметризуем точки на медиане через M: P = M + t·u, где u — единичный вектор направления медианы (t>0 в сторону вершины A, t<0 — в сторону продолжения за M). Тогда посчитавPB2иPC2иихпроизведениепосчитав PB^2 и PC^2 и их произведениепосчитавPB2иPC2иихпроизведение получаем явную зависимость
Fttt^2 = d2+t2d^2 + t^2d2+t2^2 − 4 d^2 t^2 cos^2 θ
и для экстремума по переменной s = t^2 получаем квадратичное уравнение, дающее
t^2 = d^2 · cos 2θ. 111
Анализ и конструкция:
Если cos 2θ ≤ 0 этоэквивалентноθ≥45°это эквивалентно θ ≥ 45°этоэквивалентноθ≥45°, то правая часть ≤ 0, следовательно на действительной оси s ≥ 0 единственный минимум достигается при s = 0, то есть при t = 0, то есть в точке P = M. Иначе (cos2θ>0) существует единственный ненулевой положительный корень t = d·√cos2θcos2θcos2θ — это абсцисса точки P относительно M; эта точка и даёт глобальный минимум на прямой.Геометрическая конструкция. Все величины в формуле d=MBизвестен,уголθизвестенd = MB известен, угол θ известенd=MBизвестен,уголθизвестен конструктивно строим:находим M серединаBCсередина BCсерединаBC;измеряем угол θ между медианой и BC, строим угол 2θ и вычисляем cos2θ можнопостроитьотрезок,длинакоторогопропорциональнаcos2θ,применяястандартныепостроениячерезправыетреугольникииличерезпроекцииможно построить отрезок, длина которого пропорциональна cos2θ, применяя стандартные построения через правые треугольники или через проекцииможнопостроитьотрезок,длинакоторогопропорциональнаcos2θ,применяястандартныепостроениячерезправыетреугольникииличерезпроекции;отрезок t = d·√cos2θcos2θcos2θ строится как умножение/извлечение корня из известного отрезка стандартныепостроениясциркулемилинейкойпозволяютполучить√(числа)призаданныхотрезкахстандартные построения с циркулем и линейкой позволяют получить √(числа) при заданных отрезкахстандартныепостроениясциркулемилинейкойпозволяютполучить√(числа)призаданныхотрезках — если cos2θ положителен.откладываем от M отрезок длины t вдоль медианы в сторону A — получаем точку P. Если cos2θ ≤ 0, то P = M.Интерпретация. Частный случай: если медиана совпадает с биссектрисой и высотой т.е.треугольникравнобедренныйт.е. треугольник равнобедренныйт.е.треугольникравнобедренный, то θ = 90° − α/2 и анализ даёт P = M. В общем, для «крутого» наклона медианы θ≥45°θ ≥ 45°θ≥45° минимум на медиане — в середине BC; если медиана «малонаклонна» (θ < 45°), минимум сдвигается от M внутрь/наружу вдоль медианы на расстояние 111.
2) Биссектриса внутренняябиссектрисауглаAвнутренняя биссектриса угла AвнутренняябиссектрисауглаA Для биссектрисы есть дополнительная симметрия: единичный вектор u вдоль биссектрисы образует равные углы с векторами AB и AC. Обозначим p = |AB|, q = |AC| и k = cosуголмеждуuиABугол между u и ABуголмеждуuиAB = cosуголмеждуuиACугол между u и ACуголмеждуuиAC тоестьk=cos(φ),гдеφ=уголмеждубиссектрисойиABто есть k = cos(φ), где φ = угол между биссектрисой и ABтоестьk=cos(φ),гдеφ=уголмеждубиссектрисойиAB. Подставив в выражения для |P−B|^2 и |P−C|^2 мы получаем для P = A + t u два квадратичных множителя
f1ttt = t^2 − 2 k p t + p^2,
f2ttt = t^2 − 2 k q t + q^2,
и функция F^2ttt = f1ttt f2ttt. Условие F'ttt=0 даёт в общем кубическое уравнение относительно t.
Последствия:
В общем случае для биссектрисы стационарное уравнение порождает кубическое уравнение, то есть закрытой конструкции некоторого простого вида однимциркулемилинейкойодним циркулем и линейкойоднимциркулемилинейкой для общей тройки длин p,q и угла φ не существует в общем виде; однако решение всегда можно получить алгебраически решениемкубическогорешением кубическогорешениемкубического или численно.Тем не менее есть частные ситуации, где решение простое и конструктивное:если p = q AB=ACAB = ACAB=AC, т. е. треугольник равнобедренный биссектриса=медианабиссектриса = медианабиссектриса=медиана, предыдущая формула для медианы применяется и минимум достигается в M;если параметры дают редуцирование кубики до квадратики справедливодлянекоторыхсимметрийсправедливо для некоторых симметрийсправедливодлянекоторыхсимметрий, то задача сводится к квадратному уравнению и решается классическим построением.Практический алгоритм дляреальныхпостроений/задачдля реальных построений / задачдляреальныхпостроений/задач:
Выписать координаты/векторы A,B,C или измерять численно AB и AC и направление биссектрисы.Параметризовать P = A + t u и вычислить функцию fttt = |P−B|·|P−C| численночисленночисленно.Найти минимум fttt численным способом методНьютонадляуравненияf′(t)=0,илиодномерныйметодзолотогосечения/тернарногопоисканаотрезке,содержащемминимум;таккакf(t)→∞приt→±∞,минимумгарантированиобычноединственныйметод Ньютона для уравнения f'(t)=0, или одномерный метод золотого сечения/тернарного поиска на отрезке, содержащем минимум; так как f(t)→∞ при t→±∞, минимум гарантирован и обычно единственныйметодНьютонадляуравненияf′(t)=0,илиодномерныйметодзолотогосечения/тернарногопоисканаотрезке,содержащемминимум;таккакf(t)→∞приt→±∞,минимумгарантированиобычноединственный.Полученный t даёт требуемую точку P на биссектрисе. Это практичный и надёжный алгоритм для точной геометрической построительной задачи черезделениеотрезковвзаданноммасштабеипостроениепочисленнымзначениямчерез деление отрезков в заданном масштабе и построение по численным значениямчерезделениеотрезковвзаданноммасштабеипостроениепочисленнымзначениям.
3) Краткий итог / зависимости от формы треугольника
Для медианы существует простая явная формула 111. В частности:если угол между медианой и BC ≥ 45°, то минимум на медиане достигается в середине BC;если угол < 45°, то минимум отстоит от M на расстояние t = d·√cos2θcos2θcos2θ в сторону вершины A приположительномtпри положительном tприположительномt — точка находится либо на отрезке AM, либо на его продолжении, в зависимости от величины t и расположения A.Для биссектрисы в общем случае нужно решать кубическое уравнение, поэтому нет единой простой «рулеточно‑циркулевой» конструкции во всех случаях; в частных симметричных случаях равнобедренныйтреугольникит.п.равнобедренный треугольник и т. п.равнобедренныйтреугольникит.п. решение совпадает с медианой/серединой BC.В любом конкретном численном/построительном задании наиболее надёжный алгоритм — численный поиск минимума вдоль прямой методНьютона,методзолотогосеченияилипростойодномерныйпоискметод Ньютона, метод золотого сечения или простой одномерный поискметодНьютона,методзолотогосеченияилипростойодномерныйпоиск, либо алгебраическое решение получающегося уравнения квадратное/кубическоеквадратное/кубическоеквадратное/кубическое, если требуются точные формулы.
Резюме алгоритмов для практического применения
Медиана: применить формулу 111; при cos2θ ≤ 0 взять P = M; иначе отложить от M вдоль медианы расстояние t = d·√cos2θcos2θcos2θ.Биссектриса: в общем случае найти t, решив F'ttt=0 численно илиалгебраически,еслихотитеточныйкоренькубическогоили алгебраически, если хотите точный корень кубическогоилиалгебраически,еслихотитеточныйкоренькубического; в частных симметричных случаях сводится к медиане и тогда действует предыдущая конструкция.Если хотите, могу:
привести полный выведенный шаг за шагом алгебраический вывод для медианы сподробнымпостроением—какрукамиполучитьотрезокtсциркулем/линейкойс подробным построением — как руками получить отрезок t с циркулем/линейкойсподробнымпостроением—какрукамиполучитьотрезокtсциркулем/линейкой, илизаписать явно кубическое уравнение для биссектрисы и показать численный алгоритм Newton/золотоесечениеNewton / золотое сечениеNewton/золотоесечение с примерами и иллюстрацией при конкретных числах AB, AC, угле A.