初等数论一题求出所有能用a^b(a>=2 b>=2)表示的与2的n次幂(n为自然数)相邻的数
来源:学生作业帮 编辑:神马作文网作业帮 分类:数学作业 时间:2024/11/18 21:02:06
初等数论一题
求出所有能用a^b(a>=2 b>=2)表示的与2的n次幂(n为自然数)相邻的数
求出所有能用a^b(a>=2 b>=2)表示的与2的n次幂(n为自然数)相邻的数
解:先设a^b=2^n+1
则有a^b为奇数,所以a是奇数.
上式整理有(a-1)(a^(b-1)+a^(b-2)+..+1)=2^n
则a-1=2^p.1,a^(b-1)+..+1=2^q.2
其中p+q=n
因为a^(b-1)+...+1>1,所以,2^q为偶数.又因为2式左边一共有b项,每一项均为奇数,右边为偶数,所以,b应为偶数.(偶数个奇数相加是偶数.)
设b=2k
有a^2k=2^n+1,所以,(a^k-1)(a^k+1)=2^n
令a^k-1=2^r,a^k+1=2^s,其中r+s=n
相减得,2^s-2^r=2^r(2^(s-r)-1)=2
则必有2^(s-r)-1=1,2^r=2.所以r=1,s-r=1,s=2
所以,a^k=3.仅有a=3,b=2满足.
再设a^b=2^n-1
此时,令b=2^k*p(其中p为奇数,为了叙述方便,下面把2^k记作m)
有(a^m)^p+1=2^n.因为(a^m)^p+1=(a^m+1)((a^m)^(p-1)+.+1)=2^n
所以a^m+1=2^t(t=2.则(2^t-1)^p=2^n-1.因为此时p>=2,所以2^t-1整除2^n-1.而(2^t-1,2^n-1)=(2^t-1,2^n-2^t)=1(2^t-1为奇数,2^n-2^t为偶数)
所以与2^t-1整除2^n-1矛盾
所以,m>=2.又m=2^k为偶数,设m=2s,由3式知,(2^(t-1)-2^s)(2^(t-1)+2^s)=1
此不可能.所以有且仅有一组解:a=3,b=2.
PS:10分太少了点,加点分吧.-o-
则有a^b为奇数,所以a是奇数.
上式整理有(a-1)(a^(b-1)+a^(b-2)+..+1)=2^n
则a-1=2^p.1,a^(b-1)+..+1=2^q.2
其中p+q=n
因为a^(b-1)+...+1>1,所以,2^q为偶数.又因为2式左边一共有b项,每一项均为奇数,右边为偶数,所以,b应为偶数.(偶数个奇数相加是偶数.)
设b=2k
有a^2k=2^n+1,所以,(a^k-1)(a^k+1)=2^n
令a^k-1=2^r,a^k+1=2^s,其中r+s=n
相减得,2^s-2^r=2^r(2^(s-r)-1)=2
则必有2^(s-r)-1=1,2^r=2.所以r=1,s-r=1,s=2
所以,a^k=3.仅有a=3,b=2满足.
再设a^b=2^n-1
此时,令b=2^k*p(其中p为奇数,为了叙述方便,下面把2^k记作m)
有(a^m)^p+1=2^n.因为(a^m)^p+1=(a^m+1)((a^m)^(p-1)+.+1)=2^n
所以a^m+1=2^t(t=2.则(2^t-1)^p=2^n-1.因为此时p>=2,所以2^t-1整除2^n-1.而(2^t-1,2^n-1)=(2^t-1,2^n-2^t)=1(2^t-1为奇数,2^n-2^t为偶数)
所以与2^t-1整除2^n-1矛盾
所以,m>=2.又m=2^k为偶数,设m=2s,由3式知,(2^(t-1)-2^s)(2^(t-1)+2^s)=1
此不可能.所以有且仅有一组解:a=3,b=2.
PS:10分太少了点,加点分吧.-o-
已知a=5,b=-1|5,n为自然数,你能求出a*(2n+2)·b*(2n)·b*4的值吗?
已知a=5,b=-1|5,n为自然数,你能求出a^(2n+2)*b^(2n)*b^3的值吗
已知a=5,b=-0.2,n为自然数,求a的(2n+2)次幂×b的2n次幂×b的3次幂求详细~
已知a=9,b=-1/9,n为自然数,你能求出a^2n+3×b^2n+5的值吗
数论难题a(n)表示前n个正整数的最小共倍数,证明a(n)>=2^(n-1)
已知a=5,b=-五分之一 n为自然数,你能求出a的(2n+2)次方×b的2n次方×b³的值吗
字母n表示自然数,用字母表示:a的2倍与b的平方和
已知a=5,b=负五分之一,n为自然数,你能求出a的2n加2次方乘以b的2n次方乘以b的3次方
约分:a的2n+2次幂-减去a的平方乘以b的2n次幂分之a的n+1次幂-a乘以b的n次幂=( )
设a=√n+1-√n,b=√n+2-√n+1,其中n为正自然数,则a,b的大小关系是
如题,已知a=2013,b=2013分之1,n为自然数,求a的2n+1次方b的2n次方的值
已知a=5,b=-1/5,n为自然数,你能求出a*(2n+2)·b*(2n)·b*3