Обозначим α=2+1. Тогда система из суммы и разности корней выглядит так:
n+1−n=β2022=(2−1)2022.
n+1+n=α2022=(2+1)2022.
Сложив и вычтя эти равенства, получаем явные формулы для n+1 и n:
n+1=2(α2022+β2022),n=2(α2022−β2022).
Следовательно,
n+1=(2α2022+β2022)2,n=(2α2022−β2022)2.
Но α=2+1 и β=2−1 связаны тем, что αβ=1. Известно (и легко проверить по биному или по рекуррентным соотношениям), что для целого m сумма
αm+βm
оказывается целым числом. Обозначим
pm=(2+1)m+(2−1)m.
Тогда наше уравнение для m=2022 даёт:
n+1=2p2022,n+1=(2p2022)2.
Отсюда
n=(2p2022)2−1.
Остаётся понять, что p2022 действительно чётно (чтобы 2p2022 было целым). На практике это так, и можно показать по индукции (или по известным рекуррентным формулам), что все pm при целых m получаются целыми и при этом pm оказывается чётным для всех m≥0.
Таким образом:
p2022 – некоторое большое чётное целое число.
2p2022 – тоже целое.
n=(2p2022)2−1.
Это и даёт единственное целочисленное решение (ведь функция n+1−n монотонно убывает при n≥0 и ровно один раз пересечёт число β2022∈(0,1)).
Ответ
Все целые решения сводятся к единственномуn, причём
n=(2(2+1)2022+(2−1)2022)2−1.
Это действительно целое число (очень большое) и является единственным решением данного уравнения.