Bases Called Into Question

Consider the sequence defined by a n = 1 01 01 01 n times a_n=\smash[b]{1\, \underbrace{01\cdots01\cdots01\,}_{n \, \text{times}}} .

That is, a n a_n is 1 1 followed by 01 01 n n times ( n N n \in \mathbb{N} ). The sequence's first terms are a 1 = 101 a_1=101 , a 2 = 10101 a_2=10101 , a 3 = 1010101 a_3=1010101 , a 4 = 101010101 a_4=101010101 , ...

Therefore, a n a_n is composite in any base b b ( b N (b \in \mathbb{N} , b 2 ) b\geq2) for:

All values of n n All values of n n , except one None of the other answers At least 2 values of n n , but not infinitely many All prime values of n n

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

1 solution

Qweros Bistoros
Aug 12, 2020

a n = k = 0 n b 2 k = b 2 n + 2 1 b 2 1 = ( b n + 1 + 1 ) ( b n + 1 1 ) b 2 1 a_n = \sum_{k=0}^{n} b^{2k} = \dfrac{b^{2n+2}-1}{b^2-1} = \dfrac{(b^{n+1}+1)(b^{n+1}-1)}{b^2-1}

If n > 1 n>1 then b n + 1 1 > b 2 1 b^{n+1}-1 > b^2-1 and a n a_n composite

a 1 = b 2 + 1 a_1 = b^2+1 can be prime f.i. b = 2 b=2

A little more detail is needed here to prove that a n a_n is composite for n 2 n \ge 2 .

  • if n n is even then b 1 b-1 divides b n + 1 1 b^{n+1}-1 and b + 1 b+1 divides b n + 1 + 1 b^{n+1}+1 (nontrivially each time),
  • if n n is odd then b 2 1 b^2-1 divides b n + 1 1 b^{n+1}-1 nontrivially.

Mark Hennings - 9 months, 4 weeks ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...