F16 Метод площадей (отношения через площади)

Идея метода: любое отношение отрезков в треугольнике можно выразить через отношение площадей подходящих треугольников — и это часто проще, чем работать с длинами напрямую.

Центральный принцип: если два треугольника имеют общую высоту, то их площади относятся как основания. Если общего основания нет — площадь треугольника с заданными сторонами и углом равна $\frac{1}{2} ab \sin C$, что позволяет сравнивать любые треугольники через произведения сторон и синусов.

Метод F16 отличается от F6 («двойной подсчёт площадей»): там мы ищем два разных способа посчитать одну и ту же площадь, чтобы получить тождество. Здесь мы переводим геометрическую задачу об отрезках в язык площадей: берём нужный отрезок как основание, строим вспомогательный треугольник, выражаем через него площадь — и получаем пропорцию.

Аналогия: представь, что площадь — это «валюта», в которой удобно считать все геометрические соотношения. Вместо того чтобы работать с длинами в координатах или через теорему косинусов, мы «оплачиваем» каждый отрезок его вкладом в площадь — и баланс немедленно даёт нужное соотношение.

1. Основная лемма: общая высота

Если треугольники $ABX$ и $CBX$ имеют общее основание $BX$, то$$\frac{S_{ABX}}{S_{CBX}} = \frac{AX'}{CX'} \quad \Longleftrightarrow \quad \frac{S_{ABX}}{S_{CBX}} = \frac{h_A}{h_C},$$ где $h_A$, $h_C$ — высоты из $A$ и $C$ на $BX$. Более просто: если два треугольника делят общую высоту, их площади относятся как соответствующие основания.

Условие: общая высота должна быть ненулевой. Применять: чтобы выразить отношение $AM:MC$ через $S_{ABM}:S_{CBM}$.

2. Лемма о произведении синусов (три синуса)

Для точки $D$ внутри $\triangle ABC$ и чевианы $AD$ (пересекает $BC$ в точке $X$):$$\frac{BX}{XC} = \frac{S_{ABD}}{S_{ACD}} = \frac{AB \cdot AD \sin(\angle BAD)}{AC \cdot AD \sin(\angle CAD)} = \frac{AB \sin(\angle BAD)}{AC \sin(\angle CAD)}.$$

Условие: точка $D$ фиксирована, чевиана не вырождена. Применять: для вычисления отношения, в котором чевиана делит противоположную сторону.

3. Теорема Чевы через площади

Чевианы $AA_1$, $BB_1$, $CC_1$ конкуррентны тогда и только тогда, когда$$\frac{BA_1}{A_1C} \cdot \frac{CB_1}{B_1A} \cdot \frac{AC_1}{C_1B} = 1.$$

Доказательство через площади: $\dfrac{BA_1}{A_1C} = \dfrac{S_{ABA_1}}{S_{ACA_1}} = \dfrac{S_{PBA_1}}{S_{PCA_1}}$, где $P$ — точка пересечения. Перемножая три таких дроби, получаем 1. Применять: для доказательства конкуррентности трёх чевиан.

4. Теорема Менелая через площади

Точки $D$ на $BC$, $E$ на $CA$, $F$ на $AB$ (или их продолжениях) коллинеарны тогда и только тогда, когда$$\frac{BD}{DC} \cdot \frac{CE}{EA} \cdot \frac{AF}{FB} = 1$$ (с учётом знаков при точках вне сторон). Применять: для доказательства коллинеарности трёх точек.

5. Формула площади через синус

$$S_{ABC} = \frac{1}{2} AB \cdot AC \cdot \sin(\angle BAC).$$

Условие: известны две стороны и угол между ними. Применять: для сравнения площадей треугольников с общей вершиной через отношение сторон и синусов углов.

• Перейти от «отношения отрезков» к «отношению площадей». Если нужно найти $AM:MC$, рассмотри треугольники $ABM$ и $CBM$ с общей высотой из $B$: $\dfrac{AM}{MC} = \dfrac{S_{ABM}}{S_{CBM}}$.

• Разбить большой треугольник на части точкой внутри. Если точка $P$ лежит внутри $\triangle ABC$, то $S_{ABP} + S_{BCP} + S_{CAP} = S_{ABC}$. Это автоматически даёт уравнение на отношение площадей.

• Применить чевиану: выразить $BX/XC$ через $S_{ABP}/S_{ACP}$. Для любой точки $P$ и чевианы $AP$ (где $X$ на $BC$): $\dfrac{BX}{XC} = \dfrac{S_{ABP}}{S_{ACP}}$.

• Применить лемму трёх синусов для углов. Если отрезок делит угол в отношении $\alpha:\beta$, вычисли отношение площадей через $\sin \alpha / \sin \beta$.

• Доказать теорему Чевы или Менелая перемножением трёх дробей. Запиши каждое из трёх отношений через площади с общей вершиной (точкой пересечения), затем перемножи — промежуточные площади сократятся.

• Найти долю площади подтреугольника. Если $D$ делит $BC$ в отношении $m:n$, то $S_{ABD}/S_{ABC} = m/(m+n)$ — используй для нахождения неизвестных координат точки пересечения.

Поверхностные признаки (что буквально написано):
- Задача просит найти отношение $AM:MB$, $BD:DC$ или «в каком отношении прямая делит сторону».
- Три чевианы в треугольнике; нужно доказать, что они пересекаются в одной точке.
- Три точки на сторонах треугольника; нужно доказать коллинеарность.

Структурные признаки (форма выражения, объекты):
- В задаче фигурируют медианы, биссектрисы, высоты или другие «специальные» чевианы треугольника.
- Есть точка внутри треугольника, соединённая с вершинами или точками на сторонах.
- Задача про «центр тяжести», «точку пересечения медиан» или аналогичные точки треугольника.

Цель задачи (что от тебя хотят):
- Найти конкретное числовое отношение отрезков.
- Доказать конкуррентность трёх чевиан (применяй теорему Чевы).
- Доказать коллинеарность трёх точек на сторонах треугольника (применяй теорему Менелая).

Задача 1. Медианы делят друг друга в отношении 2:1

Условие: В треугольнике $ABC$ медианы $AA_1$, $BB_1$, $CC_1$ пересекаются в точке $M$. Докажите, что $AM:MA_1 = 2:1$.

Источник: Классика, тренировочная.

Как думать (рассуждение ученика):
1. Вижу медианы, точку их пересечения. Нужно найти отношение. Триггер: отношение отрезков чевианы → метод площадей!
2. Ключевая идея: $AM/MA_1 = S_{ABM}/S_{A_1BM}$... нет, лучше — $AM/MA_1 = S_{ABC_M}/S_{...}$. Попробую разбить треугольник точкой $M$.
3. Первый ход: выражу $AM:MA_1$ через площади треугольников с общей высотой из $B$.

Решение:

Рассмотрим треугольники $ABM$ и $A_1BM$. У них общее основание $BM$, поэтому$$\frac{AM}{MA_1} = \frac{S_{ABM}}{S_{A_1BM}}.$$

Теперь заметим: $A_1$ — середина $BC$, значит $S_{ABA_1} = S_{ACA_1}$ (треугольники с общей высотой из $A$ и равными основаниями $BA_1 = A_1C$).

Обозначим $S_{ABM} = x$, $S_{BCM} = y$, $S_{CAM} = z$. Тогда$$S_{ABA_1} = S_{ABM} + S_{BA_1M} = x + \frac{y}{\text{...}}.$$

Используем более прямой путь. Из $A_1$ — середины $BC$:$$S_{ABA_1} = S_{ACA_1} = \frac{1}{2} S_{ABC}.$$

Поскольку $S_{ABA_1} = S_{ABM} + S_{MBA_1}$ и $S_{ACA_1} = S_{ACM} + S_{MCA_1}$:

Обозначим $S_{ABM} = p$, $S_{BCM} = q$, $S_{CAM} = r$, $p + q + r = S$.

Чевиана $AA_1$ ($A_1$ — середина $BC$): $S_{ABA_1} = S_{ACA_1}$, то есть $(p + S_{MBA_1}) = (r + S_{MA_1C})$. Заметим, что $S_{MBA_1} = S_{MA_1C}$ (у $MA_1$ — общая высота из $M$, а $BA_1 = A_1C$). Тогда $p = r$, аналогично из симметрии $q = r$. Значит $p = q = r = S/3$.

Теперь: $\dfrac{AM}{MA_1} = \dfrac{S_{ABM} + S_{ACM}}{S_{MBA_1} + S_{MCA_1}} = \dfrac{p + r}{q/2 + q/2}$... Используем общую высоту из $B$:$$\frac{AM}{MA_1} = \frac{S_{ABM}}{S_{A_1BM}}.$$ $S_{A_1BM} = S_{BCM}/2 = q/2 = S/6$ (так как $A_1$ делит $BC$ пополам, а $S_{BCM} = q$). Итого:$$\frac{AM}{MA_1} = \frac{p}{q/2} = \frac{S/3}{S/6} = 2.$$

Ответ: $AM:MA_1 = 2:1$.

Что в этой задаче было главным: обозначить площади трёх «долей» треугольника как $p, q, r$ и воспользоваться тем, что из $A_1$ — середины стороны — следует $p = r$. Всё решение — алгебра с площадями.

Задача 2. Чевианы и теорема Чевы

Условие: На сторонах $BC$, $CA$, $AB$ треугольника $ABC$ взяты точки $A_1$, $B_1$, $C_1$ такие, что $BA_1:A_1C = 1:2$, $CB_1:B_1A = 1:2$, $AC_1:C_1B = 1:2$. Докажите, что прямые $AA_1$, $BB_1$, $CC_1$ конкуррентны.

Источник: Тренировочная (иллюстрация теоремы Чевы).

Как думать (рассуждение ученика):
1. Три чевианы, нужна конкуррентность. Триггер: теорема Чевы!
2. Проверю произведение: $\dfrac{BA_1}{A_1C} \cdot \dfrac{CB_1}{B_1A} \cdot \dfrac{AC_1}{C_1B} = ?$ 3. Первый ход: подставляю данные отношения.

Решение:

По теореме Чевы чевианы $AA_1$, $BB_1$, $CC_1$ конкуррентны тогда и только тогда, когда$$\frac{BA_1}{A_1C} \cdot \frac{CB_1}{B_1A} \cdot \frac{AC_1}{C_1B} = 1.$$

Подставляем: $\dfrac{1}{2} \cdot \dfrac{1}{2} \cdot \dfrac{1}{2} = \dfrac{1}{8} \neq 1$.

Ой! Значит, при данных отношениях чевианы не конкуррентны (что поучительно: симметричные отношения, но не равные 1). Это контрпример — прямые $AA_1$, $BB_1$, $CC_1$ образуют так называемый «треугольник Рауса».

Изменим условие: $BA_1:A_1C = 1:2$, $CB_1:B_1A = 2:1$, $AC_1:C_1B = 1:1$. Тогда$$\frac{1}{2} \cdot \frac{2}{1} \cdot \frac{1}{1} = 1. \quad \checkmark$$

Теорема Чевы выполнена, значит $AA_1$, $BB_1$, $CC_1$ конкуррентны.

Чтобы доказать теорему Чевы через площади: для точки $P = AA_1 \cap BB_1$:$$\frac{BA_1}{A_1C} = \frac{S_{ABP}}{S_{ACP}}, \quad \frac{CB_1}{B_1A} = \frac{S_{BCP}}{S_{ABP}}, \quad \frac{AC_1}{C_1B} = \frac{S_{ACP}}{S_{BCP}}.$$ Перемножая: $\dfrac{S_{ABP}}{S_{ACP}} \cdot \dfrac{S_{BCP}}{S_{ABP}} \cdot \dfrac{S_{ACP}}{S_{BCP}} = 1$ — все площади сократились. $\blacksquare$

Ответ: Теорема Чевы проверяется подстановкой; доказательство самой теоремы — перемножение трёх площадных дробей.

Что в этой задаче было главным: понять, что произведение трёх отношений через площади всегда телескопически сокращается до 1, если точки взяты «правильно». Это и есть суть теоремы Чевы.

• Ошибка: перепутать «общая высота» и «общее основание». → Почему неверно: пропорция $S_1/S_2 = b_1/b_2$ работает только при общей высоте. → Как избежать: перед применением леммы явно проверь, что высоты одинаковы (то есть оба треугольника имеют одну вершину на одной прямой).

• Ошибка: в теореме Менелая забыть про знаки (точки вне стороны). → Почему неверно: если точка делит сторону снаружи, отношение берётся со знаком «$-$», иначе произведение не равно 1. → Как избежать: используй ориентированные отношения или явно укажи, какие точки вне сторон.

• Ошибка: применить теорему Чевы к точкам вне сторон без учёта знаков. → Почему неверно: для «внешних» чевиан формула Чевы требует ровно двух или нуля внешних точек (чётное число). → Как избежать: запомни: при нечётном числе внешних точек произведение равно $-1$, при чётном — $+1$.

• Ошибка: считать $S_{ABM}/S_{CBM} = AM/CM$ без проверки, что $M$ лежит на $AC$. → Почему неверно: лемма работает лишь при условии общей высоты из $B$; если $M$ не на $AC$, высоты разные. → Как избежать: рисуй вспомогательную фигуру и явно указывай общую высоту.

• Ошибка: смешивать F16 и F6. → Почему неверно: в F6 ищут два способа посчитать одну площадь; в F16 площадь — лишь инструмент для выражения отношений отрезков. → Как избежать: если тебе нужно отношение — это F16; если нужно тождество площадей — это F6.