Processing math: 100%

Monday, 24 April 2023

Pseudo-Sphenic Number Sequences

A cubic polynomial with three real roots and rational coefficients can be written in the following form:

(ax + b) ×  (cx + d) × (ex + f) 
where a, b, c, d, e and f are rational numbers

Let's modify the conditions so that a, b, c, d, e and f are integers (positive or negative) and x can only take integer values greater than 1. Let's change the x to an n so that we have:

(an + b) × (cn + d) × (en + f)

Let's take a specific example where a=1, b=0, c=1, d=1, e=2 and f=3. This gives us:n×(n+1)×(2n+3)

As we plug in different values for n, starting with n=2, a series of terms arises. In this case, the terms begin:

42, 108, 220, 390, 630, 952, 1368, 1890, 2530, 3300, 4212, 5278, 6510, 7920, 9520, 11322, 13338, 15580, 18060, 20790, 23782, 27048, 30600, 34450, 38610, 43092, 47908, 53070, 58590, 64480, 70752, 77418, 84490, 91980, 99900, 108262, 117078, 126360, 136120

These terms constitute OEIS A163815 (although the terms for n=0 and n=1 are included). These sorts of sequences involve the multiplication of triple linear combinations of n, in this case n, n+1 and 2n+3. This permalink leads to a SageMath algorithm that will generate a sequence of terms for varying values of a, b, c, d, e and f. 

If we impose the condition that each of the linear factors must be distinct (and this is the case for the example just shown), then we have a sequence where each member is a sort of pseudo-sphenic number that can be written as a product of three of its divisors but each divisor is a linear combination of an underlying integer. For example, take the number 27048 (my diurnal age yesterday). It can be written as:27048=23×24×49where 23=n,24=n+1 and 49=2n+13

The associated polynomial will cut the x axis in three locations. Figure 1 shows the situation for y=x×(x+1)×(2x+3) where x=-1.5, -1 and 0.


Figure 1: Geogebra link

Let's try another example where a, b, c, d, e, f = 1, -1, 1, 1, 1 , 2. The initial terms generated will be of the form (n1)×(n+1)×(n+2) and are as follows (starting with n=3 because we want to avoid getting a 1 as a factor):

40, 90, 168, 280, 432, 630, 880, 1188, 1560, 2002, 2520, 3120, 3808, 4590, 5472, 6460, 7560, 8778, 10120, 11592, 13200, 14950, 16848, 18900, 21112, 23490, 26040, 28768, 31680, 34782

This sequence does not appear in the OEIS but it is recognised as being generated from a polynomial (I included the terms for n=1 and n=2 when searching in the OEIS). See Figure 2.


Figure 2

For a given number to be a pseudo-sphenic number, it must have more than three, not necessarily distinct, prime factors. For example, my earlier example of 27048:27048=23×3×72×23=23×24×49
Sometimes the members of a polynomial sequence will be genuinely sphenic as with the case of:n×(n+6)×(n+12)
Figure 3 shows the presence of triplets of so-called "sexy" primes: (5, 11, 17), (11, 17, 23), (17, 23, 29) and (31, 37, 43).


Figure 3: permalink

Any sphenic number will be a member of some polynomial sequence. Let's arbitrarily choose the sphenic number formed by the prime factors 79, 101 and 197. We have:1571863=79×101×197
Let's subtract 77 from each number so that they become smaller. This gives us 2, 24 and 120 so that we consider the polynomial:(n+2)×(n+24)×(n+120)
Figure 4 shows the result when we generate the sequence up to 1571863.


Figure 4: permalink

Looking at the results we can see that:
  • 106723 = 19 * 41 * 137
  • 244807 = 31 * 53 * 149
  • 906277 = 61 * 83 * 179
  • 1571863 = 79 * 101 * 197
Thus the seemingly unrelated sphenic numbers 106723, 244807, 906277 and 1571863 are in fact very closely related because they all arise when different values of n are assigned to the polynomial (n+2)×(n+24)×(n+120), specifically n=17,29,59 and 77. Thus a hidden link between sphenic numbers is revealed.

No comments:

Post a Comment