Чтобы решить данную задачу, давайте обозначим собственные делители чисел \( n \) и \( n + 1 \) как \( d_1 \) и \( d_2 \) соответственно. Мы знаем, что сумма этих двух собственных делителей равна 252, то есть:
\[ d_1 + d_2 = 252 \]
Собственные делители — это делители, которые не равны 1 и самому числу.
Рассмотрим числа \( n \) и \( n + 1 \). Так как \( n \) и \( n + 1 \) являются последовательными натуральными числами, они не имеют общих делителей, кроме 1.
Теперь рассмотрим возможные варианты для \( d_1 \) и \( d_2 \). Мы хотим найти такие \( n \), что:
- \( d_1 \) — собственный делитель \( n \).
- \( d_2 \) — собственный делитель \( n + 1 \).
- \( d_1 + d_2 = 252 \).
Чтобы минимизировать \( n \), стоит начать с наименьших собственных делителей, которые могут дать сумму 252, а затем проверять, какие из них действительно могут быть собственными делителями для соответствующих чисел.
Рассмотрим пары делителей, сумма которых равна 252. Например:
- \( d_1 = 126 \) и \( d_2 = 126 \) (это возможно только если \( n \) или \( n+1 \) является 252, что невозможно).
- \( d_1 = 125 \) и \( d_2 = 127 \) (снова 127 — простое число, следовательно, не может быть собственным делителем).
- \( d_1 = 100 \) и \( d_2 = 152 \) (где \( d_2 \) 152 слишком велико для \( n + 1 \)).
- Продолжим аналогичным образом...
Находя правильные пары, если \( d_1 = 126 \) и \( d_2 = 126 \), тогда от \( d_1 \): \[ n = 126k \quad (k \geq 2) \]
Постепенно проверяя все возможные версии, мы видим, что в итоге, располагая правильные делители, наименьшее значение для \( n \) равно 125, так как:
- \( d_1 = 126 \) (при \( n = 126 \)),
- \( d_2 = 126 \) (при \( n + 1 = 127 \)).
Таким образом, наименьшее значение \( n \), для которого при наличии суммы собственных делителей, равной 252, составляет:
\[ \boxed{125} \]
