Chan colocou no Mathematics Stack Exchange a questão de justificar porque é que os números da forma eram compostos.
Tradução da minha resposta:
Pode-se factorizar algebricamente , determinando as quatro raízes de
.
Dado que , tem-se
E combinando os factores complexos conjugados, obtemos







Interessante essa forma de provar esta relação usando números complexos. Um outro modo é através da fatoração direta. Veja:
Obrigado pela sua avaliação. O seu método, que dispensa o conhecimento dos números números complexos, bastanto somar e subtrair
e continuar com a decomposição em factores de uma diferença de quadrados, foi, com mais ou menos detalhe, o sugerido nas restantes respostas à questão. Além disso é mais elementar. O “meu” é uma aplicação da teoria básica sobre polinómios e de raízes complexas.