2^a + 1 not divisible by 2^b - 1

  • Thread starter Thread starter samkolb
  • Start date Start date
Click For Summary
SUMMARY

The discussion focuses on proving that for positive integers a and b, where b > 2, the expression 2^a + 1 is not divisible by 2^b - 1. The proof begins by assuming the existence of an integer x such that (2^a + 1)/(2^b - 1) = x. Through manipulation of the equation and considering various cases for k, contradictions arise, particularly when k is chosen as the minimum of a, b, and r. The exploration of values of (2^a + 1) mod (2^b - 1) as a increases is suggested as a further approach to the proof.

PREREQUISITES
  • Understanding of modular arithmetic
  • Familiarity with prime factorization of integers
  • Knowledge of mathematical induction
  • Basic algebraic manipulation skills
NEXT STEPS
  • Research modular arithmetic properties in number theory
  • Study the principles of mathematical induction for proofs
  • Explore advanced factorization techniques for integers
  • Investigate the behavior of powers of two in modular systems
USEFUL FOR

This discussion is beneficial for mathematicians, students studying number theory, and anyone interested in advanced proof techniques involving divisibility and modular arithmetic.

samkolb
Messages
37
Reaction score
0

Homework Statement


If a, b are positive integers, b > 2, prove that

2^a + 1 is not divisible by 2^b - 1.


Homework Equations


prime factorization of integers


The Attempt at a Solution


Suppose (2^a + 1)/(2^b - 1) = x, x an integer.

Then x + 1 = (2^a + 2^b)/(2^b - 1).

Write x + 1 = m2^r, m odd, r non-negative. Then

(2^b - 1)m2^r = 2^a + 2^b.

Let k = min{a,b,r}. Then

(1) (2^b - 1)m2^(r - k) = 2^(a - k) + 2^(b - k)

For most choices of k, (1) leads to contradiction. For example, if k = r, r < a, r < b, then LHS of (1) is odd while the RHS is even. The tricky cases are k = r = a with a < b, and k = r = b with b < a. In both these cases both LHS and RHS of (1) are odd.
 
Physics news on Phys.org
Hmm. Try looking at the values of ##(2^a+1)## mod ##(2^b-1)## as ##a## increases. Starting with ##a=b##.
 

Similar threads

  • · Replies 9 ·
Replies
9
Views
2K
Replies
2
Views
1K
Replies
15
Views
4K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K
Replies
1
Views
1K
Replies
8
Views
1K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 18 ·
Replies
18
Views
2K
Replies
3
Views
1K