On the first assertion, actually there is a pattern underlying when the factors will appear. This can be seen from the following table which varies k but keeps n constant. Let n = 5, say. The table shows the factors of k*2^5+1
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
We can see that 3 appears every third k, 5 every 5th k, 7 every 7th k, 11 every 11th k. Phil Carmody points out that -1 is in k's coset of the multiplicative subgroup generated by 2
On the second assertion e values are constant, but there is a reason for their values. For those mathematicians amongst you:
For each prime p, we define the exponent e of p base 2 as the least integer n such that 2^n=1(mod p). Thus we have 2^e=1(p) which means p divides 2^e-1.
This looks horrible for people like me who do not spend their world in modular arithmetic, but perhaps the following table might help to see the pattern:
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
The bold numbers represent the first time each prime appears, and these are equivalent to the e numbers we saw above. Neat!
So?
Well, we saw that when k equals 1, then 3 and 17 are never factors. There are certain k values for which all of the primes which have a low e value never appear as factors of our series.
Address questions about this web page to: Robert Smith
Last updated 9 November 2002