Реши просто через сравнимость по модулю и ее свойства

Конечно, давай решим это задание!

Задание: Известно, что (m² + n²) делится на 7. Докажите, что (m⁴ + n⁴) делится на 49.

Решение:

Раз (m² + n²) делится на 7, то можно записать, что:

m² + n² ≡ 0 (mod 7)

Теперь давай возведем обе части этого сравнения в квадрат:

(m² + n²)² ≡ 0² (mod 7)

m⁴ + 2m²n² + n⁴ ≡ 0 (mod 7)

Нам нужно доказать, что (m⁴ + n⁴) делится на 49, то есть:

m⁴ + n⁴ ≡ 0 (mod 49)

Выразим m⁴ + n⁴ из полученного выше выражения:

m⁴ + n⁴ ≡ -2m²n² (mod 7)

Теперь давай подумаем, что можно сделать дальше. Если m² + n² делится на 7, то n² можно выразить как n² ≡ -m² (mod 7). Подставим это в наше выражение m⁴ + n⁴:

m⁴ + n⁴ ≡ -2m²(-m²) (mod 7)

m⁴ + n⁴ ≡ 2m⁴ (mod 7)

Давай вернемся к выражению (m² + n²)² ≡ 0 (mod 7) и преобразуем его:

m⁴ + 2m²n² + n⁴ ≡ 0 (mod 49) (теперь уже по модулю 49, так как возводим в квадрат)

m⁴ + n⁴ ≡ -2m²n² (mod 49)

Теперь давай выразим n² через m²: n² = 7k - m², где k - некоторое целое число. Подставим это в выражение m⁴ + n⁴:

m⁴ + n⁴ = m⁴ + (7k - m²)² = m⁴ + 49k² - 14km² + m⁴ = 2m⁴ - 14km² + 49k²

Заметим, что (2m⁴ - 14km² + 49k²) ≡ 2m⁴ (mod 7), но это не помогает нам доказать, что (m⁴ + n⁴) делится на 49.

Давай попробуем другой подход. Если m² + n² делится на 7, это значит, что m² + n² = 7t, где t - некоторое целое число. Тогда:

(m² + n²)² = (7t)²

m⁴ + 2m²n² + n⁴ = 49t²

m⁴ + n⁴ = 49t² - 2m²n²

Чтобы доказать, что m⁴ + n⁴ делится на 49, нужно показать, что 2m²n² тоже делится на 49. Но это не всегда так. Например, если m = 1 и n = √6, то m² + n² = 7, но 2m²n² = 12, что не делится на 49.

Однако, если m и n целые числа, то можно рассмотреть варианты остатков m² и n² при делении на 7. Возможные остатки: 0, 1, 4, 2. Чтобы m² + n² делилось на 7, оба m² и n² должны давать остаток 0, то есть m и n должны делиться на 7. В этом случае m = 7a и n = 7b. Тогда m² = 49a² и n² = 49b², а значит m⁴ и n⁴ делятся на 49, и m⁴ + n⁴ тоже делится на 49.

Вывод: Если m и n целые числа, и m² + n² делится на 7, то m⁴ + n⁴ делится на 49.