Нужна помощь в понимании уравнения
Уравнение Пеллаx*x - 193 * y*y = 1
в z3py:
x = BitVec('x',64)
y = BitVec('y',64)
solve(x*x - 193 * y*y == 1, x > 0, y > 0)
Результат:[y = 2744248620923429728, x = 8169167793018974721]
Зачем?
Постскриптум Допустимый ответ: [y = 448036604040, x = 6224323426849]