首页 > 其他分享 >裴蜀定理

裴蜀定理

时间:2024-07-26 21:40:15浏览次数:8  
标签:... because 10 定理 mid therefore 裴蜀

裴蜀定理

Definition

设d=(a,b)

则存在两个整数x,y,满足:

\[ax+by=d \]

Solution

首先带入下数据(随便两个整数)

例:14 10

不难看出,gcd(14,10)=2

辗转相除法:

(a,b)=(b,a mod b)

\(\cfrac{14}{10}=1...4\)

\(\cfrac{10}4=2...2\)

\(\cfrac42=2...0\)

当(a mod b)=0时,结束,取最后一次的商

Formula

\[b=aq_1+r_1\ \ 0<r_1<|a| \\ a=r_1q_2+r_2\ \ 0<r_2<r_1 \\ r_1=r_2q_3+r_3\ \ 0<r_3<r_2 \\ r_2=r_1q_4+r_4\ \ 0<r_4<r_3 \\ ... \\ r_{k-3}=r_{k-2}q_{k-1}+r_{k-1}\ \ 0<r_{k-1}<r_{k-2} \\ r_{k-2}=r_{k-1}q_{k}+r_{k}\ \ 0<r_{k}<r_{k-1} \\ r_{k-1}=r_{k}q_{k+1} \\\ r_k \ mod\ r_{k-1}\ =\ r_k\ mod\ q_{k+2}\ =\ 0 \]

$\because $ d=(a,b)

\(\therefore\) d满足以下条件:

\[d\mid r_k\ \ d\mid r_{k-1}\ \ d\mid r_{k-2}\ \ ...d\mid r_1 \]

从第k 个式子往前推导,又可以得出:

$\because $ \(r_k\mid r_{k-1}\ \ r_{k}\mid r_{k-2}\ \ r_{k}\mid r_{k-3}\)

\(\therefore\) \(r_{k}\mid a\ \ r_k\mid b\)

\(\because\) (a,b)=d,\(\therefore\) \(r_k\leqslant\) d

又\(\because\) (a,b)=\(r_k\),\(\therefore\) \(r_k=d\)

解一下第k个式子:

\[r_{k-2}=r_{k-1}q_{k}+r_{k} \\ r_{k-2}=r_{k-1}q_{k}+d \\ -d=r_{k+2}q_k-r_{k+2} \\ d=r_{k+2}-r_{k+2}q_k \]

可以很轻易地得出

\[d=r_{k+2}-r_{k+2}q_k \]

解一下第\(k-1\)个式子:

\[r_{k-3}=r_{k-2}q_{k-1}+r_{k-1} \\ -r_{k-1}=r_{k-2}q_{k-1}-r_{k-3} \\ r_{k-1}=r_{k-3}-r_{k-2}q_{k-1} \]

\(\because\) 假设\(a\mid b\) 且 \(a \mid c\) ,则对于任意整数x,y,都有\(a \mid bx\ +\ cy\) (线性组合)

\(\therefore\) d可表示为\(r_{k-2}\)与\(r_{k-3}\) 的线性组合

\(\therefore\) \(d=ax+by\)

得证

标签:...,because,10,定理,mid,therefore,裴蜀
From: https://www.cnblogs.com/Atserckcn/p/18326317

相关文章

  • 基础数论 欧拉定理与exgcd
    欧拉定理:若正整数\(a,n\)互质,则\(a^{\varphi(p)}\equiv1(\bmodp)\)推论(扩展欧拉定理):\[a^b\equiv\begin{cases}a^{b\\bmod\\varphi(p)}\\\\\\\\\\gcd(a,p)=1\\a^b\\\\\\\\\\\\\\\\\\\\\\gcd(a,p)!......
  • 最长不降子序列 n log n 方案输出与 Dilworth 定理 - 动态规划模板
    朴素算法不必多说,\(O(n^2)\)的暴力dp转移。优化算法时间为\(O(n\logn)\),本质是贪心,不是dp。思路是维护一个单调栈(手写版),使这个栈单调不降。当该元素\(\ge\)栈顶元素时,把这个元素压入栈中。否则,在单调栈中找到第一个大于该元素的项,把这一项改为这个元素。(因为要......
  • 【数学】【模板】欧拉定理
    欧拉定理思想若\(a\)与\(n\)互质,则\(a^{\varphi(n)}\equiv1\pmodn\);容易得出当\(n\)为质数时,\(a^{n-1}\equiv1\pmodn\)。证明假设与\(1\simn\)中与\(n\)互质的数字为\(x_1,x_2,x_3,\cdotsx_{\varphi(n)}\),且两两不同。现将它们全部乘以\(a\)得......
  • 定理:把一个至少两位的正整数的个位数字去掉,再从余下的数中减去个位数的5倍。当且仅当
    /定理:把一个至少两位的正整数的个位数字去掉,再从余下的数中减去个位数的5倍。当且仅当差是17的倍数时,原数也是17的倍数。例如,34是17的倍数,因为3-20=-17是17的倍数;201不是17的倍数,因为20-5=15不是17的倍数。输入一个正整数n,你的任务是判断它是否是17的倍数。/#include<stdio.......
  • 欧拉定理
    欧拉定理:对\(\foralla,b\)满足\((a,b)=1\),有\(a^{\varphi(b)}\equiv1\:(mod~b)\)证明:由简化剩余系的基本性质易得\(a_0a_1...a_{\varphi(m)-1}\equiv(aa_0)(aa_1)...(aa_{\varphi(m)-1})\(mod~m)\)推广:对\(\foralla,b,n\)有\(a^n\equiva^{n\:mod\:\varp......
  • 勾股定理学习笔记
    第一章勾股定理1.1勾股定理的证明对于勾股定理,有约\(500\)种证明方法。常见的有数格子(见课本勾股数)、赵爽弦图(两种)、加菲尔德证法(总统图)、毕达哥拉斯证法、华蘅芳证法、百牛定理证法、商高定理证法、商高证法、刘徽证法、绉元智证法等。这里只列出常见的几种方法。1.1.1......
  • 费马小定理-期望dp
    E-小红的树上移动(Nowcoder85687E)题目大意小红有一棵......
  • 积分中值定理的证明2
    积分中值定理的证明:因为\(f\)是闭区间上的连续函数,\(f\)取得最大值\(M\)和最小值\(\mu\)。于是\[Mg(x)\geqf(x)g(x)\geq\mug(x).\]对不等式求积分,我们有\[M\int_{\alpha}^{\beta}g(x)dx\geq\int_{\alpha}^{\beta}f(x)g(x)dx\geq\mu\int_{\alpha}^{\beta}g(x)......
  • 7.1 闲话-Erdős–Gallai 定理和哈基米算法(没写完)
    前几天考试有一个建出最大流模型,转为最小割,然后模拟最小割的套路。这一个套路并不是少见的。在Gale-Ryser定理和Erdős–Gallai定理的证明都体现了这个想法。Gale-Ryser定理:我先阅读了博文的ycx060617的评论的对Gale-Ryser定理的证明,略去。Erdős–Gallai定理:非增序......
  • 儒歇定理证明
    Introduction最近在学习过程中接触到了儒歇定理,感觉证明过程比较巧妙,遂整理了一下。儒歇定理的基本表述如下:若复函数\(f\),\(g\)在闭曲线\(C\)内部以及边界上全纯,同时在\(C\)上满足\(|g(z)|<|f(z)|\),则\(N(f+g,C)=N(f,C)\).其中\(N(f,C)\)代表\(f\)在闭曲线\(C\)内......