Для решения данной задачи воспользуемся биномиальной теоремой: (1 + x)^n = C_n^0 + C_n^1 * x + C_n^2 * x^2 + ... + C_n^n * x^n Подставим x = 1 в данную формулу: (1 + 1)^{3k} = C_{3k}^0 + C_{3k}^1 + C_{3k}^2 + ... + C_{3k}^{3k} Заметим, что выражение (1 + 1)^{3k} можно представить в виде суммы двух выражений, используя бином Ньютона: (1 + 1)^{3k} = C_{3k}^0 + C_{3k}^1 + C_{3k}^2 + ... + C_{3k}^{3k} + C_{3k}^0 - C_{3k}^{3k} Вычитая из обеих частей данного равенства C_{3k}^0 и C_{3k}^{3k}, получим: 2^{3k} - 1 = C_{3k}^1 + C_{3k}^2 + ... + C_{3k}^{3k-1} + C_{3k}^k * 2 Заметим, что каждое из слагаемых C_{3k}^1, C_{3k}^2, ..., C_{3k}^{3k-1} является сочетанием из 3k чисел по k элементов. Таким образом, сумма всех этих сочетаний равна числу сочетаний из 3k чисел по k элементов, то есть C_{3k}^k. Следовательно, мы можем переписать полученное равенство в виде: 2^{3k} - 1 = C_{3k}^k * (1 + 2) Таким образом, получаем неравенство: C_{3k}^0 + C_{3k}^1 + C_{3k}^2 + ... + C_{3k}^{k-1} < C_{3k}^k что и требовалось доказать.