login

Year-end appeal: Please make a donation to the OEIS Foundation to support ongoing development and maintenance of the OEIS. We are now in our 61st year, we have over 378,000 sequences, and we’ve reached 11,000 citations (which often say “discovered thanks to the OEIS”).

Irregular triangle read by rows: row b (b >= 2) gives periodic part of digits of the base-b expansion of 1/5.
2

%I #28 Jan 17 2018 17:12:58

%S 0,0,1,1,0,1,2,1,0,3,1,1,1,2,5,4,1,4,6,3,1,7,2,2,2,4,9,7,2,7,10,5,2,

%T 11,3,3,3,6,13,10,3,10,14,7,3,15,4,4,4,8,17,13,4,13,18,9,4,19,5,5,5,

%U 10,21,16,5,16,22,11,5,23,6,6,6,12,25,19,6,19,26,13,6,27,7,7,7,14,29,22,7,22

%N Irregular triangle read by rows: row b (b >= 2) gives periodic part of digits of the base-b expansion of 1/5.

%C The number of terms associated with a particular value of b are cyclical: 4, 4, 2, 1, 1, repeat. This is because the values are associated with b (mod 5), starting with 2 (mod 5).

%C The expansion of 1/5 either terminates after one digit when b == 0 (mod 5) or is purely recurrent in all other cases of b (mod 5), since 5 is prime and must either divide or be coprime to b.

%C The period for purely recurrent expansions of 1/5 must be a divisor of Euler's totient of 5 = 4, i.e., one of {1, 2, 4}.

%C b == 0 (mod 5): 1 (terminating)

%C b == 1 (mod 5): 1 (purely recurrent)

%C b == 2 (mod 5): 4 (purely recurrent)

%C b == 3 (mod 5): 4 (purely recurrent)

%C b == 4 (mod 5): 2 (purely recurrent)

%C The expansion of 1/5 has a full-length period 4 when base b is a primitive root of p = 5.

%C Digits of 1/5 for the following bases:

%C 2 0, 0, 1, 1

%C 3 0, 1, 2, 1

%C 4 0, 3

%C 5* 1

%C 6 1

%C 7 1, 2, 5, 4

%C 8 1, 4, 6, 3

%C 9 1, 7

%C 10* 2

%C 11 2

%C 12 2, 4, 9, 7

%C 13 2, 7, 10, 5

%C 14 2, 11

%C 15* 3

%C 16 3

%C 17 3, 6, 13, 10

%C 18 3, 10, 14, 7

%C 19 3, 15

%C 20* 4

%C ...

%C Asterisks above denote terminating expansion; all other entries are digits of purely recurrent reptends.

%C Each entry associated with base b with more than one term has a second term greater than the first except for b = 2, where the first two terms are 0, 0.

%C Entries for b == 0 (mod 5) (i.e., integer multiples of 5) appear at 11, 23, 35, ..., every 12th term thereafter.

%D U. Dudley, Elementary Number Theory, 2nd ed., Dover, 2008, pp. 119-126.

%D G. H. Hardy and E. M. Wright, An Introduction to the Theory of Numbers. 6th ed., Oxford Univ. Press, 2008, pp. 138-148.

%D Oystein Ore, Number Theory and Its History, Dover, 1988, pp. 311-325.

%H Michael De Vlieger, <a href="/A262114/b262114.txt">Table of n, a(n) for n = 2..10000</a>

%H Eric Weisstein's World of Mathematics, <a href="http://mathworld.wolfram.com/DecimalPeriod.html">Decimal Period</a>.

%H Eric Weisstein's World of Mathematics, <a href="http://mathworld.wolfram.com/RepeatingDecimal.html">Repeating Decimal</a>.

%F Conjectures from _Colin Barker_, Oct 09 2015: (Start)

%F a(n) = 2*a(n-12) - a(n-24) for n>24.

%F G.f.: x^3*(x^19 +x^18 +x^17 +2*x^16 +2*x^15 +x^14 +2*x^13 +3*x^12 +2*x^11 +x^10 +x^9 +x^8 +3*x^7 +x^5 +2*x^4 +x^3 +x +1) / (x^24 -2*x^12 +1).

%F (End)

%e For b = 8, 1/5 = .14631463..., thus 1, 4, 6, 3 are terms in the sequence.

%e For b = 10, 1/5 = .2, thus 2 is a term in the sequence.

%e For b = 13, 1/5 = .27a527a5..., thus 2, 7, 10, 5 are terms in the sequence.

%t RotateLeft[Most@ #, Last@ #] &@ Flatten@ RealDigits[1/5, #] & /@ Range[2, 38] // Flatten (* _Michael De Vlieger_, Sep 11 2015 *)

%Y Cf. A004526 Digits of expansions of 1/2.

%Y Cf. A026741 Full Reptends of 1/3.

%Y Cf. A130845 Digits of expansions of 1/3 (eliding first 2 terms).

%Y Cf. A262115 Digits of expansions of 1/7.

%K nonn,base,tabf

%O 2,7

%A _Michael De Vlieger_, Sep 11 2015