Постройте с помощью циркуля и линейки треугольник, если даны его медиана, биссектриса и высота, и обсудите случаи существования, единственности и неразрешимости конструкций
Предположение (стандартное): даны длины медианы, биссектрисы и высоты, проведённых из одного и того же верха AAA: пусть m=mam=m_am=ma, l=lal=l_al=la, h=hah=h_ah=ha. Требуется постройка треугольника ABCABCABC (основание BCBCBC) с циркулем и линейкой и обсуждение существования/единственности. Ключевая идея. Положим ось BCBCBC горизонтально, обозначим MMM середину отрезка BCBCBC, HHH — основание высоты, LLL — точка пересечения биссектрисы с BCBCBC. Тогда M,H,LM,H,LM,H,L лежат на одной прямой (оси BCBCBC), а нам заданы расстояния AM=mAM=mAM=m, AH=hAH=hAH=h, AL=lAL=lAL=l. Пусть координаты (относительно MMM) будут такие: M=(0,0)M=(0,0)M=(0,0), H=(u,0)H=(u,0)H=(u,0), L=(x,0)L=(x,0)L=(x,0), A=(u,h)A=(u,h)A=(u,h). Тогда - uuu и xxx вычисляются однозначно (с точностью до знака) из данных m,h,lm,h,lm,h,l: u=±m2−h2,x=u± l2−h2 ,
u=\pm\sqrt{m^2-h^2},\qquad x=u\pm\sqrt{\,l^2-h^2\,}, u=±m2−h2,x=u±l2−h2,
поэтому необходимо и достаточно для начала, чтобы m≥h,l≥h.
m\ge h,\qquad l\ge h. m≥h,l≥h. Далее обозначим a=BCa=BCa=BC и p=a2p=\dfrac a2p=2a. Из равенства отношений, задаваемого теоремой о биссектрисе (или равенством отношений отрезков на основании и соответствующих длин сторон) получаем после алгебраических преобразований простую формулу для p2p^2p2: p2=x(u2+h2−ux) u−x ,
p^2=\frac{x\big(u^2+h^2-ux\big)}{\,u-x\,}, p2=u−xx(u2+h2−ux),
а значит a2=4x(u2+h2−ux) u−x .
a^2=4\frac{x\big(u^2+h^2-ux\big)}{\,u-x\,}. a2=4u−xx(u2+h2−ux).
Это выражение даёт единственное значение aaa (при фиксированных знаках для uuu и выбора знака в xxx), при условии что правая часть положительна и u≠xu\ne xu=x. Конструкция (пошагово): 1. Проверить необходимые условия: m≥hm\ge hm≥h и l≥hl\ge hl≥h. Если одно из них нарушено — решений нет. 2. Построить отрезы величин u=m2−h2u=\sqrt{m^2-h^2}u=m2−h2 и s=l2−h2s=\sqrt{l^2-h^2}s=l2−h2 стандартным образом (через прямоугольный треугольник: из отрезков m,hm,hm,h и l,hl,hl,h соответственно). 3. На выбранной прямой (будущей BCBCBC) отметить точку MMM и точку HHH так, чтобы MH=uMH=uMH=u (две возможности: HHH справа или слева от MMM). 4. На этой же прямой от точки HHH отложить HL=±sHL=\pm sHL=±s — получим две возможности для LLL. (Итого до четырёх комбинаций знаков: зеркальные варианты дают конгруэнтные треугольники.) 5. Построить точку AAA как пересечение круга радиуса mmm с центром в MMM и перпендикуляра к прямой BCBCBC через HHH на расстоянии hhh от HHH (точка AAA с координатами (u,h)(u,h)(u,h)). 6. Вычислить/построить (линейно и через подобие треугольников) величину p=a2p=\dfrac a2p=2a по формуле p2=x(u2+h2−ux)u−x,
p^2=\frac{x\big(u^2+h^2-ux\big)}{u-x}, p2=u−xx(u2+h2−ux),
где xxx — координата точки LLL относительно MMM (то есть x=MH+HLx=MH+HLx=MH+HL с учётом знаков). Операции сложения, вычитания, умножения, деления и извлечения корня конструктивно выполняются циркулем и линейкой (через подобие и пересечения окружностей). 7. Отложить на прямой BCBCBC от MMM числа ppp влево и вправо; получатся точки BBB и CCC. Треугольник ABCABCABC — искомый. Условия существования: - обязательно m≥hm\ge hm≥h и l≥hl\ge hl≥h; - при выбранных знаках для uuu и xxx должно выполняться p2>0p^2>0p2>0 (равно тому, что правая часть формулы положительна) и дополнительно p≥∣u∣p\ge|u|p≥∣u∣ (чтобы HHH лежал между BBB и CCC). Если это не так — соответствующий выбор знаков даёт невозможное решение. - специальный вырожденный случай: если u=xu=xu=x (т.е. знаменатель ноль), то исходное уравнение допускает решение только при дополнительном совпадении параметров; как правило это вырожденные/особые конфигурации (зрело: либо нет решения, либо особая симметрия), и строится отдельно при необходимости. В общем случае u≠xu\ne xu=x. Единственность и количество решений: - для каждого из двух знаков в u=±m2−h2u=\pm\sqrt{m^2-h^2}u=±m2−h2 и двух знаков в x=u±l2−h2x=u\pm\sqrt{l^2-h^2}x=u±l2−h2 формула даёт не более одного значения aaa. Значит потенциально может быть до четырёх конструктивных вариантов; однако зеркально симметричные варианты относительно медианы дают конгруэнтные треугольники, поэтому нет фактически более двух непригодных по симметрии неоднородных решений. На практике: обычно 0, 1 или 2 неконгруэнтных решений в зависимости от данных (часто — одно решение при естественном выборе знаков). - нет решений, если условия существования не выполняются, либо вычисленный a2≤0a^2\le0a2≤0. Краткая сводка: - Постройка возможна конструктивно (окружности, подобие, вычисление через формулу) при m≥hm\ge hm≥h, l≥hl\ge hl≥h и положительном результате для a2a^2a2. - В общем положении — конечное (обычно до 2 по неэквивалентности) число решений; при нарушении условий — решений нет; есть отдельные вырожденные/симметричные случаи, требующие отдельного разбора. Если нужно, могу привести чисто геометрическую схему построения (чертёжный алгоритм с конкретными линейками/окружностями) или вывести подробнее формулу для aaa и разобрать вырожденные случаи.
Ключевая идея. Положим ось BCBCBC горизонтально, обозначим MMM середину отрезка BCBCBC, HHH — основание высоты, LLL — точка пересечения биссектрисы с BCBCBC. Тогда M,H,LM,H,LM,H,L лежат на одной прямой (оси BCBCBC), а нам заданы расстояния AM=mAM=mAM=m, AH=hAH=hAH=h, AL=lAL=lAL=l. Пусть координаты (относительно MMM) будут такие: M=(0,0)M=(0,0)M=(0,0), H=(u,0)H=(u,0)H=(u,0), L=(x,0)L=(x,0)L=(x,0), A=(u,h)A=(u,h)A=(u,h). Тогда
- uuu и xxx вычисляются однозначно (с точностью до знака) из данных m,h,lm,h,lm,h,l:
u=±m2−h2,x=u± l2−h2 , u=\pm\sqrt{m^2-h^2},\qquad x=u\pm\sqrt{\,l^2-h^2\,},
u=±m2−h2 ,x=u±l2−h2 , поэтому необходимо и достаточно для начала, чтобы
m≥h,l≥h. m\ge h,\qquad l\ge h.
m≥h,l≥h.
Далее обозначим a=BCa=BCa=BC и p=a2p=\dfrac a2p=2a . Из равенства отношений, задаваемого теоремой о биссектрисе (или равенством отношений отрезков на основании и соответствующих длин сторон) получаем после алгебраических преобразований простую формулу для p2p^2p2:
p2=x(u2+h2−ux) u−x , p^2=\frac{x\big(u^2+h^2-ux\big)}{\,u-x\,},
p2=u−xx(u2+h2−ux) , а значит
a2=4x(u2+h2−ux) u−x . a^2=4\frac{x\big(u^2+h^2-ux\big)}{\,u-x\,}.
a2=4u−xx(u2+h2−ux) . Это выражение даёт единственное значение aaa (при фиксированных знаках для uuu и выбора знака в xxx), при условии что правая часть положительна и u≠xu\ne xu=x.
Конструкция (пошагово):
1. Проверить необходимые условия: m≥hm\ge hm≥h и l≥hl\ge hl≥h. Если одно из них нарушено — решений нет.
2. Построить отрезы величин u=m2−h2u=\sqrt{m^2-h^2}u=m2−h2 и s=l2−h2s=\sqrt{l^2-h^2}s=l2−h2 стандартным образом (через прямоугольный треугольник: из отрезков m,hm,hm,h и l,hl,hl,h соответственно).
3. На выбранной прямой (будущей BCBCBC) отметить точку MMM и точку HHH так, чтобы MH=uMH=uMH=u (две возможности: HHH справа или слева от MMM).
4. На этой же прямой от точки HHH отложить HL=±sHL=\pm sHL=±s — получим две возможности для LLL. (Итого до четырёх комбинаций знаков: зеркальные варианты дают конгруэнтные треугольники.)
5. Построить точку AAA как пересечение круга радиуса mmm с центром в MMM и перпендикуляра к прямой BCBCBC через HHH на расстоянии hhh от HHH (точка AAA с координатами (u,h)(u,h)(u,h)).
6. Вычислить/построить (линейно и через подобие треугольников) величину p=a2p=\dfrac a2p=2a по формуле
p2=x(u2+h2−ux)u−x, p^2=\frac{x\big(u^2+h^2-ux\big)}{u-x},
p2=u−xx(u2+h2−ux) , где xxx — координата точки LLL относительно MMM (то есть x=MH+HLx=MH+HLx=MH+HL с учётом знаков). Операции сложения, вычитания, умножения, деления и извлечения корня конструктивно выполняются циркулем и линейкой (через подобие и пересечения окружностей).
7. Отложить на прямой BCBCBC от MMM числа ppp влево и вправо; получатся точки BBB и CCC. Треугольник ABCABCABC — искомый.
Условия существования:
- обязательно m≥hm\ge hm≥h и l≥hl\ge hl≥h;
- при выбранных знаках для uuu и xxx должно выполняться p2>0p^2>0p2>0 (равно тому, что правая часть формулы положительна) и дополнительно p≥∣u∣p\ge|u|p≥∣u∣ (чтобы HHH лежал между BBB и CCC). Если это не так — соответствующий выбор знаков даёт невозможное решение.
- специальный вырожденный случай: если u=xu=xu=x (т.е. знаменатель ноль), то исходное уравнение допускает решение только при дополнительном совпадении параметров; как правило это вырожденные/особые конфигурации (зрело: либо нет решения, либо особая симметрия), и строится отдельно при необходимости. В общем случае u≠xu\ne xu=x.
Единственность и количество решений:
- для каждого из двух знаков в u=±m2−h2u=\pm\sqrt{m^2-h^2}u=±m2−h2 и двух знаков в x=u±l2−h2x=u\pm\sqrt{l^2-h^2}x=u±l2−h2 формула даёт не более одного значения aaa. Значит потенциально может быть до четырёх конструктивных вариантов; однако зеркально симметричные варианты относительно медианы дают конгруэнтные треугольники, поэтому нет фактически более двух непригодных по симметрии неоднородных решений. На практике: обычно 0, 1 или 2 неконгруэнтных решений в зависимости от данных (часто — одно решение при естественном выборе знаков).
- нет решений, если условия существования не выполняются, либо вычисленный a2≤0a^2\le0a2≤0.
Краткая сводка:
- Постройка возможна конструктивно (окружности, подобие, вычисление через формулу) при m≥hm\ge hm≥h, l≥hl\ge hl≥h и положительном результате для a2a^2a2.
- В общем положении — конечное (обычно до 2 по неэквивалентности) число решений; при нарушении условий — решений нет; есть отдельные вырожденные/симметричные случаи, требующие отдельного разбора.
Если нужно, могу привести чисто геометрическую схему построения (чертёжный алгоритм с конкретными линейками/окружностями) или вывести подробнее формулу для aaa и разобрать вырожденные случаи.