LTE引理.docx

LTE引理是一个解指数型不定方程的强力工具。它在Olympiad folklore非常知名，虽然它的起源已经无从查找了。它和Hensel’s lemma关系密切，无论命题还是证明。本文证明它并给出它的一些应用。我们可以用本引理解决大量的指数型不定方程问题。尤其是我们可以找到某些质因子的时候。有时LTE引理甚至能秒杀一道题。这个引理告诉我们如何求一个奇素数p在a^n-b^n中的次数。这个引理的证明是完全初等的而且对一般竞赛生不难理解。我们记v[p](n)为p在n中的次数，。或者说如果v[p](n)=a则p^a|n但把a换成更大的就不行。如果n不是p的倍数，v[p](n)=0容易知道v[p](ab)=v[p](a)+v[p](b)以及v[p](a+b)≥min{v[p](a),v[p](b)}先证明两个小引理（这两个引理中p都是奇素数）1.如果p|x-y，(p,n)=1，(p,x)=1，那么v[p](x^n-y^n)=v[p](x-y)由于x^n-y^n=(x-y)(x^(n-1)+x^(n-2)y+…+y^(n-1))而在mod p意义下，由于x=y，有x^(n-1)+x^(n-2)y+…+y^(n-1)=n*x^(n-1)≠0（每个加项相同，共n项）因此v[p](x^(n-1)+x^(n-2)y+…+y^(n-1))=0因此v[p](x^n-y^n)=v[p](x-y)+v[p](x^(n-1)+x^(n-2)y+…+y^(n-1))=v[p](x-y)2.如果p|x-y，(p,x)=1，那么v[p](x^p-y^p)=v[p](x-y)+1假设x=y+k*p^a，其中(k,p)=1，则a=v[p](x-y)由二项式定理（这里的C(m,n)表示组合数），x^p-y^p=(x+k*p^a)^p-x^p=(x^p+p*x^(p-1)*k*p^a+C(p,2)*x^(p-2)*k^2*p^(2a)+C(p,3)*x^(p-3)*k^2*p^(3a)+…)-x^p=p^(a+1)*x^(p-1)*k+S容易验证S的每一项都是p^(2a+1)的倍数所以这个数是p^(a+1)的倍数但不是p^(a+2)的倍数（S是但p^(a+1)*x^(p-1)*k不是）故v[p](x^p-y^p)=a+1=v[p](x-y)+1好了，下面献上LTE引理：如果p是奇素数，p|x-y，(p,x)=1，那么v[p](x^n-y^n)=v[p](x-y)+v[p](n)不断把n中的因子p搬到外面变成+1，搬完了就证完了。。。对于n是奇数，我们还有v[p](x^n+y^n)=v[p](x+y)+v[p](n)这是通过把y理解成-y得到的p=2的情况没啥用处，就不搬运了。。。应用1.求所有正整数n使得存在正整数x,y,k满足(x,y)=1,k1使得3^n=x^k+y^k解答如果k是偶数，由于x^k和y^k mod 3都是1或0，所以都是0，这与(x,y)=1矛盾如果k是奇数，则v[3](x^k+y^k)=v[3](k)+v[3](x+y)=v[3](k(x+y))因此x^k+y^k≤k(x+y)（左边完全是3的幂次，右边还可能有别的），x^(k-1)-x^(k-2)y+…+y^(k-1)≤k……(1)显然x≠y，不妨设xy，则x^(k-1)-x^(k-2)*y=x^(k-2)(x-y)≥x≥2x^(k-3)-x^(k-4)*y=x^(k-4)(x-y)≥x≥2总之就是把(1)的前k-1项两两配对，每一对的和都不小于2又y^(k-1)≥1,全加起来就至少是项数k而且如果x≥3或者k3，等号就取不到因此x=2,y=1,k=3验证知此时n=22.已知p是一个奇素数，正整数x,y,m1，证明：如果(x^p+y^p)/2=((x+y)/2)^m，则m=p解答由幂平均不等式m≥p假设(x,y)=d,x=du,y=dv则(u^p+v^p)/2=d^(m-p)*((u+v)/2)^m任取u+v的素因子q如果q为奇数则v[p]((u^q+v^q)/2)=v[q](u+v)+v[q](p)≤v[q](u+v)+1≤2v[q](u+v)而m≥p≥3，有v[q](d^(m-p)*((u+v)/2)^m)≥v[q](((u+v)/2)^m)=m*v[q](u+v)矛盾！如果q只能为2，u+v就是2的幂次，假设u+v=2^a由于(u,v)=1，u,v均为奇数又u^(p-1)-u^(p-2)v+…+v^(p-1)共p项，为奇数有v[2]((u^p+v^p)/2)=v[2]((u+v)/2)=a-1又v[2](d^(m-p)*((u+v)/2)^m)≥v[2]((u+v)/2)^m)=m(a-1)因此a=1，u=v=1，这说明x=y，进而m=p3.求x^2009+y^2009=7^z的全部正整数解