Дан треугольник ABC и точка P внутри него; сравните и докажите равенства и неравенства для сум площадей треугольников PAB, PBC, PCA и расстояний от P до вершин в зависимости от положения P (например, центр тяжести, инцентр, циркумцентр)
Коротко и по пунктам — общие факты и частные случаи (G — центр тяжести, I — инцентр, O — центр описанной окружности, стороны: a=BC, b=CA, c=ABa=BC,\;b=CA,\;c=ABa=BC,b=CA,c=AB, полупериметр sss, радиусы: вписанный rrr, описанный RRR). 1) Общее равенство площадей - Для любой точки PPP внутри треугольника [PAB]+[PBC]+[PCA]=[ABC].
[PAB]+[PBC]+[PCA]=[ABC]. [PAB]+[PBC]+[PCA]=[ABC].
Доказательство: например, через высоты к сторонам. Обозначим расстояния от PPP до сторон BC,CA,ABBC,CA,ABBC,CA,AB как ha,hb,hch_a,h_b,h_cha,hb,hc. Тогда [PBC]=12aha,[PCA]=12bhb,[PAB]=12chc,
[PBC]=\tfrac12 a h_a,\quad [PCA]=\tfrac12 b h_b,\quad [PAB]=\tfrac12 c h_c, [PBC]=21aha,[PCA]=21bhb,[PAB]=21chc,
и суммы высот по каждой стороне дают высоту полного треугольника, потому сумма равна [ABC][ABC][ABC]. 2) Центр тяжести GGG
- Площади: [GAB]=[GBC]=[GCA]=13[ABC],
[GAB]=[GBC]=[GCA]=\tfrac13[ABC], [GAB]=[GBC]=[GCA]=31[ABC],
потому что медианы делят треугольник на шесть равных по площади малых треугольников, а три такие составляют каждый из трёх указанных. - Расстояния (квадраты): GA2=19(2b2+2c2−a2),
GA^2=\frac{1}{9}(2b^2+2c^2-a^2), GA2=91(2b2+2c2−a2),
и суммарно GA2+GB2+GC2=13(a2+b2+c2).
GA^2+GB^2+GC^2=\frac{1}{3}(a^2+b^2+c^2). GA2+GB2+GC2=31(a2+b2+c2).
- Для любой точки PPP выполняется PA2+PB2+PC2=3 PG2+(GA2+GB2+GC2),
PA^2+PB^2+PC^2=3\,PG^2+(GA^2+GB^2+GC^2), PA2+PB2+PC2=3PG2+(GA2+GB2+GC2),
откуда следует неравенство PA2+PB2+PC2≥GA2+GB2+GC2
PA^2+PB^2+PC^2\ge GA^2+GB^2+GC^2 PA2+PB2+PC2≥GA2+GB2+GC2
с равенством только при P=GP=GP=G. То есть GGG минимизирует сумму квадратов расстояний до вершин. 3) Инцентр III
- Площади треугольников с вершиной III: [IBC]=12ar,[ICA]=12br,[IAB]=12cr,
[IBC]=\tfrac12 a r,\quad [ICA]=\tfrac12 b r,\quad [IAB]=\tfrac12 c r, [IBC]=21ar,[ICA]=21br,[IAB]=21cr,
поэтому [IBC]:[ICA]:[IAB]=a:b:c,[IBC]+[ICA]+[IAB]=rs=[ABC].
[IBC]:[ICA]:[IAB]=a:b:c,\qquad [IBC]+[ICA]+[IAB]=r s=[ABC]. [IBC]:[ICA]:[IAB]=a:b:c,[IBC]+[ICA]+[IAB]=rs=[ABC].
(Здесь rrr — расстояние III до каждой стороны.) - Расстояния IA,IB,ICIA,IB,ICIA,IB,IC: IA=rsinA2,IB=rsinB2,IC=rsinC2.
IA=\frac{r}{\sin\frac{A}{2}},\quad IB=\frac{r}{\sin\frac{B}{2}},\quad IC=\frac{r}{\sin\frac{C}{2}}. IA=sin2Ar,IB=sin2Br,IC=sin2Cr.
Следствие: среди IA,IB,ICIA,IB,ICIA,IB,IC наибольшее соответствует наименьшему углу треугольника (потому что x↦sinxx\mapsto\sin xx↦sinx растёт на (0,π/2)(0,\pi/2)(0,π/2)). 4) Циркумцентр OOO
- Равенство расстояний: OA=OB=OC=R.
OA=OB=OC=R. OA=OB=OC=R.
- Площади: [OBC]=12R2sin2A,[OCA]=12R2sin2B,[OAB]=12R2sin2C.
[OBC]=\tfrac12 R^2\sin 2A,\quad [OCA]=\tfrac12 R^2\sin 2B,\quad [OAB]=\tfrac12 R^2\sin 2C. [OBC]=21R2sin2A,[OCA]=21R2sin2B,[OAB]=21R2sin2C.
Сумма даёт [OBC]+[OCA]+[OAB]=12R2(sin2A+sin2B+sin2C)=[ABC],
[OBC]+[OCA]+[OAB]=\tfrac12 R^2(\sin2A+\sin2B+\sin2C)=[ABC], [OBC]+[OCA]+[OAB]=21R2(sin2A+sin2B+sin2C)=[ABC],
(можно свести к формуле a=2RsinAa=2R\sin Aa=2RsinA или использовать тождество sin2A+sin2B+sin2C=4sinAsinBsinC\sin2A+\sin2B+\sin2C=4\sin A\sin B\sin Csin2A+sin2B+sin2C=4sinAsinBsinC). - Положение OOO: если треугольник остроугольный, OOO внутри; прямоугольный — на гипотенузе; тупоугольный — снаружи. При OOO снаружи некоторые из ориентированных площадей могут быть взяты со знаком, но обычная сумма модулей частей при разбиении фигуры учитывается через ориентированные площади. 5) Минимизация суммы расстояний - Точка, минимизирующая PA+PB+PCPA+PB+PCPA+PB+PC, это точка Ферма (Торричелли) — если все углы треугольника < 120∘120^\circ120∘, то в ней углы между лучами к вершинам равны 120∘120^\circ120∘. Если в треугольнике есть угол ≥120∘\ge120^\circ≥120∘, то минимизирующей является соответствующая вершина. Короткие итоговые наблюдения: - Для любой внутренней PPP площади трёх треугольников с вершиной в PPP всегда суммируются в площадь исходного треугольника. - G даёт равные по площади три части и минимизирует сумму квадратов расстояний. - I даёт площади, пропорциональные сторонам, и равные расстояния до сторон; расстояния до вершин выражаются через r/sin(A/2)r/\sin(A/2)r/sin(A/2). - O даёт равные расстояния до вершин (RRR); площади частей выражаются через 12R2sin2α\tfrac12R^2\sin2\alpha21R2sin2α. Если нужно, могу привести отдельные детальные доказательства любого из пунктов.
1) Общее равенство площадей
- Для любой точки PPP внутри треугольника
[PAB]+[PBC]+[PCA]=[ABC]. [PAB]+[PBC]+[PCA]=[ABC].
[PAB]+[PBC]+[PCA]=[ABC]. Доказательство: например, через высоты к сторонам. Обозначим расстояния от PPP до сторон BC,CA,ABBC,CA,ABBC,CA,AB как ha,hb,hch_a,h_b,h_cha ,hb ,hc . Тогда
[PBC]=12aha,[PCA]=12bhb,[PAB]=12chc, [PBC]=\tfrac12 a h_a,\quad [PCA]=\tfrac12 b h_b,\quad [PAB]=\tfrac12 c h_c,
[PBC]=21 aha ,[PCA]=21 bhb ,[PAB]=21 chc , и суммы высот по каждой стороне дают высоту полного треугольника, потому сумма равна [ABC][ABC][ABC].
2) Центр тяжести GGG - Площади:
[GAB]=[GBC]=[GCA]=13[ABC], [GAB]=[GBC]=[GCA]=\tfrac13[ABC],
[GAB]=[GBC]=[GCA]=31 [ABC], потому что медианы делят треугольник на шесть равных по площади малых треугольников, а три такие составляют каждый из трёх указанных.
- Расстояния (квадраты):
GA2=19(2b2+2c2−a2), GA^2=\frac{1}{9}(2b^2+2c^2-a^2),
GA2=91 (2b2+2c2−a2), и суммарно
GA2+GB2+GC2=13(a2+b2+c2). GA^2+GB^2+GC^2=\frac{1}{3}(a^2+b^2+c^2).
GA2+GB2+GC2=31 (a2+b2+c2). - Для любой точки PPP выполняется
PA2+PB2+PC2=3 PG2+(GA2+GB2+GC2), PA^2+PB^2+PC^2=3\,PG^2+(GA^2+GB^2+GC^2),
PA2+PB2+PC2=3PG2+(GA2+GB2+GC2), откуда следует неравенство
PA2+PB2+PC2≥GA2+GB2+GC2 PA^2+PB^2+PC^2\ge GA^2+GB^2+GC^2
PA2+PB2+PC2≥GA2+GB2+GC2 с равенством только при P=GP=GP=G. То есть GGG минимизирует сумму квадратов расстояний до вершин.
3) Инцентр III - Площади треугольников с вершиной III:
[IBC]=12ar,[ICA]=12br,[IAB]=12cr, [IBC]=\tfrac12 a r,\quad [ICA]=\tfrac12 b r,\quad [IAB]=\tfrac12 c r,
[IBC]=21 ar,[ICA]=21 br,[IAB]=21 cr, поэтому
[IBC]:[ICA]:[IAB]=a:b:c,[IBC]+[ICA]+[IAB]=rs=[ABC]. [IBC]:[ICA]:[IAB]=a:b:c,\qquad [IBC]+[ICA]+[IAB]=r s=[ABC].
[IBC]:[ICA]:[IAB]=a:b:c,[IBC]+[ICA]+[IAB]=rs=[ABC]. (Здесь rrr — расстояние III до каждой стороны.)
- Расстояния IA,IB,ICIA,IB,ICIA,IB,IC:
IA=rsinA2,IB=rsinB2,IC=rsinC2. IA=\frac{r}{\sin\frac{A}{2}},\quad IB=\frac{r}{\sin\frac{B}{2}},\quad IC=\frac{r}{\sin\frac{C}{2}}.
IA=sin2A r ,IB=sin2B r ,IC=sin2C r . Следствие: среди IA,IB,ICIA,IB,ICIA,IB,IC наибольшее соответствует наименьшему углу треугольника (потому что x↦sinxx\mapsto\sin xx↦sinx растёт на (0,π/2)(0,\pi/2)(0,π/2)).
4) Циркумцентр OOO - Равенство расстояний:
OA=OB=OC=R. OA=OB=OC=R.
OA=OB=OC=R. - Площади:
[OBC]=12R2sin2A,[OCA]=12R2sin2B,[OAB]=12R2sin2C. [OBC]=\tfrac12 R^2\sin 2A,\quad [OCA]=\tfrac12 R^2\sin 2B,\quad [OAB]=\tfrac12 R^2\sin 2C.
[OBC]=21 R2sin2A,[OCA]=21 R2sin2B,[OAB]=21 R2sin2C. Сумма даёт
[OBC]+[OCA]+[OAB]=12R2(sin2A+sin2B+sin2C)=[ABC], [OBC]+[OCA]+[OAB]=\tfrac12 R^2(\sin2A+\sin2B+\sin2C)=[ABC],
[OBC]+[OCA]+[OAB]=21 R2(sin2A+sin2B+sin2C)=[ABC], (можно свести к формуле a=2RsinAa=2R\sin Aa=2RsinA или использовать тождество sin2A+sin2B+sin2C=4sinAsinBsinC\sin2A+\sin2B+\sin2C=4\sin A\sin B\sin Csin2A+sin2B+sin2C=4sinAsinBsinC).
- Положение OOO: если треугольник остроугольный, OOO внутри; прямоугольный — на гипотенузе; тупоугольный — снаружи. При OOO снаружи некоторые из ориентированных площадей могут быть взяты со знаком, но обычная сумма модулей частей при разбиении фигуры учитывается через ориентированные площади.
5) Минимизация суммы расстояний
- Точка, минимизирующая PA+PB+PCPA+PB+PCPA+PB+PC, это точка Ферма (Торричелли) — если все углы треугольника < 120∘120^\circ120∘, то в ней углы между лучами к вершинам равны 120∘120^\circ120∘. Если в треугольнике есть угол ≥120∘\ge120^\circ≥120∘, то минимизирующей является соответствующая вершина.
Короткие итоговые наблюдения:
- Для любой внутренней PPP площади трёх треугольников с вершиной в PPP всегда суммируются в площадь исходного треугольника.
- G даёт равные по площади три части и минимизирует сумму квадратов расстояний.
- I даёт площади, пропорциональные сторонам, и равные расстояния до сторон; расстояния до вершин выражаются через r/sin(A/2)r/\sin(A/2)r/sin(A/2).
- O даёт равные расстояния до вершин (RRR); площади частей выражаются через 12R2sin2α\tfrac12R^2\sin2\alpha21 R2sin2α.
Если нужно, могу привести отдельные детальные доказательства любого из пунктов.