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