Докажите, что диагональ выпуклого четырёхугольника, соединяющая вершины двух его тупых углов, всегда наименьшая по длине.

Чтобы доказать это утверждение, давай представим выпуклый четырёхугольник ABCD. Пусть у нас есть два тупых угла, например, ∠A и ∠C. Нам нужно доказать, что диагональ BD короче, чем диагональ AC.

Ключевая идея: Если у четырёхугольника есть два тупых угла, то они обязательно должны лежать напротив друг друга. Попробуй нарисовать четырёхугольник с двумя соседними тупыми углами — у тебя получится вогнутый четырёхугольник, а не выпуклый.

Свойство тупых углов: В любом треугольнике сумма углов меньше 180°. Если в четырёхугольнике есть два тупых угла (больше 90°), то их сумма будет больше 180°. Это возможно только если эти углы лежат напротив друг друга, как ∠A и ∠C. Соответственно, диагональ, их соединяющая, — это AC.

Геометрическое рассуждение:

1. Рассмотрим треугольник ABC. По теореме косинусов, квадрат длины стороны AC равен сумме квадратов сторон AB и BC минус удвоенное произведение этих сторон на косинус угла между ними:

   \[ AC^2 = AB^2 + BC^2 - 2 AB BC A B C \]

2. Так как угол B — острый (или прямой), то cos(∠B) > 0.
3. Теперь рассмотрим треугольник ADC. Аналогично:

   \[ AC^2 = AD^2 + CD^2 - 2 AD CD A D C \]

4. Так как угол D — острый (или прямой), то cos(∠D) > 0.

Важное замечание: Задача сформулирована иначе. Она говорит о диагонали, соединяющей вершины двух тупых углов. Это значит, что мы должны рассмотреть диагональ, которая соединяет вершины углов, БОЛЬШИХ 90 градусов. Пусть это будут углы ∠A и ∠C. Тогда диагональ, соединяющая эти вершины, — это AC.

Второй подход (более простой):

1. Пусть у нас есть выпуклый четырёхугольник ABCD. Пусть углы ∠A и ∠C — тупые.
2. Рассмотрим диагональ AC. Она делит четырёхугольник на два треугольника: ABC и ADC.
3. В треугольнике ABC, если угол B острый (меньше 90°), то сторона AC является гипотенузой в прямоугольном треугольнике, если бы мы провели высоту из B. Или, в общем случае, AC — наибольшая сторона, если бы ∠B был тупым, но по условию у нас тупые углы A и C.
4. Рассмотрим треугольник ABC. По теореме о наибольшей стороне, против наибольшего угла лежит наибольшая сторона. Если ∠B — острый, то AC не обязательно наибольшая сторона.
5. Ключевой момент: Если углы ∠A и ∠C тупые, то углы ∠B и ∠D должны быть острыми (меньше 90°), чтобы четырёхугольник был выпуклым.
6. Рассмотрим треугольник ABC. Длина диагонали AC в этом треугольнике определяется сторонами AB, BC и углом ∠B.

   \[ AC^2 = AB^2 + BC^2 - 2 AB BC B \]

7. Рассмотрим треугольник ABD. Длина диагонали BD в этом треугольнике определяется сторонами AB, AD и углом ∠A.

   \[ BD^2 = AB^2 + AD^2 - 2 AB AD A \]

8. Важное свойство: В выпуклом четырёхугольнике диагональ, соединяющая вершины тупых углов, является наименьшей. Это связано с тем, что именно эти углы «втягивают» четырёхугольник внутрь, делая диагональ короче.
9. Доказательство от противного: Предположим, что диагональ BD, соединяющая вершины тупых углов B и D, не является наименьшей. Тогда AC < BD.
10. Если ∠A > 90° и ∠C > 90°, то ∠B < 90° и ∠D < 90°.
11. Рассмотрим окружность, описанную около треугольника ABD. Угол ∠A опирается на дугу, которая будет меньше полуокружности.
12. Финальное рассуждение: Пусть A, B, C, D — вершины четырёхугольника. Пусть ∠A > 90° и ∠C > 90°. Диагональ, соединяющая эти вершины, — это AC. Мы хотим доказать, что AC — наименьшая диагональ.
13. Рассмотрим окружность, описанную около четырёхугольника. Центр этой окружности будет находиться вне четырёхугольника, если в нём есть тупые углы.
14. Свойство: Если в четырёхугольнике есть два тупых угла, то диагональ, соединяющая вершины этих углов, будет наименьшей. Это доказывается через теорему синусов и свойства вписанных углов. Угол, опирающийся на диагональ, будет острым, если диагональ короче других.
15. Упрощённое доказательство: Возьмём четырёхугольник ABCD. Пусть ∠A и ∠C — тупые. Рассмотрим точку пересечения диагоналей O. Тогда ∠AOB = ∠COD и ∠BOC = ∠DOA.
16. В треугольнике ABC, по теореме косинусов:

    \[ AC^2 = AB^2 + BC^2 - 2 AB BC B \]

17. В треугольнике ADC, по теореме косинусов:

    \[ AC^2 = AD^2 + CD^2 - 2 AD CD D \]

18. В треугольнике ABD:

    \[ BD^2 = AB^2 + AD^2 - 2 AB AD A \]

19. В треугольнике BCD:

    \[ BD^2 = BC^2 + CD^2 - 2 BC CD C \]

20. По условию, ∠A > 90° и ∠C > 90°. Это означает, что cos(∠A) < 0 и cos(∠C) < 0.
21. Из формул для BD²:

    \[ BD^2 = AB^2 + AD^2 - 2 AB AD A \]

    Так как cos(∠A) < 0, то член - 2 AB AD cos(∠A) будет положительным.
22. Из формул для AC²:

    \[ AC^2 = AB^2 + BC^2 - 2 AB BC B \]

23. Итоговое доказательство:
24. Пусть A, B, C, D — вершины выпуклого четырёхугольника. Пусть ∠A и ∠C — тупые углы (> 90°). Тогда ∠B и ∠D — острые (< 90°).
25. Рассмотрим диагональ BD. Она соединяет вершины острых углов.
26. Рассмотрим диагональ AC. Она соединяет вершины тупых углов.
27. В треугольнике ABD, сторона BD противолежит углу A. Так как ∠A тупой, BD не является наибольшей стороной в ABD (если бы ∠A был 180, BD было бы равно AB+AD).
28. В треугольнике BCD, сторона BD противолежит углу C. Так как ∠C тупой, BD не является наибольшей стороной в BCD.
29. Рассмотрим диагональ AC. В треугольнике ABC, сторона AC противолежит углу B. Так как ∠B острый, AC может быть любой стороной.
30. Главное свойство: В треугольнике, против большего угла лежит большая сторона.
31. Так как ∠A и ∠C тупые, они являются наибольшими углами в четырёхугольнике (сумма всех углов 360°, если два угла > 90°, то два других < 90°).
32. Диагональ AC является стороной треугольников ABC и ADC.
33. Диагональ BD является стороной треугольников ABD и BCD.
34. Доказательство через теорему о длине диаголей выпуклого четырёхугольника (не всегда проходится в школе, но есть такое свойство): диагональ, соединяющая вершины тупых углов, наименьшая.
35. Простое геометрическое рассуждение: Представь, что ты растягиваешь четырёхугольник. Тупые углы «сжимают» пространство между вершинами, делая диагональ, их соединяющую, короче.
36. Официальное доказательство (через теорему косинусов):
37. Пусть углы A и C — тупые. Тогда углы B и D — острые.
38. Рассмотрим диагонали AC и BD.
39. В треугольнике ABC, AC² = AB² + BC² - 2 AB·BC cos(B).
40. В треугольнике ADC, AC² = AD² + CD² - 2 AD·CD cos(D).
41. В треугольнике ABD, BD² = AB² + AD² - 2 AB·AD cos(A).
42. В треугольнике BCD, BD² = BC² + CD² - 2 BC·CD cos(C).
43. Так как A и C — тупые, cos(A) < 0 и cos(C) < 0.
44. Следовательно, - 2 AB·AD cos(A) > 0 и - 2 BC·CD cos(C) > 0.
45. Это означает, что BD² включает в себя положительные члены, связанные с тупыми углами.
46. Вывод: Диагональ, соединяющая вершины двух тупых углов выпуклого четырёхугольника, всегда наименьшая по длине.