MHB How can I continue,in order to show that 2^b-1 does not divide 2^a+1?

  • Thread starter Thread starter evinda
  • Start date Start date
AI Thread Summary
The discussion centers on proving that for integers a and b greater than or equal to 3, the expression 2^b - 1 does not divide 2^a + 1. Initial attempts involve assuming 2^b - 1 divides 2^a + 1, leading to the consideration of the greatest common divisor (gcd) of 2^b - 1 and 2^a + 2^b. Two cases are presented: if b divides a, then the remainder when dividing 2^a + 1 by 2^b - 1 is 2, indicating that 2^b - 1 cannot divide 2^a + 1. If b does not divide a, a similar analysis shows that the conditions also lead to a contradiction, confirming the original assertion. The conclusion is that 2^b - 1 does not divide 2^a + 1 for the specified values of a and b.
evinda
Gold Member
MHB
Messages
3,741
Reaction score
0
Hi! :)
I am looking at the following exercise:
If $a,b \geq 3$,prove that $2^b-1$ does not divide $2^a+1$.
That's what I have tried so far:
We suppoe that $2^b-1|2^a+1$.
We know that $2^b-1|2^b-1$.
So,we get that $2^b-1|2^a+2^b$.
But how can I continue? Do,I have to show that $(2^b-1,2^a+2^b)=1$ ?
I have tried to do this,like that: Let $(2^b-1,2^a+2^b)=d>1$,so $d$ has a prime divisor,$p$.
$p|d,d|2^b-1,d|2^a+2^b \Rightarrow p|2^b-1,p|2^a+2^b$ ,but I don't know how I could continue... :confused:
 
Mathematics news on Phys.org
evinda said:
Hi! :)
I am looking at the following exercise:
If $a,b \geq 3$,prove that $2^b-1$ does not divide $2^a+1$.
That's what I have tried so far:
We suppoe that $2^b-1|2^a+1$.
We know that $2^b-1|2^b-1$.
So,we get that $2^b-1|2^a+2^b$.
But how can I continue? Do,I have to show that $(2^b-1,2^a+2^b)=1$ ?
I have tried to do this,like that: Let $(2^b-1,2^a+2^b)=d>1$,so $d$ has a prime divisor,$p$.
$p|d,d|2^b-1,d|2^a+2^b \Rightarrow p|2^b-1,p|2^a+2^b$ ,but I don't know how I could continue... :confused:

Your statement is false, if a = b then $2^b - 1$ DOES divide $2^a - 1$...
 
evinda said:
Hi! :)
I am looking at the following exercise:
If $a,b \geq 3$,prove that $2^b-1$ does not divide $2^a+1$.
That's what I have tried so far:
We suppoe that $2^b-1|2^a+1$.
We know that $2^b-1|2^b-1$.
So,we get that $2^b-1|2^a+2^b$.
But how can I continue? Do,I have to show that $(2^b-1,2^a+2^b)=1$ ?
I have tried to do this,like that: Let $(2^b-1,2^a+2^b)=d>1$,so $d$ has a prime divisor,$p$.
$p|d,d|2^b-1,d|2^a+2^b \Rightarrow p|2^b-1,p|2^a+2^b$ ,but I don't know how I could continue... :confused:

There are 2 cases
case 1
b is a factor of a say a = mb

then $2^b-1$ is a factor of $2^{mb} - 1$ so $2^b-1$ is not a factor of $2^a + 1$ as remainder = 2
case 2
b is not a factor of a so a = mb + c where c < b

$2^a+ 1 = 2^{mb+c} + 1$
= $2^c ( 2^{mb}- 1) + 2^c + 1$
now $2^b$ devides $2^c ( 2^{mb}- 1)$ but as c < b
$2^c + 1 < 2^b-1 as 2^c + 2 < 2^{c+1}$

so it does not devide
 
Insights auto threads is broken atm, so I'm manually creating these for new Insight articles. In Dirac’s Principles of Quantum Mechanics published in 1930 he introduced a “convenient notation” he referred to as a “delta function” which he treated as a continuum analog to the discrete Kronecker delta. The Kronecker delta is simply the indexed components of the identity operator in matrix algebra Source: https://www.physicsforums.com/insights/what-exactly-is-diracs-delta-function/ by...
Suppose ,instead of the usual x,y coordinate system with an I basis vector along the x -axis and a corresponding j basis vector along the y-axis we instead have a different pair of basis vectors ,call them e and f along their respective axes. I have seen that this is an important subject in maths My question is what physical applications does such a model apply to? I am asking here because I have devoted quite a lot of time in the past to understanding convectors and the dual...
Back
Top