Чтобы доказать, что квадрат натурального числа имеет непарное количество делителей, давайте сначала обратим внимание на свойства чисел и делителей.
Определение делителей: Делитель натурального числа \( n \) — это число \( d \), такое что \( n = d \cdot k \) для некоторого натурального числа \( k \).
Формула для делителей: Для любого натурального числа \( n \), если оно представлено в виде произведения простых чисел: \[ n = p_1^{e_1} \cdot p_2^{e_2} \cdots p_k^{e_k} \] где \( p_i \) — простые числа, а \( e_i \) — их степени, то количество делителей \( d(n) \) числа \( n \) можно вычислить по формуле: \[ d(n) = (e_1 + 1)(e_2 + 1) \cdots (e_k + 1) \] Каждое \( e_i + 1 \) соответствует количеству вариантов выбора делителей, включая 0.
Квадрат числа: Рассмотрим квадрат натурального числа \( m^2 \): \[ m = p_1^{a_1} \cdot p_2^{a_2} \cdots p_k^{a_k} \] Тогда \[ m^2 = p_1^{2a_1} \cdot p_2^{2a_2} \cdots p_k^{2a_k} \] В этом случае, степени простых чисел становятся удвоенными. Таким образом, количество делителей для \( m^2 \) будет: \[ d(m^2) = (2a_1 + 1)(2a_2 + 1) \cdots (2a_k + 1) \]
Неравенство и парность: Обратите внимание, что каждое выражение \( (2a_i + 1) \) всегда является нечетным, так как \( 2a_i \) — четное число, и добавление 1 делает его нечетным. Умножение нечетных чисел всегда дает нечетное число.
Таким образом, количество делителей \( d(m^2) \) является произведением нечетных чисел и, следовательно, также является нечетным.
В заключение, квадрат любого натурального числа имеет непарное количество делителей.
