在ℤ中求解方程x⁴+1=2y²，寻求高斯整数法后续思路

嘿，用高斯整数来解这个方程确实是个很棒的思路！我来一步步带你走完整个推导过程：

步骤1：高斯整数环中的因式分解 #

首先，把方程移项为 $x^4 + 1 = 2y^2$，我们先在高斯整数环 $\mathbb{Z}[i]$ 中分解左边的 $x^4 + 1$：
$$x^4 + 1 = (x^2 + i)(x^2 - i)$$
同时，右边的 $2$ 在高斯整数中可分解为 $2 = (1+i)(1-i)$，因此原方程可以改写为：
$$(x^2 + i)(x^2 - i) = (1+i)(1-i)y^2$$

步骤2：分析公因子与奇偶性 #

假设 $d$ 是 $x^2+i$ 和 $x^2-i$ 的公因子，那么 $d$ 必整除它们的和 $2x^2$ 与差 $2i$。因此 $d$ 整除 $\gcd(2x^2, 2i) = 2\gcd(x^2, i)$，而 $i$ 是高斯整数的单位元，$\gcd(x^2,i)=1$，所以 $d$ 只能是 $1, -1, i, -i, 1+i, 1-i, -(1+i), -(1-i)$ 中的一个。

接下来分奇偶讨论 $x$：

• 若 $x$ 是偶数：$x^2 \equiv 0 \pmod{2}$，则 $x^2+i \equiv i \equiv 1 \pmod{1+i}$，即 $x^2+i$ 不被 $1+i$ 整除；同理 $x^2-i \equiv -i \equiv 1 \pmod{1+i}$，也不被 $1+i$ 整除。但右边的乘积包含因子 $(1+i)(1-i)$，矛盾，因此偶数 $x$ 无整数解。
• 若 $x$ 是奇数：$x^2 \equiv 1 \pmod{4}$，则 $x^2+i \equiv 1+i \pmod{(1+i)^2}$，即 $1+i$ 整除 $x^2+i$；同理 $1-i$ 整除 $x^2-i$。我们可以设：
  $$x^2+i = (1+i)a, \quad x^2-i = (1-i)b$$
  其中 $a,b \in \mathbb{Z}[i]$，代入原方程得 $ab = y^2$。

步骤3：利用互素性与平方因子 #

注意到 $x^2-i$ 是 $x^2+i$ 的共轭，因此 $b = \overline{a}$（$\overline{a}$ 表示 $a$ 的共轭高斯整数），于是 $a\overline{a} = y^2$。而 $a\overline{a} = |a|^2$（$a$ 的模长平方），这是一个正整数，因此 $|a| = |y|$。

接下来证明 $a$ 和 $\overline{a}$ 互素：假设高斯素数 $p$ 整除 $a$ 和 $\overline{a}$，则 $p$ 整除 $a+\overline{a} = \frac{2x^2}{1+i} = x^2(1-i)$，同时整除 $a-\overline{a} = \frac{2i}{1+i} = i(1+i)$。由于 $x$ 是奇数，$x$ 与 $1+i$ 互素（$1+i$ 仅整除偶数），因此 $\gcd(x^2(1-i), i(1+i))=1$，即 $a$ 和 $\overline{a}$ 互素。

互素的两个数乘积为平方数，说明它们各自都是平方数乘以高斯整数的单位元（单位元为 $1,-1,i,-i$）。设 $a = u z^2$，其中 $u$ 是单位元，$z = m+ni$（$m,n \in \mathbb{Z}$），则 $\overline{a} = \overline{u} \overline{z}^2$，代入 $x^2+i = (1+i)u z^2$ 展开分析：

枚举单位元 $u$ 的四种情况 #

1. $u=1$：
   $$x^2+i = (1+i)(m+ni)^2 = (m^2 - n^2 - 2mn) + (m^2 - n^2 + 2mn)i$$
   对比实部和虚部得：
   $$x^2 = m^2 - n^2 - 2mn, \quad 1 = m^2 - n^2 + 2mn$$
   两式相减得 $1 - x^2 = 4mn$，由于 $x$ 是奇数，$x^2 \geq 1$，故 $mn \leq 0$。结合第二个方程 $(m+n)^2 - 2n^2 = 1$（佩尔方程），其最小解为 $m+n=1, n=0$（即 $m=1,n=0$），代入得 $x^2=1$，即 $x=\pm1$，此时 $y=\pm|z|^2=\pm1$。

2. $u=-1$：
   $$x^2+i = -(1+i)z^2$$
   展开后虚部对应 $1 = -(m^2 - n^2 + 2mn)$，即 $(m+n)^2 - 2n^2 = -1$（负佩尔方程），最小解为 $m=0,n=1$，代入得 $x^2=1$，同样得到 $x=\pm1, y=\pm1$。

3. $u=i$ 或 $u=-i$：
   展开后会得到矛盾的整数条件（比如要求非整数的平方数），因此无整数解。

步骤4：验证所有可能解 #

• 当 $x=\pm1$ 时，$x^4+1=1+1=2=2y2$，解得 $y=\pm1$，满足方程。
• 当 $x=0$ 时，左边为 $1$，右边 $2y^2=1$ 无整数解。
• 其他奇数 $x$（如 $x=\pm3,\pm5$ 等）代入方程均无法得到整数 $y$。

综上，方程的所有整数解为：
$$(x,y)=(1,1),(1,-1),(-1,1),(-1,-1)$$

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