Для доказательства данного неравенства воспользуемся методом математической индукции.
Шаг 1: Базисное доказательство
Для a, b, c = 1/2 неравенство становится равенством:
1/4 + 1/4 + 1/4 + 1/4 = 1.
Шаг 2: Предположение индукции
Предположим, что неравенство выполняется для некоторых a, b, c из отрезка (0,1).
Шаг 3: Доказательство на следующем шаге индукции
Рассмотрим a’, b’, c’ такие, что 0 < a' < a, 0 < b' < b, 0 < c' < c.
Используем предположение индукции для неравенства с прошлого шага, заменив a на a', b на b', c на c':
a'/(b'+c'+1) + b'/(c'+a'+1) + c'/(a'+b'+1) + (1-a')(1-b')(1-c') <= 1.
Чтобы доказать решение, нужно показать, что неравенство выполняется для a, b, c.
Раскроем скобки (1-a')(1-b')(1-c'):
1 - (a' + b' + c') + (a'b' + b'c' + c'a') - a'b'c' <= 1.
Поскольку a', b', c' < a, b, c, то сумма a' + b' + c' меньше суммы a + b + c.
Аналогичным образом, a'b' + b'c' + c'a' меньше a'b + bc + ca.
Кроме того, a'b'c' меньше abc.
Следовательно, получаем:
1 - (a' + b' + c') + (a'b' + b'c' + c'a') - a'b'c' <= 1 - (a + b + c) + (ab + bc + ca) - abc.
Сокращая общие слагаемые на обеих сторонах, получаем:
ab + bc + ca - abc <= ab + bc + ca - abc.
Таким образом, неравенство выполняется и для a, b, c.
Шаг 4: Заключение
Из базисного доказательства и предположения индукции следует, что неравенство выполняется для любых a, b, c из отрезка (0,1).