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.

Showing 1-3 of 3 results.

A328149 Numbers whose set of divisors contains a quadruple (x, y, z, w) satisfying x^3 + y^3 + z^3 = w^3.

Original entry on oeis.org

60, 72, 120, 144, 180, 216, 240, 288, 300, 360, 420, 432, 480, 504, 540, 576, 600, 648, 660, 720, 780, 792, 840, 864, 900, 936, 960, 1008, 1020, 1080, 1140, 1152, 1200, 1224, 1260, 1296, 1320, 1368, 1380, 1440, 1500, 1512, 1560, 1584, 1620, 1656, 1680, 1710
Offset: 1

Views

Author

Michel Lagneau, Jun 07 2020

Keywords

Comments

The subsequence of numbers of the form 2^i*3^j is 72, 144, 216, 288, 432, 576, 648, 864, 1152, 1296, ...
The corresponding number of quadruples of the sequence is 1, 1, 2, 2, 2, 2, 3, 3, 2, 6, 2, 4, 4, 2, 3, 4, 4, 3, 2, 10, ... (see the sequence A328204).
The set of divisors of a(n) contains at least one primitive quadruple.
Examples:
The set of divisors of a(1) = 60 contains only one primitive quadruple: (3, 4, 5, 6).
The set of divisors of a(10) = 360 contains two primitive quadruples: (1, 6, 8, 9) and (3, 4, 5, 6).
From Robert Israel, Jul 06 2020: (Start)
Every multiple of a member of the sequence is in the sequence.
The first member of the sequence not divisible by 6 is a(68) = 2380, which has the quadruple (7, 14, 17, 20).
The first odd member of the sequence is a(1230) = 43065, which has the quadruple (11, 15, 27, 29). (End)

Examples

			120 is in the sequence because the set of divisors {1, 2, 3, 4, 5, 6, 8, 10, 12, 15, 20, 24, 30, 40, 60, 120} contains the quadruples {3, 4, 5, 6} and {6, 8, 10, 12}. The first quadruple is primitive.
		

References

  • Y. Perelman, Solutions to x^3 + y^3 + z^3 = u^3, Mathematics can be Fun, pp. 316-9 Mir Moscow 1985.

Crossrefs

Programs

  • Maple
    with(numtheory):
    for n from 3 to 2000 do :
       d:=divisors(n):n0:=nops(d):it:=0:
        for i from 1 to n0-3 do:
         for j from i+1 to n0-2 do :
          for k from j+1 to n0-1 do:
          for m from k+1 to n0 do:
           if d[i]^3 + d[j]^3 + d[k]^3 = d[m]^3
            then
            it:=it+1:
            else
           fi:
          od:
         od:
        od:
        od:
        if it>0 then
        printf(`%d, `,n):
        else fi:
       od:
  • Mathematica
    nq[n_] := If[ Mod[n, 6]>0, 0, Block[{t, u, v, c = 0, d = Divisors[n], m}, m = Length@ d; Do[ t = d[[i]]^3 + d[[j]]^3; Do[u = t + d[[h]]^3; If[u > n^3, Break[]]; If[ Mod[n^3, u] == 0 && IntegerQ[v = u^(1/3)] && Mod[n, v] == 0, c++], {h, j+1, m - 1}], {i, m-3}, {j, i+1, m - 2}]; c]]; Select[ Range@ 1026, nq[#] > 0 &] (* program from Giovanni Resta adapted for the sequence. See A330893 *)
  • PARI
    isok(n) = {my(d=divisors(n), m); if (#d > 3, for (i=1, #d-3, for (j=i+1, #d-2, for (k=j+1, #d-1, if (ispower(d[i]^3+d[j]^3+d[k]^3, 3, &m) && !(n%m), return (1));););););} \\ Michel Marcus, Nov 15 2020

A337036 Numbers m such that the elements of all quadruples (x, y, z, w) satisfying x^3 + y^3 + z^3 = w^3 contained in the set of divisors of m are exactly the first k divisors of m for some k.

Original entry on oeis.org

720, 864, 1440, 1728, 2160, 2592, 2880, 3456, 4320, 5184, 5760, 6480, 6912, 7776, 8640, 10368, 11520, 12960, 13824, 15552, 17280, 19440, 20736, 23040, 23328, 25920, 27648, 31104, 34560, 38880, 41472, 46080, 46656, 51840, 55296, 58320, 62208, 69120, 69984, 77760
Offset: 1

Views

Author

Michel Lagneau, Aug 12 2020

Keywords

Comments

Members m in A328149 for which there exists a number k < tau(m) such that the elements of all quadruples satisfying x^3 + y^3 + z^3 = w^3 included in the set of the divisors of m are the first k divisors of m.
Conjecture 1: a(n) == 0 (mod 144).
Conjecture 2: if the numbers m such that the elements of all quadruples (x, y, z, w) satisfying x^3 + y^3 + z^3 = w^3 contained in the set of divisors of m are exactly the first k divisors of m, then k = tau(m) - 5 or tau(m) - 6.
The corresponding k of the sequence are given by the sequence {b(n)} = {24, 19, 30, 23, 34, 25, 36, 27, 42, 30, 42, 44, 31, 31, 50, 35, 48, 54, 35, 37, 58, 54, ...} and the sequence {c(n)} = {tau(a(n)) - b(n)} = {6, 5, 6, 5, 6, 5, 6, 5, 6, 5, 6, 6, 5, 5, 6, 5, 6, 6, 5, 5, 6, 6, ...}. We observe that c(n) = 5 or 6 (see the table in the link). For n = 1 to 70, the statistic observed is 34 occurrences for the number 5 (48.57%) and 36 occurrences for the number 6 (51.42%). It is probable that Pr(5) tends to 0.5 and Pr(6) tends to 0.5 as n tends to infinity, where Pr(x) is the probability of the occurrence x.
It appears that assuming (x,y,z,w) to contain distinct elements or not does not matter to the sequence, unlike A335654. - Chai Wah Wu, Nov 16 2020
For 176 terms we get 87 5's and 89 6's. - Michel Marcus, Nov 17 2020

Examples

			2592 is in the sequence because the divisors are {1, 2, 3, 4, 6, 8, 9, 12, 16, 18, 24, 27, 32, 36, 48, 54, 72, 81, 96, 108, 144, 162, 216, 288, 324, 432, 648, 864, 1296, 2592} and the elements of the 9 quadruples (x, y, z, w) satisfying x^3 + y^3 + z^3 = w^3 and belonging to the set of divisors of 2592: (1, 6, 8, 9), (2, 12, 16, 18), (3, 18, 24, 27), (4, 24, 32, 36), (6, 36, 48, 54), (9, 54, 72, 81), (12, 72, 96, 108), (18, 108, 144, 162) and (36, 216, 288, 324) are the first 25 divisors of 2592 with 25 = tau(2592) - 5 = 30 - 5.
		

References

  • Y. Perelman, Solutions to x^3 + y^3 + z^3 = u^3, Mathematics can be Fun, pp. 316-9 Mir Moscow 1985.

Crossrefs

Programs

  • Maple
    with(numtheory):
    for n from 6 by 6 to 200000 do :lst:={}:lst1:={}:it:=0:
       d:=divisors(n):n0:=nops(d):
        for i from 1 to n0-3 do:
         for j from i+1 to n0-2 do:
          for k from j+1 to n0-1 do:
          for m from k+1 to n0 do:
           if d[i]^3 + d[j]^3 + d[k]^3 = d[m]^3
            then
            it:=it+1:
            lst:=lst union {d[i]} union {d[j]} union {d[k]} union {d[m]}:
            else
           fi:
          od:
         od:
        od:
        od:
        n1:=nops(lst):
         for l from 1 to n1 do:
          lst1:= lst1 union {d[l]}:
         od:
        if lst=lst1 and lst<>{}
         then
         x:=tau(n)-n1:printf(`%d %d %d %d %d \n`,n,tau(n),n1,x,it):
        else fi:
       od:
  • PARI
    isok(n) = {my(d=divisors(n), nb=0, s=[]); if (#d > 3, for (i=1, #d-3, for (j=i+1, #d-2, for (k=j+1, #d-1, if (ispower(d[i]^3+d[j]^3+d[k]^3, 3, &m) && !(n%m), s = concat(s, [d[i], d[j], d[k], m]));););); s = Set(s); if (#s, for (k=1, #s, if (s[k] != d[k], return (0));); return(1);););} \\ Michel Marcus, Nov 15 2020

A337098 Least k whose set of divisors contains exactly n quadruples (x, y, z, w) such that x^3 + y^3 + z^3 = w^3, or 0 if no such k exists.

Original entry on oeis.org

60, 120, 240, 432, 960, 360, 3840, 1728, 2592, 720, 1800, 2520, 161700, 1440, 6840, 9000, 2160, 2880, 168300, 5040, 41472, 5760, 1520820, 4320, 7200, 11520, 119700, 10080, 682080, 10800, 8640, 14400, 27360, 12960, 373248, 20160, 61560, 17280, 28800, 55440, 171000, 21600
Offset: 1

Views

Author

Michel Lagneau, Aug 15 2020

Keywords

Comments

Observation: a(n) == 0 (mod 12).
Listing primitive tuples (w, x, y, z) enables to compute for some m how many such tuples are in its divisors using the lcm of such tuples. - David A. Corneth, Sep 26 2020

Examples

			a(3) = 240 because the set of the divisors {1, 2, 3, 4, 5, 6, 8, 10, 12, 15, 16, 20, 24, 30, 40, 48, 60, 80, 120, 240} contains 3 quadruples {3, 4, 5, 6}, {6, 8, 10, 12} and {12, 16, 20, 24}. The first quadruple is primitive.
		

References

  • Y. Perelman, Solutions to x^3 + y^3 + z^3 = u^3, Mathematics can be Fun, pp. 316-9 Mir Moscow 1985.

Crossrefs

Programs

Extensions

a(13)-a(22) from Chai Wah Wu, Sep 25 2020
More terms from David A. Corneth, Sep 26 2020
Showing 1-3 of 3 results.