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
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
1 reply · 3K views
ehrenfest
Messages
2,001
Reaction score
1

Homework Statement


Prove that there exists a positive integer k such that [itex]k 2^n+1[/itex] 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

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

Let n=24q+r.
We want to write down enough equation of the form [itex]x \equiv a_i \mod m_i[/itex], 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 [itex]2^{24q+r}+1 \equiv m_i \mod a_i[/itex]for some i.
Notice that if we set

[tex]k 2^{24q}+1\equiv k+1 \equiv 0 \mod 3[/tex],

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

[tex]k 2^{24q+1}+1 \equiv 2 k +1 \equiv 0 \mod 5[/tex],

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

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

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