Начиная с
y = x(x+1)(x+2)(x+3) = x^4 + 6x^3 + 11x^2 + 6x
Обратите внимание, что коэффициенты выглядят почти симметрично, но в конце нет 1.
Итак, предположим, что
y = z^2 - 1
т.е.
z^2 = x^4 + 6x^3 + 11x^2 + 6x + 1
Существуют коэффициенты всех степеней от x до 4, а также коэффициентов от x ^ 4 и x ^ 0равны 1, поэтому нам нужно найти коэффициент x ^ 1, который мы называем a
:
z = (x^2 + ax + 1)^2 = x^4 + 2ax^3 + (2+a^2)x^2 + 2ax + 1
Сравнение коэффициентов x ^ 1, x ^ 2 или x ^ 3 дает a = 3
(приведенные выше уравнения не требуют, чтобы любое из x, y или z было целым числом, но, возможно, потеряет сложные или отрицательные корни, которые нам не интересны)
, поэтому мы можем решитьквадратичное значение для x
:
x^2 + 3x + 1 - sqrt(y+1) = 0
дает
x = -3 +/- sqrt(9 - 4 * (1-sqrt(y+1)))
---------------------------------
2
= -3 +/- sqrt(5 + 4 sqrt(y+1))
----------------------------
2
, которое будет целым числом, если sqrt(y+1)
- идеальный квадрат z
, а (5+4z)
- также идеальныйквадрат (если z
является целым числом, 5-4z
является нечетным, поэтому его квадратный корень, если целое число, также является нечетным, а x
будет целым числом).
Проверьте, является ли z = sqrt(y+1)
целое число, затем проверьте, является ли 5+4z
идеальным квадратом.