Множество целых чисел разделим на три класса: , где + обозначает операцию объединения и изначает, что множества дисъюнктны.
Данное разделение множества целых чисел существует по принципу решета Эрастофена.
. Так как при четном x выражение делится на два, а при нечетном делится на два (сумма нечетных чисел четна), то есть выражение все равно делится на два, первое условие выполнено. Докажем, что x делится на 3: Так как , то рассмотрим три случая: 1) так как . 2) для каких-то , то есть . 3) . для каких-то , то есть . Тогда для всех выражение делится на 6.
, где + обозначает операцию объединения и изначает, что множества дисъюнктны.
Данное разделение множества целых чисел существует по принципу решета Эрастофена.
.
Так как при четном x выражение делится на два, а при нечетном делится на два (сумма нечетных чисел четна), то есть выражение все равно делится на два, первое условие выполнено. Докажем, что x делится на 3:
Так как , то рассмотрим три случая:
1) так как .
2)
для каких-то , то есть .
3) .
для каких-то , то есть .
Тогда для всех выражение делится на 6.
Преобразуем выражения, воспользовавшись следующими свойствами степеней:
а^c * b^c = (ab)^c,
(a^b)^c = a^(bc),
a^b * a^c = a^(b + c).
x * x^3 * x * x^7 = x^(1 + 3 + 1 + 7) = x^12.
(-2a)^2 * (-2a) * (-2a)^5 = (-2a)^(2 + 1 + 5) = (-2a)^8 = (-1)^8 * 2^8 = 1 * 2^8 = 2^8.
c^m * c * c^2 * c^(m+1) * c = c^(m + 1 + 2 + m + 1 + 1) = c^(2m + 5).
5 * 125 * 25 = 5 * 5^3 * 5^2 = 5^(1 + 3 + 2) = 5^6.
8 * 32 * 16 = 2^3 * 2^5 * 2^4 = 2^(3 + 5 + 4) = 2^12.
3^n * 27 * 3^(n – 4) * 9 = 3^n * 3^3 * 3^(n – 4) * 3^2 = 3^(n + 3 + n – 4 + 2) = 3^(2n + 1).