as+bt=1是ab两数互质的充要条件

时间 2019-11-11

标签 as+bt 充要条件繁體版

原文原文链接

【as+bt=1是ab两数互质的充要条件】html

　充分性，as+bt=1 => (a,b)=1：spa

　　　由于as+bt=1,设c=(a,b),则c整除a和b,因此c整除as+bt,即c整除1,因此c=1,即a和b互质htm

　必要性，(a,b)=1 => ab+bt=1：ip

　　　考虑非空集合A={as+bt│s,t为任意整数},不妨设a0是A中最小正整数且a0=as0+bt0,y是A中任意一个元素，get

　　　由带余除法 y=as+bt=q(as0+bt0)+r,0<=r<a0,则r=a(s-qs0)+b(t-qt0)属于A，若r非零则r是A中比a0更小之正整数，矛盾，因此r=0，从而a0整除y。qt

　　　由于a0整除y，因此 (as+bt)/a0 = q。＝> as/a0+bt/a0 = q。s、t为任意值，而q必然为整数，则as/a0、bt/a0必须是整数。则有a0整除a,a0整除b,因此a0整除(a,b)=1,所以a0=1,因此存在整数s0和t0使得as0+bt0=1it

【贝祖定理（裴蜀定理）】class

ax+by=m

　　有整数解时当且仅当m是d的倍数。d是(a,b)。裴蜀等式有解时必然有无穷多个整数解，每组解 $x$ 、 $y$ 都称为裴蜀数。在前部分证实的基础上，基础

　　对 $a$ 和 $b$ 的任意正公约数 $d$ ，设 $a=kd$ 、 $b=ld$ ，那么

d_0 =x_0a + y_0b = ( x_0k + y_0l )d

　　所以 $d \ | \ d_0$ 。因此 $d_0$ 是 $a$ 和 $b$ 的最大公约数。