下载 App
默认排序
默认排序
佩恩:
对于线性丢番图方程讨论n等于二的情况
ax+by=c
其中c|gcd(a,b)
将a,b,c同时除以gcd(a,b)
得到
a'x+b'y=c'
其中gcd(a',b',c')=1
根据欧几里得算法
a0=a',a1=b,a0>a1
a0=q1a1+a2
a1=q2a2+a3
……
a_n=q_(n+1)a_(n+1)+a_(n+2)
变形得
a2=a0-q1a1=c1a0+d1a1
a3=a1-q2a2=c2a0+d2a1
……
a_n=a_(n-2)-q_(n-1)a_(n-1)=c_(n-1)a0+d_(n-2)a1
接下来讨论c_n和d_n的推递式
a_n=a_(n-2)-q_(n-1)a_(n-1)=c_(n-1)a0+d_(n-2)a1
a_(n+1)=a_(n-1)-q_na_n=c_(n-1)a0+d_(n-1)a1
a_(n-1)=a_(n-3)-q_(n-2)a_(n-2)=c_(n-3)a0+d_(n-3)a1
a_(n+1)=c_(n-3)a0+d_(n-3)a1-q_n(c_(n-1)a0+d_(n-1)a1)
∴c_(n-1)a0+d_(n-1)a1=c_(n-3)a0+d_(n-3)a1-q_n(c_(n-2)a0+d_(n-2)a1)
∴整理得到
c_n=c_(n-1)-q_(n+1)c_(n-2)
d_n=d_(n-1)-q_(n+1)d_(n-2)
初值
c_-1=1,c0=0
d_-1=0,d0=1此处不做详细推导
于是我们得到对于
a'x+b'y=c'
的一组特解为x=c_k,y=d_k,两个c含义不一样,不要弄混
(注:推导无矩阵带余除法等复杂方法,由纯代数推导,适合新手宝宝体质)
公式对决icon
晨心工作室:
被推荐了,全是大家的功劳
图片
公式对决icon
fw:
真有人在玩这个游戏吗[表情_震惊]