二元二次不定方程

二元二次不定方程

形如$x^2+y^2=n$的丢番图方程，又可以称为二元二次不定方程

整数解

求$x^2+y^2=n$的整数解的个数。

定理结论

素数分为三种：$2$，模$4$余$1$的素数，模$4$余$3$的素数（又称高斯素数）

费马平方和定理：奇素数能被表示为两个平方数之和的充要条件为该素数为模$4$余$1$型素数

费马平方和扩展定理：正整数$n$能被表示为平方数之和的充要条件为模$4$余$3$的素数的指数个数为偶数

解法一

设$f(x)$为二元二次不定方程$x^2+y^2=n,(n\ge 1)$的整数解的个数，那么$f(x)=4\ast {\sum }_{d|n}H(d)$

其中$H(d)=\{\begin{array}{rcl}0& & d\%2=0\\ (-1{)}^{\frac{d-1}{2}}& & x\%2=1\end{array}$

解法二

可以转变为几何问题：在$x^2+y^2=n$的圆上有多少整数点？

视频证明链接

对$n$进行唯一分解，得到若干素数的幂乘积$p_i^{a_1}\times p_i^{a_2}\times ...p_n^{a_n}$，那么答案为：$f(x)={\prod }_{i=1}^{n}g(p_i,a_i)$

其中$g(p_i,a_i)=\{\begin{array}{rcl}1& & p_i=2\\ 1& & p_i\%4=3\&a_i\%2=0\\ 0& & p_i\%4=3\&a_i\%2=1\\ a_i+1& & p_i\%4=1\end{array}$

多元不定方程

判断是否有解的定理推论

• 费马平方和定理：奇素数能被表示为两个平方数之和的充要条件为该素数为模$4$余$1$型素数

• 费马平方和扩展定理：正整数$n$能被表示为平方数之和的充要条件为模$4$余$3$的素数的指数个数为偶数

• 婆罗摩笈多 - 斐波那契恒等式：如果两个数都能表示为两个平方数的和，那么他们的积也能表示为两个平方数之和

  $(a^2+b^2)(c^2+d^2)=(ac-bd{)}^2+(ad+bc{)}^2=(ac+bd{)}^2+(ad-bc{)}^2$

• 三平方和定理：正整数$n$能表示为三个数的平方和的充要条件是$n\ne 4^m(8k+7),m,k\ge 0$

• 四平方和定理：每个正整数都能表示成四个整数的平方数之和