cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

A343104 Smallest number having exactly n divisors of the form 8*k + 1.

This page as a plain text file.
%I A343104 #22 Apr 09 2021 16:40:37
%S A343104 1,9,81,153,891,1377,8019,3825,11025,15147,88209,31977,354375,99225,
%T A343104 121275,95931,7144929,187425,893025,287793,1403325,1499553,1715175,
%U A343104 675675,1091475,6024375,1576575,1686825,72335025,2027025,2264802453041139,2297295,11609325,121463793,9823275
%N A343104 Smallest number having exactly n divisors of the form 8*k + 1.
%C A343104 Smallest index of n in A188169.
%C A343104 a(n) exists for all n, since 3^(2n-2) has exactly n divisors of the form 8*k + 1, namely 3^0, 3^2, ..., 3^(2n-2). This actually gives an upper bound for a(n).
%C A343104 From _David A. Corneth_, Apr 05 2021: (Start)
%C A343104 All terms are odd since if a term is even then the odd part has the same number of such divisors.
%C A343104 No a(2*k + 1) is divisible by a prime congruent to 1 (mod 8).
%C A343104 If for some k, A188169(k) > m then A188169(k*t) > m for all t > 0. This can be used to trim searches when looking for some a(m).
%C A343104 If gcd(k, m) = 1 then A188169(k) * A188169(m) <= A188169(k*m) (End)
%F A343104 a(2n-1) <= 3^(2n-2) * 11, since 3^(2n-2) * 11 has exactly 2n-1 divisors congruent to 1 modulo 8: 3^0, 3^2, ..., 3^(2n-2), 3^1 * 11, 3^3 * 11, ..., 3^(2n-3) * 11.
%F A343104 a(2n) <= 3^(n-1) * 187, since 3^(n-1) * 187 has exactly 2n divisors congruent to 1 modulo 8: 3^0, 3^2, ..., 3^b, 3^0 * 17, 3^2 * 17, ..., 3^b * 17, 3^1 * 11, 3^3 * 11, ..., 3^a * 11, 3^1 * 187, 3^3 * 187, ... 3^a * 187, where a is the largest odd number <= n-1 and b is the largest even number <= n-1.
%e A343104 a(4) = 153 since it is the smallest number with exactly 4 divisors congruent to 1 modulo 8, namely 1, 9, 17 and 153.
%o A343104 (PARI) res(n,a,b) = sumdiv(n, d, (d%a) == b)
%o A343104 a(n) = if(n>0, for(k=1, oo, if(res(k,8,1)==n, return(k))))
%Y A343104 Smallest number having exactly n divisors of the form 8*k + i: this sequence (i=1), A343105 (i=3), A343106 (i=5), A188226 (i=7).
%Y A343104 Cf. A188169.
%Y A343104 Cf. A007519, A007520, A007521, A007522.
%K A343104 nonn
%O A343104 1,2
%A A343104 _Jianing Song_, Apr 05 2021
%E A343104 More terms from _David A. Corneth_, Apr 06 2021