но не понимию, как показать наличие/отсутствие других корней, например, не-целых. Или такие уравнения решают только в целых числах?
В принципе, эквивалентность по модулю
означает ровно
, где не важно, целые или не целые
, но уравнения как выше решают, насколько я в курсе, обычно в целых числах (хотя при этом явно об этом и пишут). У этого уравнения, если рассматривать не только целые значения
, есть ещё иррациональные корни, которые, однако, надежду выразить в радикалах стоит оставить.
А вот ещё одну серию целых решений вы действительно упустили.