Найти общее решение дифференциального уравнения.

1 Число делится на 11, если знакопеременная сумма его цифр (последняя цифра со знаком +) делится на 11.
2 Число делится на 7, если знакопеременная сумма чисел, образованных тройками его цифр, взятыми с конца (последнее число со знаком +), делится на 7.
3 Число делится на 13, если знакопеременная сумма чисел, образованных тройками его цифр, взятыми с конца (последнее число со знаком +), делится на 13.
4 Остаток от деления числа на 11 равен остатку от деления на 11 знакопеременной суммы его цифр (последняя цифра со знаком +)
5 Остаток от деления числа на 7 равен остатку от деления на 7 знакопеременной суммы чисел, образованных тройками его цифр, взятыми с конца (последнее число со знаком +).
6 Остаток от деления числа на 13 равен остатку от деления на 13 знакопеременной суммы чисел, образованных тройками его цифр, взятыми с конца (последнее число со знаком +).
 7 Для доказательства необходимо рассмотреть разность между самим числом и знакопеременной суммой его цифр (троек).Комментарии

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 можно представить в виде суммы квадратов трёх натуральных чисел.