求助：求证范数为平方数的高斯整数α是ℤ[i]中的平方元

嘿，这两个问题的核心思路其实是相通的，咱们从高斯整数环的核心性质入手，一步步拆解：

首先先铺垫两个必须用到的关键知识点：

• ℤ[i]是唯一分解整环（UFD）：每个非零非单位的高斯整数都能唯一分解成不可约元的乘积（这里的“唯一”是指相伴意义下，也就是差一个单位元±1、±i）。
• 范数函数的可乘性：对任意α,β∈ℤ[i]，N(αβ)=N(α)N(β)，而且N(α)=1当且仅当α是ℤ[i]里的单位元。

思路提示：问题1（范数为平方数的高斯整数是平方元） #

假设α≠0（范数为平方数，α不可能是0），分两种情况看：

1. 如果α是单位元：此时N(α)=1=1²，但要注意，单位元里只有1=1²、-1=(-1)²是平方元，i和-i不是（你可以试着假设存在β=a+bi使得β²=i，解方程组a²-b²=0且2ab=1，会发现没有整数解）。所以如果题目隐含α是非单位元，咱们重点看第二种情况。
2. 如果α是非单位元：
   • 利用UFD的性质，把α分解成不可约元的乘积：α = π₁^e₁ π₂^e₂ … π_k^e_k，其中每个π_j是ℤ[i]的不可约元，e_j≥1。
   • 结合范数可乘性，N(α)=N(π₁)^e₁ * N(π₂)^e₂ * … * N(π_k)^e_k = m²（m∈ℤ）。
   • 回忆ℤ[i]里不可约元的三种类型及其范数：
     • 类型1：1+i（以及它的相伴元±1±i），范数N(1+i)=2；
     • 类型2：形如p的素数，其中p是ℤ里4k+3型的素数（相伴元如-p、ip等），范数N(p)=p²；
     • 类型3：形如a+bi的元素，其中a²+b²=p（p是ℤ里4k+1型的素数），范数N(a+bi)=p。
   • 分析每个不可约元的指数：
     • 类型1的范数是2，而2在平方数m²里的幂次是偶数，所以e_j必须是偶数；
     • 类型3的范数是素数p，素数在平方数里的幂次也得是偶数，所以e_j必须是偶数；
     • 类型2的范数是p²本身就是平方数，所以不管e_j是多少，N(π_j)^e_j都是平方数，没问题。
   • 现在每个不可约元的指数都是偶数，设e_j=2f_j，那么α可以写成(π₁^f₁ π₂^f₂ … π_k^f_k)² * u，其中u是单位元。如果题目允许“平方元”包括与平方元相伴的元素（即α=uβ²，u是单位元），那结论成立；如果严格要求α=β²，那只有当u是1或-1时成立。

思路提示：问题2（本原高斯整数，范数为平方数） #

这里“α不被任何整数整除”其实就是说α是本原高斯整数，也就是gcd(α的实部, α的虚部)=1（等价于α不能写成kβ，其中k是绝对值大于1的整数，β∈ℤ[i]）。

• 首先，本原高斯整数的分解里不会包含类型2的不可约元（也就是4k+3型的素数），因为如果α有p（4k+3型素数）作为因子，那p会同时整除α的实部和虚部，这就和本原的定义矛盾了。
• 所以α的分解只能是类型1和类型3的不可约元：α = (1+i)^e * ∏(a_j+ib_j)^e_j。
• 同样，N(α)=2^e * ∏p_j^e_j = m²，所以e和每个e_j都必须是偶数。
• 设e=2f，e_j=2f_j，那么α可以写成[(1+i)^f * ∏(a_j+ib_j)^f_j]^2 * u，u是单位元。
• 这里要注意，如果严格要求α是平方元（即α=β²），那需要u是平方元（也就是u=1或-1）。如果α是本原的且u=i或-i，那α不是平方元，但这种情况的α范数也是平方数，所以可能题目隐含α的单位因子是1或-1，或者题目中的“平方元”允许相伴的情况。

内容的提问来源于stack exchange，提问作者jackson5