在数论中，变数个数多于方程个数，且变数取整数值的方程（或方程组），称为不定方程（方程组）。对不定方程的研究是数论中的一个重要问题。
目录
1 一次不定方程
1.1 解法
2 Pythagoras 方程
3 平方和问题
4 Fermat 方程
5 其它若干不定方程的示例
6 上下节
一次不定方程[]
设整数
k
⩾
2
{\displaystyle k \geqslant 2}
，
c
,
a
1
,
a
2
,
⋯
,
a
n
{\displaystyle c, a_1, a_2, \cdots, a_n}
是整数且
a
1
,
a
2
,
⋯
,
a
n
{\displaystyle a_1, a_2, \cdots, a_n}
都不为零如下关于整数变数
x
1
,
x
2
,
⋯
,
x
n
{\displaystyle x_1,x_2,\cdots,x_n}
的方程
a
1
x
1
+
a
2
x
2
+
⋯
+
a
n
x
n
=
c
.
{\displaystyle a_1 x_1 + a_2 x_2 + \cdots + a_n x_n = c.}
被称为
n
{\displaystyle n}
元一次不定方程，
a
1
,
a
2
,
⋯
,
a
n
{\displaystyle a_1, a_2, \cdots, a_n}
称为它的系数。
解法[]
一次不定方程
a
1
x
1
+
a
2
x
2
+
⋯
+
a
n
x
n
=
c
{\displaystyle a_1 x_1 + a_2 x_2 + \cdots + a_n x_n = c}
有解的充要条件是系数的最大公约数
d
=
(
a
1
,
a
2
,
⋯
,
a
n
)
∣
c
.
{\displaystyle d = (a_1, a_2, \cdots, a_n ) \mid c.}
进而在它有解时，它的解和下面的方程的解相等。
a
1
d
x
1
+
a
2
d
x
2
+
⋯
+
a
n
d
x
n
=
c
d
.
{\displaystyle \dfrac{a_1}{d} x_1 + \dfrac{a_2}{d} x_2 + \cdots + \dfrac{a_n}{d} x_n = \dfrac{c}{d}.}
进一步地，下面这个定理告诉我们，一个
n
{\displaystyle n}
元一次不定方程可转化为
n
−
1
{\displaystyle n-1}
个二元一次不定方程组的联立求解。
定理：设
g
i
=
(
a
1
,
a
2
,
⋯
,
a
i
)
,
q
⩽
i
⩽
n
{\displaystyle g_i = (a_1, a_2, \cdots, a_i), q \leqslant i \leqslant n}
，那么上述定义中的不定方程等价于下面的有
2
(
k
−
1
)
{\displaystyle 2(k-1)}
个整数变数
x
1
,
x
2
,
⋯
,
x
n
,
y
1
,
y
2
,
⋯
,
y
n
{\displaystyle x_1, x_2, \cdots, x_n, y_1, y_2, \cdots, y_n}
，
k
−
1
{\displaystyle k - 1}
个方程的方程组：
{
g
k
−
1
y
k
−
1
+
a
k
x
k
=
c
,
g
k
−
2
y
k
−
2
+
a
k
−
1
x
k
−
1
=
g
k
−
1
y
k
−
1
,
⋯
g
2
y
2
+
a
3
x
3
=
g
3
y
3
,
g
1
x
1
+
a
2
x
2
=
g
2
y
2
.
{\displaystyle \begin{cases}
g_{k-1} y_{k-1} + a_k x_k = c, \\
g_{k-2} y_{k-2} + a_{k-1} x_{k-1} = g_{k-1} y_{k-1}, \\
\cdots \\
g_2 y_2 + a_3 x_3 = g_3 y_3, \\
g_1 x_1 + a_2 x_2 = g_2 y_2.
\end{cases}}
这样我们就可以把求解
n
{\displaystyle n}
元一次不定方程的问题转化到了求解多个二元一次不定方程上了，在求解的过程中我们始终视变数
y
1
,
y
2
,
⋯
,
y
n
{\displaystyle y_1, y_2, \cdots, y_n}
为中间量，最后再消去。
例如，三元一次不定方程
15
x
1
+
10
x
2
+
6
x
3
=
61.
{\displaystyle 15 x_1 + 10 x_2 + 6 x_3 = 61.}
我们视作下面的方程组：
{
5
y
2
+
6
x
3
=
61
,
3
x
1
+
2
x
2
=
y
2
.
{\displaystyle \begin{cases}
5 y_2 + 6 x_3 = 61, \\
3 x_1 + 2 x_2 = y_2.
\end{cases}}
这都是两个二元一次不定方程，在解第一个时将
y
2
{\displaystyle y_2}
视作未知量，解第二个时将
y
2
{\displaystyle y_2}
视作已知量，紧接着下一节我们会介绍二元一次不定方程的解法。
Pythagoras 方程[]
形如三个变数的齐次方程
x
2
+
y
2
=
z
2
.
{\displaystyle x^2 + y^2 = z^2.}
的不定方程称为 Pythagoras 方程，或商高方程。它是如下形式方程的特例
a
x
2
+
b
y
2
+
c
z
2
=
0
{\displaystyle a x^2 + b y^2 + c z^2 = 0}
我们将在 Pythagoras 方程中讨论它们的解。
平方和问题[]
定理：任意一个正整数
n
{\displaystyle n}
都可以写作四个整数的平方和。
这就是著名的四平方和问题，定理中的“四”是不能改进的，因为形如
4
α
(
8
k
+
7
)
,
α
,
k
⩾
0
{\displaystyle 4^\alpha (8k+7), \alpha, k \geqslant 0}
的数不能表示为三个数的平方和。
进一步，我们会在二平方和问题中讨论能够表示成两个整数的平方和的数满足的条件，这些都是数学家 Fermat 和 Gauss 的研究。
Fermat 方程[]
这是数论中最出名的一个问题，就是研究不定方程
x
n
+
y
n
=
z
n
{\displaystyle x^n + y^n = z^n}
的解的问题。
其它若干不定方程的示例[]
其它一些简单的不定方程可以使用上述方程的推论来求解，或者是使用同余、整除以及
k
{\displaystyle k}
次剩余的知识求解。
上下节[]
上一节：一元二次同余方程
下一节：二元一次不定方程
初等数论（学科代码：1101710，GB/T 13745—2009）
整除理论
整除 ▪ 带余除法 ▪ 素数 ▪ 公因数 ▪ 辗转相除法 ▪ 公倍数 ▪ 惟一因子分解定理 ▪ 容斥原理
同余理论
同余 ▪ 同余类（完全代表系，缩同余类） ▪ 同余类的代数结构 ▪ 一次同余方程 ▪ 中国剩余定理 ▪ 线性同余方程组 ▪ 二元一次同余方程组
剩余理论
Euler-Fermat 定理 ▪ 原根 ▪ 指数 ▪ 威尔森定理 ▪ K 次剩餘 ▪ 二次剩余 ▪ Legendre 符号 ▪ 二次互反律 ▪ Jacobi 符号 ▪ 二次同余方程
数论函数
除数函数 ▪ 除数和函数 ▪ Euler 函数 ▪ Liouville 函数 ▪ Möbius 反演公式 ▪ 数论函数的卷积 ▪ 数论函数的均值 ▪ Dirichlet 特征
不定方程
二元一次不定方程 ▪ Pythagoras 方程 ▪ 四平方和问题 ▪ 二平方和问题 ▪ Fermat 方程 ▪ 立方和问题
素数分布
Eratosthenes 筛法 ▪ 素数定理 ▪ Chebyshev 函数 ▪ Mangoldt 函数 ▪ Euler 恒等式
所在位置：数学（110）→ 数论（11017）→ 初等数论（1101710）