Для доказательства поставленной задачи предположим, что задано натуральное число ( a ) и натуральное число ( n ). Условие задачи гласит, что для любого натурального числа ( m ) существует натуральное число ( b ), такое что ( b^n + a ) делится на ( m ).

Шаг 1: Рассмотрим условие

Запишем условие задач таким образом:
[
b^n + a \equiv 0 \mod m
]
где ( m ) — любое натуральное число, и мы можем выбрать ( b ) так, чтобы это равенство выполнялось.

Шаг 2: Специальный случай

Рассмотрим случай, когда ( m = 1 ). В этом случае, любое число делится на ( 1 ), следовательно, условие будет выполняться для любого ( a ).

Теперь рассмотрим ( m = 2 ). Мы можем выбрать ( b ) как ( 0 ) или ( 1 ) (в зависимости от четности ( a )):

Если ( b = 0 ), то ( a ) должно быть четным.Если ( b = 1 ), то ( 1 + a ) должно быть четным, следовательно, ( a ) должно быть нечетным.

Таким образом, ( a ) может быть либо четным, либо нечетным.

Шаг 3: Экспоненциальная форма

Теперь рассмотрим произвольное ( m ).
Если мы можем делать ( b^n + a \equiv 0 \mod m ) для любого ( m ), это значит, что разность ( -a \equiv b^n \mod m ) также должна принимать любые значения по модулю ( m ). Из этого следует, что ( a ) должна иметь вид, позволяющий ( b^n + a ) делиться на ( m ) для любого ( m ).

Шаг 4: Вывод о ( a )

Для того, чтобы ( b^n + a ) делилось на любое число ( m ), ( a ) должно иметь форму:
[
a \equiv -b^n \mod m
]
Для выбора различных ( b ) мы можем получить все возможные остатки по модулю ( m ) для ( b^n ), что приводит нас к выводу, что:
[
a \text{ должно быть } c^n \text{ для некоторого натурального } c.
]

Шаг 5: Заключение

Таким образом, мы доказали, что для выполнения условия задачи ( a ) должно иметь форму ( c^n ), где ( c ) — натуральное число. То есть:
[
a = c^n.
]
Это завершает доказательство.