Делимость и делители (множители) → .09 Целые гауссовы числа
Ошибка.
Попробуйте повторить позже
Докажите, если целые числа и
взаимно просты в
то они взаимно просты и в
Будем искать их НОД в с помощью алгоритма Евклида. Рано или поздно мы получим, что
поскольку они
взаимно просты в
Тогда их НОД в
содержит лишь четыре делителя единицы, а значит они взаимно просты в
Ошибка.
Попробуйте повторить позже
Докажите, что если является простым числом в
то
является простым числом в
Предположим противное, пусть (
и
не являются делителями
), но тогда
значит либо
либо
равна
Но тогда одно из этих чисел является делителем
противоречие, что и требовалось.
Ошибка.
Попробуйте повторить позже
(a) Пусть — простое число вида
Докажите, что
является простым гауссовым числом.
(b) Пусть — простое число вида
Докажите, что существуют натуральные числа
и
такие, что
и
не делятся
на
но
кратно
(c) Пусть — простое число вида
Докажите, что в кольце гауссовых чисел число
является составным и имеет
разложение на множители вида
(d) Докажите, что простое гауссово число может быть либо натуральным простым вида либо числом
где
—
простое число вида
или
(a) Предположим противное, пусть где
и
— простые числа, отличные от делителей
тогда
То есть
Нормы не равны
значит
но каждая из норм представляет из себя сумму квадратов двух целых
чисел. Таким образом,
но число
не представимо в виде суммы квадратов, пришли к противоречию, что и
требовалось.
последнее сравнение верно по теореме Вильсона.
(c) Используем результат прошлого пункта, пусть и
не делятся на
тогда
Если
— простое гауссово число, то одна из скобочек правой части делится на него. Не умаляя общности, пусть
кратно
тогда
Таким образом,
противоречие.
В первом пункте мы поняли, что если число не простое, то оно представимо в виде суммы квадратов, но тогда
(d) Насчёт целых гауссовых чисел известно следующее, что и
являются простым и что если норма гауссового числа
проста в
то само оно простое в
Пусть у гауссового числа либо вещественная, либо мнимая часть равна а другая равна составному числу или простому числу вида
тогда оно, очевидно, не является простым.
Пусть у гауссового числа ненулевые вещественная и мнимая части, при этом норма не является простым числом, однако само оно
— простое. Тогда число
также простое. Но тогда норма
раскладывается на простые множители, на
которые выражение
делиться не может, противоречие.
Ошибка.
Попробуйте повторить позже
Докажите, что если простое число представимо в виде суммы квадратов двух натуральных чисел, то такое представление единственно с
точностью до порядка слагаемых.
Предположим противное, тогда откуда
Числа
и
являются простыми в
Получается, что произведение двух простых чисел равно произведению двух других простых чисел, в
так
не бывает.
Ошибка.
Попробуйте повторить позже
Докажите, что число раскладывается в сумму двух квадратов целых чисел
различными способами.
Заметим, что откуда
Рассмотрим для любого целого
число
При замене
на
получим, что
Следовательно,
Осталось заметить, что все пары будут различны, откуда и получаем
различных способов разложения числа
в
сумму двух квадратов целых чисел.