Аксио́ма (др.-греч. «утверждение, положение»), или постула́т, — исходное положение какой-либо теории, принимаемое в рамках данной теории истинным без требования доказательства и используемое при доказательстве других её положений, которые, в свою очередь, называются теоремами. Необходимость в принятии аксиом без доказательств следует из индуктивного соображения: любое доказательство вынуждено опираться на какие-либо утверждения, и если для каждого из них требовать своих доказательств.
Простыми преобразованиями эту задачу не решить, будем использовать арифметику остатков.
1-ое свойство, которое понадобится
То есть мы спокойно можем заменить каждое слагаемое сравнимым с ним по модулю m. То есть каждое слагаемое в нашей сумме будем рассматривать отдельно.
2-ое свойство, которое нам понадобится:
То есть довольно аналогичная вещь в произведении
На нашем примере все увидим
Находим остатки по модулю 31
Рассматриваем первое слагаемое. Просто двойка не годится, нам нужно найти ближайшее к 31 число, превосходящее его (иногда там в отрицательные числа залезаем, например, , но сейчас это не нужно), нам повезло, это 32
Учитываем, что , получаем
То есть остаток от деления первого слагаемое на 31 получился равным 10. Прекрасно, аналогично со вторым
Остаток 21, чудесно. Выполняем последний шаг.
То есть остаток от деления исходного числа на 31 равен 0, следовательно, исходное число делится на 31, что и требовалось доказать.
Аксио́ма (др.-греч. «утверждение, положение»), или постула́т, — исходное положение какой-либо теории, принимаемое в рамках данной теории истинным без требования доказательства и используемое при доказательстве других её положений, которые, в свою очередь, называются теоремами. Необходимость в принятии аксиом без доказательств следует из индуктивного соображения: любое доказательство вынуждено опираться на какие-либо утверждения, и если для каждого из них требовать своих доказательств.
А інше я не знаю
Простыми преобразованиями эту задачу не решить, будем использовать арифметику остатков.
1-ое свойство, которое понадобится
То есть мы спокойно можем заменить каждое слагаемое сравнимым с ним по модулю m. То есть каждое слагаемое в нашей сумме будем рассматривать отдельно.
2-ое свойство, которое нам понадобится:
То есть довольно аналогичная вещь в произведении
На нашем примере все увидим
Находим остатки по модулю 31
Рассматриваем первое слагаемое. Просто двойка не годится, нам нужно найти ближайшее к 31 число, превосходящее его (иногда там в отрицательные числа залезаем, например,
, но сейчас это не нужно), нам повезло, это 32
Учитываем, что
, получаем
То есть остаток от деления первого слагаемое на 31 получился равным 10. Прекрасно, аналогично со вторым
Остаток 21, чудесно. Выполняем последний шаг.
То есть остаток от деления исходного числа на 31 равен 0, следовательно, исходное число делится на 31, что и требовалось доказать.