
Подберём пару (х,у) , которая будет решением уравнения.

Подставим эту пару в уравнение, а затем 2-ое равенство вычтем из 1-го.

Замечание. Запись у+1=4k, где k-целое (k∈Z) обозначает, что (y+1) делится на 4 нацело. Это следует из того, что второй множитель числителя 3 не делится нацело на 4, остаётся что на 4 делится множитель (у+1).