求满足质数平方和等式的最小n值：前n-1个质数平方和等于第n个质数平方

要解决这个问题，我们可以从质数的奇偶性和模4的性质入手，逐步排除不可能的n值，最终找到最小的符合条件的n。

满足条件的最小n值是6，对应的具体例子为：
$$2^2 + 2^2 + 2^2 + 2^2 + 3^2 = 5^2$$
也就是4个2的平方加1个3的平方，结果等于5的平方，所有参与运算的数都是质数，完全符合题目要求。

我们先利用质数的核心性质（除2以外，所有质数都是奇数；奇数的平方模4余1，2的平方模4余0）来缩小范围：

等式右边的质数$X_n$只能是奇质数——如果是2的话，左边n-1个质数平方和要等于4，但n>3意味着n-1≥3，3个质数平方和最小是$2²⁺²2+2^{2=12>4$，完全不可能。因此$X_n}2 \equiv 1 \pmod{4}$。

接下来我们逐个验证n>3的情况：

n=4（3个质数平方和等于1个质数平方） #

左边3个质数的平方和模4的可能情况：

• 3个奇质数：$1+1+1=3 \pmod{4}$，和右边的1 mod4矛盾；
• 1个2+2个奇质数：$0+1+1=2 \pmod{4}$，和右边的1 mod4矛盾；
• 2个2+1个奇质数：$0+0+1=1 \pmod{4}$，符合模条件，但解方程$2²⁺²2+p^2=q2$得$q^2-p2=8$，即$(q-p)(q+p)=8$，解得q=3、p=1——1不是质数，无有效解。
  因此n=4不存在符合条件的质数组合。

n=5（4个质数平方和等于1个质数平方） #

左边4个质数的平方和模4的可能情况：

• 4个奇质数：$1×4=0 \pmod{4}$，和右边的1 mod4矛盾；
• 1个2+3个奇质数：$0+1×3=3 \pmod{4}$，和右边的1 mod4矛盾；
• 2个2+2个奇质数：$0×2+1×2=2 \pmod{4}$，和右边的1 mod4矛盾；
• 3个2+1个奇质数：$0×3+1=1 \pmod{4}$，符合模条件，但解方程$2^2×3+p2=q^2$得$q2-p^2=12$，即$(q-p)(q+p)=12$，解得q=4——不是质数，无有效解；
• 4个2：和为16，对应q=4，同样不是质数，不行。
  因此n=5也没有符合条件的解。

n=6（5个质数平方和等于1个质数平方） #

这里我们直接找到有效组合：4个2和1个3的平方和恰好等于5的平方：
$$2^2 + 2^2 + 2^2 + 2^2 + 3^2 = 16 + 9 = 25 = 5^2$$
所有数都是质数，完全满足题目要求。结合前面已经排除了n=4、5的可能，所以n=6是满足条件的最小值。

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