Для натурального числа n обозначим через t(n) количество его натуральных делителей и через s(n) сумму его натуральных делителей.
а) Для каких чисел n сумма будет нечетной?
б) Последняя цифра числа t(n) равна 3. Может ли последней цифрой числа s(n) быть 2?
в) 1) Всегда ли будет простым число s(n), если число t(n) является простым?
2) Всегда ли будет простым число t(n), если число s(n) является простым?
а) Если число n разложено на произведение степеней простых множителей, то есть записано в виде то, как известно,
Произведение нескольких чисел может быть нечетно только если все множители нечетны. Для t(n) это означает, что все показатели степеней четны (а число является квадратом). Для s(n) — что все показатели степеней четны, кроме показателя степени двойки — он может быть любым. (Очевидно, что сумма всегда нечетна, а сумма
при нечетных p нечетна только при четных k.) Итак, если все показатели четны, то s(n) и t(n) нечетны и их сумма четна.
Если есть нечетный показатель, но не у двойки, то s(n) и t(n) четны, и их сумма четна.
Если же у всех простых четный показатель и только у двойки нечетный, то t(n) четно, а s(n) нечетно. Этот случай нам подходит.
Если такое число поделить на 2, все показатели станут четны, то есть число превратится в квадрат. Итак, ответ — это удвоенные квадраты.
б) Как видно из решения пункта а), ситуация с нечетным t(n) и четным s(n) невозможна.
в) Заметим, что, например, (простое), но
Если же s(n) простое, то, как видно из формулы, в n может входить лишь одно простое число, то есть Допустим, что
—
составное число. Противоречие. Значит, t(n) простое.
Ответ: а) б) нет; в) 1) нет; 2) да.
Приведем доказательства использованных формул.
Пусть
есть каноническое разложение на простые множители натурального числа n. Тогда
а сумма σ(n) всех натуральных делителей числа n выражается формулой
Доказательство. Любой натуральный делитель d числа n представим в виде где
для Поэтому, чтобы найти число всех натуральных делителей числа n, достаточно подсчитать число всевозможных упорядоченных наборов
удовлетворяющих условиям (⁎). Ввиду (⁎) число ki может принимать
значение, причем выборы различных значений
не зависят один от другого, и в силу единственности разложения на простые множители разным наборам соответствуют различные делители n. Следовательно, число всех натуральных делителей числа n равно
Сумма всех натуральных делителей числа n равна
Каждое слагаемое в (⁎⁎) в точности один раз встречается после раскрытия скобок произведения
Следовательно, сумма (⁎⁎) равна произведению (⁎⁎⁎). Каждый сомножитель есть сумма членов геометрической прогрессии, поэтому произведение (***) равно
Требуемое доказано.
Изложим доказательство второй формулы иначе на конкретном примере. Пусть тогда делители числа n имеют вид
где
а сумма всех делителей равна
Это и есть частный случай формулы (⁎⁎). Полученное произведение можно также записать через сумму геометрической прогрессии, получим:
Это частный случай формулы (⁎⁎⁎).
Примечание.
Готовящимся к олимпиадам рекомендуем также задачу https://reshuolymp.ru/problem?id=238 о сумме квадратов делителей числа.

