初等数论学习计划2
裴蜀定理
在数论中，裴蜀等式（英语：Bézout’s identity）或裴蜀定理（Bézout’s lemma）是一个关于最大公约数（或最大公约式）的定理。裴蜀定理得名于法国数学家艾蒂安·裴蜀。
1.1 概念
对任何整数 a 、 b {\displaystyle a}、{\displaystyle b} a、b 和 m {\displaystyle m} m，关于未知数 x {\displaystyle x} x 和 y {\displaystyle y} y 的线性丢番图方程（称为裴蜀等式）：
a x + b y = m {\displaystyle ax+by=m} ax+by=m 有整数解时当且仅当 m {\displaystyle m} m 是 a {\displaystyle a} a 及 b {\displaystyle b} b 的最大公约数 d {\displaystyle d} d 的倍数。裴蜀等式有解时必然有无穷多个整数解，每组解 x 、 y {\displaystyle x}、{\displaystyle y} x、y 都称为裴蜀数，可用扩展欧几里得算法求得。
1.2 例子
例如， 12 12 12和 42 42 42的最大公约数是 6 6 6，则方程 12 x + 42 y = 6 {\displaystyle 12x+42y=6} 12x+42y=6有解。事实上有 ( − 3 ) × 12 + 1 × 42 = 6 {\displaystyle (-3)\times 12+1\times 42=6} (−3)×12+1×42=6 及 4 × 12 + ( − 1 ) × 42 = 6 {\displaystyle 4\times 12+(-1)\times 42=6} 4×12+(−1)×42=6。
特别来说，方程 a x + b y = 1 {\displaystyle ax+by=1} ax+by=1 有整数解当且仅当整数 a {\displaystyle a} a 和 b {\displaystyle b} b 互素。
1.3 延伸
裴蜀等式也可以用来给最大公约数定义： d {\displaystyle d} d 其实就是最小的可以写成 a x + b y {\displaystyle ax+by} ax+by形式的正整数。这个定义的本质是整环中“理想”的概念。因此对于多项式整环也有相应的裴蜀定理。
说明: 此文档暂时来自网上，后续会及时补充.
1563
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
