Factorización sobre el enteros gaussianos (números complejos $a+bi$ donde $a$ y $b$ son números enteros) es única, igual que sobre los números enteros regulares. Así, para dos factorizaciones cualesquiera del mismo número, digamos $$(16+11i)(16-11i) = 29\cdot 13$$ debe haber un refinamiento común: una factorización adicional de cada lado que sea la misma.
En este caso, debe observar que $29 = 5^2+2^2 = (2-5i)(2+5i)$ y $13 = 3^2+2^2 = (3+2i)(3-2i)$ . Así que refinando el lado derecho obtenemos
$$(16+11i)(16-11i) = (2-5i)(2+5i)(3+2i)(3-2i).$$
El teorema de la factorización única para enteros gaussianos nos dice que $16+11i$ y $16-11i$ debe dividirse en los mismos factores que en el lado derecho. Y de hecho, $16-11i = (2-5i)(3+2i)$ y $16+11i = (2+5i)(3-2i)$ .
Así que una vez que tenga la $16\pm 11i$ factorización, se continúa factorizando hasta llegar a un producto de primos gaussianos , y entonces puedes ver si cuales de los primos gaussianos en el producto son pares conjugados.
Desgraciadamente, esto es poco útil, porque ¿cómo se puede saber si algo como $16-11i$ ¿es un primo gaussiano? Existe un teorema: $a+bi$ es un primo gaussiano si
- una de $a$ o $b$ es cero y el otro es un primo de la forma $4k+3$ que no se aplica aquí, o
- ni $a$ ni $b$ es cero, y $a^2 + b^2$ es primo.
lo que significa que para saber si $16+11i$ es un primo gaussiano y, por tanto, si se puede factorizar más, se calcula $16^2+11^2 = 377$ y comprueba si 377 es primo, así estarás justo donde empezaste.