Могут ли у (а + i) и (а − i) быть общие множители? Пусть (а + i) и (а − i) делятся на какое-то простое гауссово число. Тогда их разность

(а + i) − (а − i) = а + i − а + i = 2i

тоже на него делится.

Простых гауссовых чисел, которые делят число 2i, всего одно: (1 + i). Есть еще 1 − i, но это «то же самое простое число», ибо 1 − i = (−i)(1 + i) — то есть, одно получается из другого умножением на обратимое.