Для того чтобы доказать, что разность квадратов двух нечетных чисел делится на 8, начнем с представления нечетных чисел в общем виде. Пусть \( a \) и \( b \) — два нечетных числа. Мы можем записать их в следующем виде:
\[ a = 2m + 1, \quad b = 2n + 1, \]
где \( m \) и \( n \) — любые целые числа.
Теперь найдем разность квадратов этих чисел:
\[ a^2 - b^2 = (2m + 1)^2 - (2n + 1)^2. \]
Разложим эту разность по формуле разности квадратов:
\[ a^2 - b^2 = (a - b)(a + b). \]
Теперь подставим значения \( a \) и \( b \):
\[ a - b = (2m + 1) - (2n + 1) = 2m - 2n = 2(m - n), \] \[ a + b = (2m + 1) + (2n + 1) = 2m + 2n + 2 = 2(m + n + 1). \]
Теперь подставим эти выражения обратно в формулу разности квадратов:
\[ a^2 - b^2 = (2(m - n))(2(m + n + 1)) = 4(m - n)(m + n + 1). \]
Мы видим, что разность квадратов \( a^2 - b^2 \) равна \( 4(m - n)(m + n + 1) \). Поскольку 4 является кратным 8, чтобы завершить доказательство, нам нужно показать, что \( m - n \) и \( m + n + 1 \) – это целые числа, и составляют множитель, не уменьшающий делимость на 2.
Таким образом, мы можем заключить, что разность квадратов двух нечетных чисел \( a^2 - b^2 \) делится на 8.
Это завершает доказательство.
