Математика · 8 класс · Олимпиада СПб 2021/22 · районный тур

Задача 4. Сумма двух отрезков

Условие

На стороне BCBC треугольника ABCABC отмечены точки DD и EE так, что BD=DEBD=DE и AD=ACAD=AC. На отрезке ADAD отмечена точка XX, а на отрезке ACAC — точка YY так, что DX=AYDX=AY. Докажите, что EX+DY⩾ABEX+DY\geqslant AB.

Второй вариант этой задачи

На олимпиаде соседи по парте получают разные варианты. Условие второго варианта:

На основании ACAC равнобедренного треугольника ABCABC отмечена точка FF, а на продолжении ACAC за точку AA — точка GG так, что AF=AGAF=AG. На стороне ABAB отмечена точка DD, а на стороне BCBC — точка EE так, что AD=BEAD=BE. Докажите, что AE+DF⩾BGAE+DF\geqslant BG.

Его решение и ответ — в последнем шаге разбора.

О задаче · 8 класс
Олимпиада
Санкт-Петербургская олимпиада школьников по математике, 88-я (2022)
Этап
I тур (районный)
Предмет / класс
Математика · 8 класс
Дата
4 декабря 2021 г.

Начерти удобный треугольник на клетчатой бумаге: DD в узле, AA на 33 клетки правее и на 44 выше, CC на 66 клеток правее DD — тогда AD=AC=5AD = AC = 5. Возьми BD=DE=4BD = DE = 4, отметь несколько пар точек XX, YY и измерь EX+DYEX + DY. Бывает ли сумма меньше ABAB? А ровно ABAB? В модели ты двигаешь XX и сразу видишь сумму, а когда появится идея доказательства — можешь проверить её там же.

Задача на доказательство: нужно доказать неравенство для любого положения точек XX и YY.

Записать идею

Личный черновик для заметок и расчётов. Он никуда не отправляется и не проверяется.

Исследуй задачу

Самостоятельное исследованиеМожно ли обогнать AB?

Пробуй свои варианты. Разбор останется закрытым.

Исследуй задачу

Можно ли обогнать AB?

Двигай точку X по AD — точка Y едет по AC так, что AY = DX, — и следи за суммой EX + DY. Бывает ли она меньше AB? Где она меньше всего? Когда появится идея доказательства, поставь свою точку P — модель проверит её для всех положений X.

Если модель не открылась (выключен JavaScript или страница загрузилась не полностью), условие, подсказки и разбор доступны и без неё.

Подсказка для решения без модели

Без JavaScript модель не работает. Попробуй на клетчатой бумаге: D(0; 0), A(3; 4), C(6; 0), B(−4; 0), E(4; 0). Отмечай X на AD и Y на AC так, чтобы DX = AY (например, 1, 2, 3, 4 клетки), измеряй EX и DY и сравнивай сумму с AB ≈ 8,06.

Подсказка 1

Отрезки EXEX и DYDY выходят из разных точек, поэтому их сумму трудно сравнить с ABAB. Было бы удобно заменить DYDY равным ему отрезком, который начинается в точке XX: тогда EXEX и новый отрезок сложатся в ломаную, идущую из EE, а ломаная не короче отрезка, соединяющего её концы. Подумай, какой треугольник может быть равен треугольнику DAYDAY и при этом иметь вершину XX.

Подсказка 2

Сдвинь отрезок CACA параллельно так, чтобы точка CC попала в DD, и обозначь через PP точку, в которую попадёт AA. Тогда DP=CA=ADDP = CA = AD и DP∥ACDP \parallel AC. Сравни треугольники PDXPDX и DAYDAY, а потом треугольники PDEPDE и ADBADB.

Разобрать решение по шагам
1

Как расположены точки и какие углы равны

Раз BD=DEBD = DE и точки BB и EE разные, точка DD — середина отрезка BEBE. Значит, на стороне BCBC точки идут в таком порядке: BB, DD, EE, CC (точка EE может совпасть с CC), и DD не совпадает с CC.

Треугольник ADCADC равнобедренный: AD=ACAD = AC. Углы при его основании DCDC равны; обозначим их γ\gamma:

∠ADC=∠ACD=γ.\angle ADC = \angle ACD = \gamma.

Угол ADBADB смежный с углом ADCADC, поэтому

∠ADB=180∘−γ.\angle ADB = 180^\circ - \gamma.
2

Переносим отрезок DYDY в точку XX

Отрезки EXEX и DYDY начинаются в разных точках, и сложить их «в одну линию» не получается. Попробуем заменить DYDY равным отрезком, который начинается в XX: тогда вместе с EXEX получится ломаная.

Отрезок DYDY — сторона треугольника DAYDAY, в котором AY=DXAY = DX, а AD=ACAD = AC. Нужен равный ему треугольник, в котором на месте стороны AYAY стоит DXDX. Для этого сдвинем отрезок CACA параллельно так, чтобы точка CC попала в DD; точку, в которую попадёт AA, назовём PP. Получился параллелограмм ACDPACDP, поэтому

DP=CA=AD,DP∥AC.DP = CA = AD, \qquad DP \parallel AC.

Сравним треугольники PDXPDX и DAYDAY:

  • PD=DAPD = DA;
  • DX=AYDX = AY по условию;
  • ∠PDX=∠DAY\angle PDX = \angle DAY — это накрест лежащие углы при параллельных прямых DPDP и ACAC и секущей ADAD (точки PP и CC лежат по разные стороны от прямой ADAD).

Треугольники равны по двум сторонам и углу между ними, поэтому

PX=DY.PX = DY.
сдвиг: C → D, A → PADCPXYPD = DA, DX = AY, ∠PDX = ∠DAY⇒ △PDX = △DAY, PX = DY
Пример на клетках: D(0;0)D(0;0), A(3;4)A(3;4), C(6;0)C(6;0), DX=AY=1,5DX = AY = 1{,}5. Отрезок CACA сдвинут в DPDP (стрелки показывают сдвиг C→DC \to D и A→PA \to P), ACDPACDP — параллелограмм. Треугольники PDXPDX и DAYDAY равны: PD=DA=5PD = DA = 5, DX=AYDX = AY, отмеченные углы — накрест лежащие. Поэтому PX=DYPX = DY.
3

Отрезок EPEP равен ABAB

Теперь сравним треугольники PDEPDE и ADBADB:

  • PD=ADPD = AD (шаг 2);
  • DE=DBDE = DB по условию;
  • ∠PDE=∠ADB\angle PDE = \angle ADB.

Проверим равенство углов. Прямые DPDP и CACA параллельны, DCDC — секущая, а точки PP и AA лежат по одну сторону от неё. Поэтому углы PDCPDC и ACDACD односторонние и в сумме дают 180∘180^\circ:

∠PDC=180∘−γ.\angle PDC = 180^\circ - \gamma.

Точка EE лежит на луче DCDC, значит, ∠PDE=∠PDC=180∘−γ=∠ADB\angle PDE = \angle PDC = 180^\circ - \gamma = \angle ADB.

Треугольники равны по двум сторонам и углу между ними, поэтому

PE=AB.PE = AB.
ABDECPAD = PD, DB = DE, ∠ADB = ∠PDE = 180° − γ⇒ △ADB = △PDE, PE = AB
Тот же треугольник, BD=DE=4BD = DE = 4. Треугольники ADBADB и PDEPDE равны: AD=PD=5AD = PD = 5, DB=DEDB = DE, углы при DD оба равны 180∘−γ180^\circ - \gamma. Поэтому PE=AB=72+42=65PE = AB = \sqrt{7^2 + 4^2} = \sqrt{65}.
4

Ломаная не короче отрезка

Из шага 2 получаем EX+DY=EX+XPEX + DY = EX + XP — это длина ломаной EXPEXP. Ломаная не короче отрезка EPEP, который соединяет её концы (неравенство треугольника для точек EE, XX, PP; если они лежат на одной прямой, оно тоже верно). С шагом 3:

EX+DY=EX+XP⩾EP=AB,EX + DY = EX + XP \geqslant EP = AB,

что и требовалось доказать.

Оценка точная. Точки EE и PP лежат по разные стороны от прямой ADAD, поэтому отрезок EPEP пересекает её, причём между прямыми BCBC и APAP (они параллельны), то есть на отрезке ADAD. Если взять XX в этой точке, ломаная EXPEXP станет отрезком, и получится ровно EX+DY=ABEX + DY = AB.

Равенство в неравенстве треугольника возможно только тогда, когда XX лежит на отрезке EPEP. Отрезок EPEP пересекает ADAD в единственной точке, поэтому и положение равенства единственно.

ABDECPXYX₀EX + DY = EX + XP ≥ EP = ABравенство — при X = X₀ на отрезке EP
EX+DY=EX+XPEX + DY = EX + XP — длина ломаной EXPEXP (здесь DX=3,5DX = 3{,}5), она длиннее отрезка EP=ABEP = AB. Сумма равна ABAB только при X=X0X = X_0 — там, где EPEP пересекает ADAD (при BD=4BD = 4 это DX=2DX = 2).
5

Второй вариант

Это та же задача с другими буквами: вершина BB равнобедренного треугольника играет роль AA, вершина AA — роль DD (она середина отрезка GFGF, как DD — середина BEBE), GG и FF — роли BB и EE, а DD и EE — роли XX и YY.

Сдвинем отрезок CBCB параллельно так, чтобы CC попала в AA; пусть BB попадёт в точку PP. Тогда AP=CB=ABAP = CB = AB и AP∥BCAP \parallel BC.

  • Треугольники PADPAD и ABEABE равны: PA=ABPA = AB, AD=BEAD = BE, ∠PAD=∠ABE\angle PAD = \angle ABE (накрест лежащие при AP∥BCAP \parallel BC и секущей ABAB). Поэтому PD=AEPD = AE.
  • Треугольники PAFPAF и BAGBAG равны: PA=BAPA = BA, AF=AGAF = AG, а ∠PAF=180∘−∠BCA=180∘−∠BAC=∠BAG\angle PAF = 180^\circ - \angle BCA = 180^\circ - \angle BAC = \angle BAG (односторонние углы и равные углы при основании). Поэтому PF=BGPF = BG.

Значит,

AE+DF=PD+DF⩾PF=BG.AE + DF = PD + DF \geqslant PF = BG.

Равенство — когда DD лежит на отрезке PFPF. Модель переключается на второй вариант кнопкой «2 вариант».

Равенство возможно только тогда, когда точка ломаной лежит на отрезке, соединяющем её концы. Этот отрезок пересекает сторону с подвижной точкой в единственном месте, поэтому положение равенства единственно.

Проверка

Проверим на клетчатом примере с рисунков: D(0;0)D(0;0), A(3;4)A(3;4), C(6;0)C(6;0), B(−4;0)B(-4;0), E(4;0)E(4;0). Тогда AD=AC=5AD = AC = 5, BD=DE=4BD = DE = 4, P(−3;4)P(-3;4) и

AB=EP=72+42=65≈8,06.AB = EP = \sqrt{7^2 + 4^2} = \sqrt{65} \approx 8{,}06.

При DX=AY=2DX = AY = 2 получаем X(1,2; 1,6)X(1{,}2;\,1{,}6) и Y(4,2; 2,4)Y(4{,}2;\,2{,}4), откуда EX=10,4=22,6EX = \sqrt{10{,}4} = 2\sqrt{2{,}6} и DY=PX=23,4=32,6DY = PX = \sqrt{23{,}4} = 3\sqrt{2{,}6}. Сумма 52,6=655\sqrt{2{,}6} = \sqrt{65} равна ABAB — это случай равенства: XX лежит на отрезке EPEP. При DX=3,5DX = 3{,}5 сумма 11,45+27,45≈3,38+5,24=8,62\sqrt{11{,}45} + \sqrt{27{,}45} \approx 3{,}38 + 5{,}24 = 8{,}62 больше ABAB.

Компьютер проверил 20 00020\,000 случайных треугольников с AD=ACAD = AC и по 401401 положению XX в каждом: сумма ни разу не меньше ABAB, всегда PX=DYPX = DY и PE=ABPE = AB, а в точке пересечения EPEP с ADAD сумма равна ABAB. Если формально допустить E=BE = B (тогда BD=DEBD = DE выполнено при любом DD), неравенство всё равно верно — это разобрано в проверках доказательства.

Ответ

1 вариант. Доказано: EX+DY⩾ABEX + DY \geqslant AB при любом выборе точек XX и YY с DX=AYDX = AY. Равенство достигается ровно при одном положении XX — в точке пересечения отрезка ADAD с отрезком EPEP, где PP — точка из разбора.

2 вариант. Доказано: AE+DF⩾BGAE + DF \geqslant BG; равенство — ровно при одном положении DD.

Ответ

1 вариант. Доказано: EX+DY⩾ABEX + DY \geqslant AB при любом выборе точек XX и YY с DX=AYDX = AY. Равенство достигается ровно при одном положении XX — в точке пересечения отрезка ADAD с отрезком EPEP, где PP — точка из разбора.

2 вариант. Доказано: AE+DF⩾BGAE + DF \geqslant BG; равенство — ровно при одном положении DD.

Главная идея

Сдвиг отрезка CACA в точку DD даёт точку PP, из которой отрезок DYDY «виден» как PXPX, а сторона ABAB — как PEPE (две пары равных треугольников). Сумма EX+DYEX + DY превращается в ломаную EXPEXP, а ломаная не короче отрезка EP=ABEP = AB.

Нужно доказать, что сумма двух отрезков, выходящих из разных точек, не меньше третьего отрезка? Замени одно слагаемое равным ему отрезком с общим концом (равные треугольники, параллельный перенос, симметрия) — сумма станет ломаной, и останется неравенство треугольника. Подсказкой служат пары равных длин в условии (DX=AYDX = AY, AD=ACAD = AC, BD=DEBD = DE): каждая из них становится парой сторон будущих равных треугольников.

Где легко ошибиться

Проверить неравенство на одном-двух чертежах или только в крайних положениях (X=DX = D или X=AX = A) и считать это доказательством: равенство достигается при «среднем» положении XX, так что крайние случаи ничего не доказывают. Ещё ошибка — начать с AB⩽AX+XBAB \leqslant AX + XB: угол XDBXDB тупой, поэтому XB>XEXB > XE, и эта цепочка ведёт не в ту сторону.

Источник и авторство

Санкт-Петербургская олимпиада школьников по математике · 88-я олимпиада (2022 год) · I тур (районный), 4 декабря 2021 г. · 8 класс, задача 4. Листки 7 и 8 классов этого тура озаглавлены также «Районный этап Всероссийской олимпиады школьников».

Условия (PDF организатора, первый вариант) ↗ · Листки олимпиады, оба варианта (ZIP организатора) ↗ · Страница олимпиады 2022 года ↗ · Сайт олимпиады ↗

Условие первого варианта — из файла организатора, второй вариант переписан с листка. Подсказки, решение и модель — Popov Academy. Организатор не публикует решений районного тура. Ответы обоих вариантов получены двумя независимыми решениями и совпали; где можно, проверены перебором или вычислением.

На сайте олимпиады: «Распространение представленных материалов разрешается и приветствуется.»

Продолжить тему: Треугольники и углы →
Увеличенный рисунок