Постройте с циркулем и линейкой треугольник, если даны длины медианы, биссектрисы и высоты, выходящей из одной вершины; проанализируйте разрешимость и однозначность конструкции
Коротко: даётся высота hhh, медиана mmm и биссектриса lll, все из одной вершины AAA. Обозначим через HHH — основание высоты на BCBCBC, MMM — середина BCBCBC, DDD — точка пересечения биссектрисы с BCBCBC. Положим на прямой BCBCBC ориентированные координаты так, чтобы HHH — в начале, AAA — над HHH на высоту hhh. Тогда - u:=HMu:=HMu:=HM удовлетворяет u2=m2−h2\;u^2=m^2-h^2u2=m2−h2, т.е. u=m2−h2u=\sqrt{m^2-h^2}u=m2−h2; - v:=HDv:=HDv:=HD удовлетворяет v2=l2−h2\;v^2=l^2-h^2v2=l2−h2, т.е. v=±l2−h2v=\pm\sqrt{l^2-h^2}v=±l2−h2 (знак отражает, с какой стороны от HHH лежит DDD). Пусть s=BC2s=\tfrac{BC}{2}s=2BC. Применяя теорему биссектрисы и подставляя расстояния, получаем при алгебраических преобразованиях единственное выражение для s2s^2s2: s2=(u−v)(h2+uv)v.
s^2=\frac{(u-v)(h^2+uv)}{v}. s2=v(u−v)(h2+uv).
Отсюда a=BC=2s,s=(u−v)(h2+uv)v.
a=BC=2s,\qquad s=\sqrt{\frac{(u-v)(h^2+uv)}{v}}. a=BC=2s,s=v(u−v)(h2+uv). Условия существования и однозначности - предварительно необходимо m≥hm\ge hm≥h и l≥hl\ge hl≥h (чтобы uuu и vvv были вещественными); - для фиксированного выбора знака vvv (то есть для заданной ориентации точки DDD относительно HHH) значение s2s^2s2 вычисляется по формуле выше; треугольник существует при s2>0s^2>0s2>0 и не существует при s2≤0s^2\le0s2≤0; - поскольку vvv может быть взято с двумя знаками ±l2−h2\pm\sqrt{l^2-h^2}±l2−h2 (точка DDD может лежать по одну или по другую сторону от HHH), всего может получиться до двух неконгруэнтных треугольников (по одному для каждого знака), или один, если только для одного знака s2>0s^2>0s2>0 (вырожденные/особые случаи дают единственный или нулевой результат); - частный случай v=0v=0v=0 (т.е. l=hl=hl=h) возможен лишь совместно с u=0u=0u=0 (т.е. m=hm=hm=h) — тогда все три отрезка совпадают с одной высотой/медианой/биссектрисой и треугольник — симметричный (isosceles); в остальных случаях v=0v=0v=0 несовместимо. Пошаговая конструкция (линейкой и циркулем) 1. Проверить, что m≥hm\ge hm≥h и l≥hl\ge hl≥h. Построить отрезки m,l,hm,l,hm,l,h. 2. Построить u=m2−h2u=\sqrt{m^2-h^2}u=m2−h2 и v0=l2−h2v_0=\sqrt{l^2-h^2}v0=l2−h2 (округл. положительные длины) стандартным способом: из отрезков mmm и hhh построить прямоугольный треугольник с гипотенузой mmm и катетом hhh, другой катет есть uuu; аналогично для v0v_0v0. 3. На прямой берём точку HHH и вверх по перпендикуляру от нее откладываем точку AAA на расстояние hhh. 4. Для каждого варианта ориентации v=±v0v=\pm v_0v=±v0: a) отложить на прямой BCBCBC от HHH точку MMM на расстояние uuu (выбор стороны даёт зеркальную ситуацию, дающую конгруэнтный треугольник); отложить точку DDD на расстояние vvv от HHH (на ту же прямую). b) вычислить (геометрически: умножение/деление/взятие корня конструктивно осуществимы) значение s2=(u−v)(h2+uv)vs^2=\dfrac{(u-v)(h^2+uv)}{v}s2=v(u−v)(h2+uv). Если s2≤0s^2\le0s2≤0, этот вариант отбросить. c) построить s=s2s=\sqrt{s^2}s=s2 и от точки MMM отложить в обе стороны отрезы длины sss; получены BBB и CCC. d) провести от AAA прямые к BBB и CCC — это искомый треугольник. 5. Получите 0, 1 или 2 решений (плюс зеркальные отражения). Краткий итог: конструкция возможна при m≥h, l≥hm\ge h,\;l\ge hm≥h,l≥h и при положительности выражения (u−v)(h2+uv)v\dfrac{(u-v)(h^2+uv)}{v}v(u−v)(h2+uv) для по крайней мере одного выбора знака v=±l2−h2v=\pm\sqrt{l^2-h^2}v=±l2−h2. Для фиксированного знака vvv решение (если существует) единственно (с точностью до симметрии), в целом может быть до двух различных треугольников.
- u:=HMu:=HMu:=HM удовлетворяет u2=m2−h2\;u^2=m^2-h^2u2=m2−h2, т.е. u=m2−h2u=\sqrt{m^2-h^2}u=m2−h2 ;
- v:=HDv:=HDv:=HD удовлетворяет v2=l2−h2\;v^2=l^2-h^2v2=l2−h2, т.е. v=±l2−h2v=\pm\sqrt{l^2-h^2}v=±l2−h2 (знак отражает, с какой стороны от HHH лежит DDD).
Пусть s=BC2s=\tfrac{BC}{2}s=2BC . Применяя теорему биссектрисы и подставляя расстояния, получаем при алгебраических преобразованиях единственное выражение для s2s^2s2:
s2=(u−v)(h2+uv)v. s^2=\frac{(u-v)(h^2+uv)}{v}.
s2=v(u−v)(h2+uv) . Отсюда
a=BC=2s,s=(u−v)(h2+uv)v. a=BC=2s,\qquad s=\sqrt{\frac{(u-v)(h^2+uv)}{v}}.
a=BC=2s,s=v(u−v)(h2+uv) .
Условия существования и однозначности
- предварительно необходимо m≥hm\ge hm≥h и l≥hl\ge hl≥h (чтобы uuu и vvv были вещественными);
- для фиксированного выбора знака vvv (то есть для заданной ориентации точки DDD относительно HHH) значение s2s^2s2 вычисляется по формуле выше; треугольник существует при s2>0s^2>0s2>0 и не существует при s2≤0s^2\le0s2≤0;
- поскольку vvv может быть взято с двумя знаками ±l2−h2\pm\sqrt{l^2-h^2}±l2−h2 (точка DDD может лежать по одну или по другую сторону от HHH), всего может получиться до двух неконгруэнтных треугольников (по одному для каждого знака), или один, если только для одного знака s2>0s^2>0s2>0 (вырожденные/особые случаи дают единственный или нулевой результат);
- частный случай v=0v=0v=0 (т.е. l=hl=hl=h) возможен лишь совместно с u=0u=0u=0 (т.е. m=hm=hm=h) — тогда все три отрезка совпадают с одной высотой/медианой/биссектрисой и треугольник — симметричный (isosceles); в остальных случаях v=0v=0v=0 несовместимо.
Пошаговая конструкция (линейкой и циркулем)
1. Проверить, что m≥hm\ge hm≥h и l≥hl\ge hl≥h. Построить отрезки m,l,hm,l,hm,l,h.
2. Построить u=m2−h2u=\sqrt{m^2-h^2}u=m2−h2 и v0=l2−h2v_0=\sqrt{l^2-h^2}v0 =l2−h2 (округл. положительные длины) стандартным способом: из отрезков mmm и hhh построить прямоугольный треугольник с гипотенузой mmm и катетом hhh, другой катет есть uuu; аналогично для v0v_0v0 .
3. На прямой берём точку HHH и вверх по перпендикуляру от нее откладываем точку AAA на расстояние hhh.
4. Для каждого варианта ориентации v=±v0v=\pm v_0v=±v0 :
a) отложить на прямой BCBCBC от HHH точку MMM на расстояние uuu (выбор стороны даёт зеркальную ситуацию, дающую конгруэнтный треугольник); отложить точку DDD на расстояние vvv от HHH (на ту же прямую).
b) вычислить (геометрически: умножение/деление/взятие корня конструктивно осуществимы) значение s2=(u−v)(h2+uv)vs^2=\dfrac{(u-v)(h^2+uv)}{v}s2=v(u−v)(h2+uv) . Если s2≤0s^2\le0s2≤0, этот вариант отбросить.
c) построить s=s2s=\sqrt{s^2}s=s2 и от точки MMM отложить в обе стороны отрезы длины sss; получены BBB и CCC.
d) провести от AAA прямые к BBB и CCC — это искомый треугольник.
5. Получите 0, 1 или 2 решений (плюс зеркальные отражения).
Краткий итог: конструкция возможна при m≥h, l≥hm\ge h,\;l\ge hm≥h,l≥h и при положительности выражения (u−v)(h2+uv)v\dfrac{(u-v)(h^2+uv)}{v}v(u−v)(h2+uv) для по крайней мере одного выбора знака v=±l2−h2v=\pm\sqrt{l^2-h^2}v=±l2−h2 . Для фиксированного знака vvv решение (если существует) единственно (с точностью до симметрии), в целом может быть до двух различных треугольников.