A New General Equation and Sequences for Sophie Germain Type Identities (Part III)

Table of Sequences Generated from the New Equation

Sophie Germaine during the 1800's came up with the identity relation which bears her name and is featured in a Wikipedia article. The identity is a polynomial factorization which states that:

x4 + 4y4 = ((x + y)2 + y2) × ((xy)2 + y2)

I have found that this identity is one of an infinite number of equations which are generated from this particular general equation:

x4 + n2m4y4 = ((x + my)2 + (n−1)m2y2) × ((xmy)2 + (n−1)m2y2)

where m = 1 and n = 2 corresponds to the original Sophie Germain identity. This general equation is being used here to generate mainly a series of sequences, where the sequences for m = 1 and n = 2 were previously generated in Part I. Another equation similar to this one which applies to Sophie Germain identities and may be used for primality testing is covered in Part II.

To generate the sequence on this page n is set equal to 3 and the m values are incremented to values greater than zero. This generates an infinite number of identity equations as shown in column one of Table I for m up to 96 where only the coefficent, 9m4, is tabulated in order to avoid cluttering the table. Columns 3-7 depict the various sequences obtained from the original sequence of column one. The ellipsis is to remind us that the sequences continue ad infinitum with increasing 9 square. In addition, a value of k ≥ 0 is used as the exponent variable for each of the sequences.

To generate the terms in the table we use the equations posted in the first row along with the k value starting at zero. The value obtained corresponds to one of the entries in column two. While sometimes these two numbers might differ, as for example when m = 8, the numbers 9(8)4 and 9(4)6 are both equivalent after converting both to the non exponential integer 36864. Note that Table I contains only sequences having four as the second number in the coefficient of y along with column 3 containing multiples of nine. Moreover, similar tables containing 5, 6, 7,.. as the second number in exponential form, may also be constructed.

Table of Sequences and Equations

To generate Table I consecutive m terms, with n2 being constant at 9, are used in the general equation to produce the coefficients of y4.

Table I (Sequences of the Sophie Germain type Identities)
m9m4 9(2k+1)9(4)2k93(4)2k95(4)2k97(4)2k...
1999
29(4)29(4)2
3939393
49(4)49(4)4
59(5)4
69(6)4 93(4)2
79(7)4
89(8)49(4)6
9959595
109(10)4
119(11)4
129(12)493(4)4
139(13)4
149(14)4
159(15)4
169(16)49(4)8
189(18)495(4)2
249(24)493(4)6
27979797
329(32)49(4)10
369(36)495(4)4
489(48)493(4)8
549(54)497(4)2
649(64)49(4)12
729(72)495(4)6
819999
969(96)493(4)10

Calculation of Differences Between Adjacent Terms in a Sequence

The difference between terms in columns 3-7 is 16 and all these sequences are, therefore, geometric progressions. This differs from Part I where both geometric and arithmetic progressions were obtained for the sequences.

Generation of m from a Sequence Entry

Finally, given a term in the sequence or one further down into the sequence whose m is not known, one can determine where in column one to place m. The numbers in exponential form are first converted into an integer, its square root taken, followed by division by 3 and a second square root taken. For instance, from the last line of Table I column five, given this number without knowing m, its position in column one is calculated as follows:

93(4)10 = 764411904
764411904 = 27648
27648 3 = 9216
9216 = 96 = m

To determine the next number in the sequence and its position in column one one can use the column equation to calculate its value in exponential form then use method to find its place in column one. For example, the next number after the last entry 93(4)10 is 93(4)12 and its position in column one is determined as follows:

93(4)12 = 12,230,590,464
12,230,590,464 = 110592
110592 3 = 36864
36864 = 192 = m

where, for confirmation, substituting 192 for m affords:

9(192)4 = 12,230,590,464

Go to Part II for another general equation and primality testing. Go to Part IV for sequences where n2 = 16.
Go back to Part I and homepage.


Copyright © 2025 by Eddie N Gutierrez. E-Mail: enaguti1949@gmail.com