Обоснуйте, что при любом нечетном n значение многочлена n^3 - n

Разложим данное выражение на множители:

n^3 - n = n * (n^2 - 1) = n * (n - 1) * (n + 1) =

=(n - 1) * n * (n + 1).

Мы получили, что данное выражение при любом n есть творение трёх последовательных натуральных чисел. Одно из них будет непременно делиться на 3, а значит и все выражение будет делиться на 3.

Если n - нечетное число, то его можно представить в виде:

n = 2 * k + 1, k - естественное число.

Подставим это представление в разложение исходного выражения:

(n - 1) * n * (n + 1) = 2 * k * (2 * k + 1) * (2 * k + 2) =

= (2 * k + 1) * 4 * k * (k + 1).

Так как k и (k + 1) два поочередных естественных числа, то одно из их непременно делится на 2. Как следует, все выражение будет делится на 4 * 2 = 8.

Мы обосновали делимость выражения на 3 и на 8, а значит и делимость на 3 * 8 = 24.