Дан произвольный треугольник ABC и точка P в его плоскости; исследуйте зависимости площади треугольников PAB, PBC и PCA от положения P и найдите все точки P, для которых эти три площади пропорциональны заданным числам
Обозначим через [XYZ][XYZ][XYZ] ориентированную (signed) площадь треугольника XYZXYZXYZ. Пусть [PBC]=SA, [PCA]=SB, [PAB]=SC[PBC]=S_A,\;[PCA]=S_B,\;[PAB]=S_C[PBC]=SA,[PCA]=SB,[PAB]=SC и [ABC]=S[ABC]=S[ABC]=S. Тогда: 1) Базовые зависимости - Сумма площадей равна площади треугольника: SA+SB+SC=S.
S_A+S_B+S_C=S. SA+SB+SC=S.
- Каждая ориентированная площадь пропорциональна ориентированному расстоянию точки PPP до соответствующей стороны. В частности, для стороны BCBCBCSA=12 ∣BC∣⋅hA,
S_A=\tfrac12\;|BC|\cdot h_A, SA=21∣BC∣⋅hA,
где hAh_AhA — (ориентированная) высота от PPP на BCBCBC. Следовательно множество точек с данным значением SAS_ASA — прямая, параллельная BCBCBC (для signed — одна, для модулей — две). - Площади зависят от положения PPP аффинно (линейно по barycentric): при перемещении PPP поведение площадей линейно. 2) Условие пропорциональности и существование решения Пусть заданы числа a,b,ca,b,ca,b,c (не все нули) и требуется найти все PPP такие, что SA:SB:SC=a:b:c.
S_A:S_B:S_C=a:b:c. SA:SB:SC=a:b:c.
Это означает существование скаляра λ\lambdaλ с SA=λa,SB=λb,SC=λc.
S_A=\lambda a,\quad S_B=\lambda b,\quad S_C=\lambda c. SA=λa,SB=λb,SC=λc.
Из суммы следует λ=Sa+b+c,
\lambda=\frac{S}{a+b+c}, λ=a+b+cS,
поэтому решение существует единственно при a+b+c≠0a+b+c\neq0a+b+c=0; конкретно реальные (неориентированные) положительные площади получаются если a,b,c>0a,b,c>0a,b,c>0 (тогда λ>0\lambda>0λ>0 и PPP лежит внутри треугольника). Если какие‑то из a,b,ca,b,ca,b,c нулевые — PPP лежит на соответствующей стороне; при смешанных знаках — PPP лежит вне треугольника (используются ориентированные площади). Если a+b+c=0a+b+c=0a+b+c=0 и S≠0S\neq0S=0 решения нет. 3) Геометрическое и координатное описание решения - Барицентрические координаты: точка PPP однозначно определяется тройкой (a:b:c)(a:b:c)(a:b:c) и записывается как масса‑центр: P⃗=aA⃗+bB⃗+cC⃗a+b+c,
\vec{P}=\frac{a\vec{A}+b\vec{B}+c\vec{C}}{a+b+c}, P=a+b+caA+bB+cC,
при a+b+c≠0a+b+c\neq0a+b+c=0. В координатах вершин A(x1,y1),B(x2,y2),C(x3,y3)A(x_1,y_1), B(x_2,y_2), C(x_3,y_3)A(x1,y1),B(x2,y2),C(x3,y3): x=ax1+bx2+cx3a+b+c,y=ay1+by2+cy3a+b+c.
x=\frac{a x_1+b x_2+c x_3}{a+b+c},\qquad y=\frac{a y_1+b y_2+c y_3}{a+b+c}. x=a+b+cax1+bx2+cx3,y=a+b+cay1+by2+cy3. - Конструктивно через точки на сторонах (cevians): на BCBCBC возьмите точку XXX такую, что BXXC=cb,
\frac{BX}{XC}=\frac{c}{b}, XCBX=bc,
на CACACA точку YYY с CYYA=ac\frac{CY}{YA}=\frac{a}{c}YACY=ca, на ABABAB точку ZZZ с AZZB=ba\frac{AZ}{ZB}=\frac{b}{a}ZBAZ=ab. Тогда прямые AX,BY,CZAX,BY,CZAX,BY,CZ пересекаются в искомой точке PPP (теорема Чева). Итак: для данных пропорций a:b:ca:b:ca:b:c существует ровно одна точка PPP с требуемым соотношением площадей при a+b+c≠0a+b+c\neq0a+b+c=0; положение (внутри/на стороне/снаружи) определяется знаками a,b,ca,b,ca,b,c.
[PBC]=SA, [PCA]=SB, [PAB]=SC[PBC]=S_A,\;[PCA]=S_B,\;[PAB]=S_C[PBC]=SA ,[PCA]=SB ,[PAB]=SC и [ABC]=S[ABC]=S[ABC]=S. Тогда:
1) Базовые зависимости
- Сумма площадей равна площади треугольника:
SA+SB+SC=S. S_A+S_B+S_C=S.
SA +SB +SC =S. - Каждая ориентированная площадь пропорциональна ориентированному расстоянию точки PPP до соответствующей стороны. В частности, для стороны BCBCBC SA=12 ∣BC∣⋅hA, S_A=\tfrac12\;|BC|\cdot h_A,
SA =21 ∣BC∣⋅hA , где hAh_AhA — (ориентированная) высота от PPP на BCBCBC. Следовательно множество точек с данным значением SAS_ASA — прямая, параллельная BCBCBC (для signed — одна, для модулей — две).
- Площади зависят от положения PPP аффинно (линейно по barycentric): при перемещении PPP поведение площадей линейно.
2) Условие пропорциональности и существование решения
Пусть заданы числа a,b,ca,b,ca,b,c (не все нули) и требуется найти все PPP такие, что
SA:SB:SC=a:b:c. S_A:S_B:S_C=a:b:c.
SA :SB :SC =a:b:c. Это означает существование скаляра λ\lambdaλ с
SA=λa,SB=λb,SC=λc. S_A=\lambda a,\quad S_B=\lambda b,\quad S_C=\lambda c.
SA =λa,SB =λb,SC =λc. Из суммы следует
λ=Sa+b+c, \lambda=\frac{S}{a+b+c},
λ=a+b+cS , поэтому решение существует единственно при a+b+c≠0a+b+c\neq0a+b+c=0; конкретно реальные (неориентированные) положительные площади получаются если a,b,c>0a,b,c>0a,b,c>0 (тогда λ>0\lambda>0λ>0 и PPP лежит внутри треугольника). Если какие‑то из a,b,ca,b,ca,b,c нулевые — PPP лежит на соответствующей стороне; при смешанных знаках — PPP лежит вне треугольника (используются ориентированные площади). Если a+b+c=0a+b+c=0a+b+c=0 и S≠0S\neq0S=0 решения нет.
3) Геометрическое и координатное описание решения
- Барицентрические координаты: точка PPP однозначно определяется тройкой (a:b:c)(a:b:c)(a:b:c) и записывается как масса‑центр:
P⃗=aA⃗+bB⃗+cC⃗a+b+c, \vec{P}=\frac{a\vec{A}+b\vec{B}+c\vec{C}}{a+b+c},
P=a+b+caA+bB+cC , при a+b+c≠0a+b+c\neq0a+b+c=0. В координатах вершин A(x1,y1),B(x2,y2),C(x3,y3)A(x_1,y_1), B(x_2,y_2), C(x_3,y_3)A(x1 ,y1 ),B(x2 ,y2 ),C(x3 ,y3 ):
x=ax1+bx2+cx3a+b+c,y=ay1+by2+cy3a+b+c. x=\frac{a x_1+b x_2+c x_3}{a+b+c},\qquad
y=\frac{a y_1+b y_2+c y_3}{a+b+c}.
x=a+b+cax1 +bx2 +cx3 ,y=a+b+cay1 +by2 +cy3 .
- Конструктивно через точки на сторонах (cevians): на BCBCBC возьмите точку XXX такую, что
BXXC=cb, \frac{BX}{XC}=\frac{c}{b},
XCBX =bc , на CACACA точку YYY с CYYA=ac\frac{CY}{YA}=\frac{a}{c}YACY =ca , на ABABAB точку ZZZ с AZZB=ba\frac{AZ}{ZB}=\frac{b}{a}ZBAZ =ab . Тогда прямые AX,BY,CZAX,BY,CZAX,BY,CZ пересекаются в искомой точке PPP (теорема Чева).
Итак: для данных пропорций a:b:ca:b:ca:b:c существует ровно одна точка PPP с требуемым соотношением площадей при a+b+c≠0a+b+c\neq0a+b+c=0; положение (внутри/на стороне/снаружи) определяется знаками a,b,ca,b,ca,b,c.