ВАЖНО
Уравнение с модулем объяснить решение и не писать фигню

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

Пусть  натуральное число, тогда  будет натуральным и нечётным числом. Возведем данное число в квадрат:



Вычтем 1 и получим:



Докажем с математической индукции, что данное число делиться на 8:

При , 0 делиться на 8, следовательно условие выполняется.

Предположим что данное число делиться на 8 при некотором . Докажем что данное число делиться на 8 при :



По предположению  делиться на 8. Следовательно, существует натуральный  так что:



Отсюда:

следовательно, при  данное число тоже делиться на 8. Ч.Т.Д.

5x² + 12xy + 9y² + 6x + 34

9y² + 12xy практически создают квадрат суммы, дополним это выражение:
9y² + 12xy + 4x² = (3y + 2x)², заметим, что это выражение есть целое число в квадрате.

5x² + 12xy + 9y² + 6x + 34 = x² + (4x² + 12xy + 9y²) + 6x + 34 = (3y + 2x)² + x² + 6x + 34

x² + 6x также дополняем до полного квадрата:
x² + 6x + 9 = (x + 3)²

(3y + 2x)² + x² + 6x + 34 = (3y + 2x)² + x² + 6x + 9 + 25 = (3y + 2x)² + (x + 3)² + 25

25 = 5² (целое число в квадрате)

(3y + 2x)² + (x + 3)² + 25 = (3y + 2x)² + (x + 3)² + 5²

Итак, получившееся выражение однозначно при любых целых x и y можно представить в виде суммы квадратов трёх натуральных чисел.