Is There a Positive Integer k Making k*2^n + 1 Composite for All n?

  • Thread starter Thread starter ehrenfest
  • Start date Start date
  • Tags Tags
    Thanks
Click For Summary
SUMMARY

The discussion centers on proving the existence of a positive integer k such that the expression k * 2^n + 1 is composite for every positive integer n. The approach involves using the Chinese Remainder Theorem and analyzing congruences modulo 24. Key findings include the factorization of 2^24 and the application of Fermat's Little Theorem to establish congruences for various values of n. The challenge remains in addressing specific cases where n modulo 24 equals 11 and 23, particularly concerning the factorization of 4097.

PREREQUISITES
  • Understanding of the Chinese Remainder Theorem
  • Familiarity with Fermat's Little Theorem
  • Knowledge of modular arithmetic
  • Basic number theory concepts, including prime factorization
NEXT STEPS
  • Explore the Chinese Remainder Theorem in-depth
  • Study Fermat's Little Theorem applications in number theory
  • Investigate the properties of the number 4097 and its prime factors
  • Learn techniques for proving composite numbers in algebraic expressions
USEFUL FOR

This discussion is beneficial for mathematicians, number theorists, and students studying advanced algebra or number theory, particularly those interested in composite number proofs and modular arithmetic.

ehrenfest
Messages
2,001
Reaction score
1

Homework Statement


Prove that there exists a positive integer k such that k 2^n+1 is composite for every positive integer n. (Hint: Consider the congruence class of n modulo 24 and apply the Chinese Remainder Theorem).

Homework Equations

The Attempt at a Solution


Notice that

2^{24}=(2^3-1)(2^3+1)(2^6+1)(2^12+1)=3^2*5*7*13*4097

Let n=24q+r.
We want to write down enough equation of the form x \equiv a_i \mod m_i, where the m_i are relatively prime so that the solution k to these equations will have the desired properties.
This means that for each value of r in [0,23], we need to have a congruence equation such that 2^{24q+r}+1 \equiv m_i \mod a_ifor some i.
Notice that if we set

k 2^{24q}+1\equiv k+1 \equiv 0 \mod 3,

this takes care of all the cases where r is even (by Fermat's Little Theorem).
If we set

k 2^{24q+1}+1 \equiv 2 k +1 \equiv 0 \mod 5,

that takes care of r=1,5,9,13,17,21 by Fermat's Little Theorem.
Setting

k 2^{24q+3}+1 \equiv 8 k +1 \equiv 0 \mod 7
k 2^{24q+7}+1 \equiv 128 k +1 \equiv 0 \mod 13

we take care of all the rest of the possible r except 11 and 23. What I am unsure of is how to handle the cases of r = 11 and 23 without using a calculator to find that 4097 has 2 prime factors? But maybe I should have just checked whether 4097 was divisible by the the first 10 primes and found that indeed it was divisible by 17? Also, how would you arrive at the hint if you were working this problem in a test without the hint? Or is the hint kind of necessary?
 
Last edited:
Physics news on Phys.org
Anyone?
 

Similar threads

Replies
6
Views
4K
  • · Replies 9 ·
Replies
9
Views
2K
Replies
4
Views
2K
Replies
4
Views
2K
Replies
15
Views
4K
  • · Replies 30 ·
2
Replies
30
Views
4K
Replies
7
Views
4K
Replies
12
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K
Replies
27
Views
4K