Доказательство

В этом доказательстве мы будем использовать математические вычисления для подтверждения того, что сумма единицы с квадратами трех последовательных чисел делится на 3.

• Пусть a, b и c - три последовательных целых числа.
• Сумма единицы с квадратами трех последовательных чисел равна (a^2 + b^2 + c^2) + 1.
• Разложим сумму по формуле разности квадратов: (a^2 + b^2 + c^2) = (a + b + c)^2 - 3(ab + bc + ca).
• Теперь рассмотрим выражение (a + b + c)^2:
• (a + b + c)^2 = a^2 + b^2 + c^2 + 2ab + 2bc + 2ca.
• Так как a, b и c - последовательные целые числа, то ab, bc и ca являются последовательными целыми числами.
• Таким образом, 2ab + 2bc + 2ca = 6(ab + bc + ca), где 6 - простое число.
• Подставим это выражение обратно в формулу разности квадратов:
• (a^2 + b^2 + c^2) = (a + b + c)^2 - 3(ab + bc + ca) = (a + b + c)^2 - 6(ab + bc + ca).
• Теперь добавим 1 к обеим сторонам уравнения:
• (a^2 + b^2 + c^2) + 1 = (a + b + c)^2 - 6(ab + bc + ca) + 1.
• Итак, мы получили выражение, которое является суммой единицы с квадратами трех последовательных чисел:
• (a^2 + b^2 + c^2) + 1 = (a + b + c)^2 - 5(ab + bc + ca) + 1.

Теперь мы видим, что сумма единицы с квадратами трех последовательных чисел может быть представлена в виде разности квадрата суммы трех последовательных чисел и пятикратного произведения их произведений. Это означает, что она всегда будет делиться на 3, так как произведение трех последовательных чисел делится на 3, а пять - нечетное число.