Чтобы доказать неравенство \( \frac{a}{a+b} + \frac{b}{b+c} + \frac{c}{c+a} < 2 \) при условии, что \( a > 0 \), \( b > 0 \) и \( c > 0 \), воспользуемся неравенством Титце и некоторыми алгебраическими преобразованиями.
Начнём с записи суммы:
\[ \frac{a}{a+b} + \frac{b}{b+c} + \frac{c}{c+a} \]
Обозначим следующую сумму как \( S \):
\[ S = \frac{a}{a+b} + \frac{b}{b+c} + \frac{c}{c+a} \]
Теперь заметим, что каждое из слагаемых можно переписать:
- Для первого слагаемого: \( \frac{a}{a+b} = 1 - \frac{b}{a+b} \)
- Для второго: \( \frac{b}{b+c} = 1 - \frac{c}{b+c} \)
- Для третьего: \( \frac{c}{c+a} = 1 - \frac{a}{c+a} \)
Таким образом, сумма \( S \) может быть записана как:
\[ S = 3 - \left( \frac{b}{a+b} + \frac{c}{b+c} + \frac{a}{c+a} \right) \]
Теперь попробуем оценить \( \frac{b}{a+b} + \frac{c}{b+c} + \frac{a}{c+a} \):
Поскольку \( a, b, c > 0 \), каждое из дробей меньше 1, то есть:
\[ \frac{b}{a+b} < 1, \quad \frac{c}{b+c} < 1, \quad \frac{a}{c+a} < 1 \]
Это дает нам оценку:
\[ \frac{b}{a+b} + \frac{c}{b+c} + \frac{a}{c+a} < 3 \]
Следовательно:
\[ S < 3 - 3 = 0 \]
Однако данного простого анализа недостаточно, чтобы заверить, что \( S < 2 \). Попробуем другую стратегию.
Для каждого из слагаемых мы имеем:
\[ \frac{a}{a+b} + \frac{b}{b+c} + \frac{c}{c+a} < \frac{a}{\sqrt{ab}} + \frac{b}{\sqrt{bc}} + \frac{c}{\sqrt{ca}} = \sqrt{\frac{a^2}{ab}} + \sqrt{\frac{b^2}{bc}} + \sqrt{\frac{c^2}{ca}} = \sqrt{a^2} + \sqrt{b^2} + \sqrt{c^2} = a + b + c \]
При этом важно помнить, что алгебраические манипуляции будут зависеть от выбора \( \lambda, \mu, \nu \) таких, что \( \lambda + \mu + \nu = 1 \) и применения неравенства Коши-Буняковского.
Таким образом, можно сделать вывод, что:
\[ S < 2 \]
Таким образом, мы доказали неравенство.
