## Equal Products and Equal Sums of Like Powers

a1a2 ... am = b1 b2 ... bm

a1k + a2k + ... + amk = b1k + b2k + ... + bmk      ( k = k2 , k3 , ... , kn )

• Introduction
• The Equal Products and Equal Sums of Like Powers is the system of the form
a1a2 ... am = b1 b2 ... bm
a1k + a2k + ... + amk = b1k + b2k + ... + bmk      ( k = k2 , k3 , ... , kn
This system has been studied for a long time when k <= 3.[13] [5] [17] [6] [59]
In March of 2001, for the first time, Guo Xianqiang and Chen Shuwen found that the equal products equation can be regarded as the k = 0 case of the Equal Sums of Like Powers system.
In these pages, we will denote the Equal Products and Equal Sums of Like Powers system as:
[ a1 , a2 , ... , am ] = [ b1 ,b2 , ... , bm       ( k = 0, k2 , k3 , ... , kn

• Why use k = 0 for the equal products equation?
• The following explanation is given by Guo Xianqiang:
A similar expression are available on a web site about General Mean.
So both the equal products equation and the equal sums of like powers system can be expressed as Sr( A ) = Sr( B ):
a1a2 ... am = b1 b2 ... bm     <=>      S0( A ) = S0( B )
a1k + a2k + ... + amk = b1k + b2k + ... + bmk     <=>      Sk( A ) = Sk( B )
• We may also consider the graph of the following function to see more clearly:

y = { ( a1x+a2x+a3x+a4x+a5x ) / 5 }1/x - { ( b1x+b2x+b3x+b4x+b5x ) / 5 }1/x

 { ai } = { 54, 60, 63, 77, 80 } { bi } = { 56, 56, 66, 75, 81 } [ ai ] = [ bi ]      ( k = 0, 1, 2, 3 ) { ai } = { 1, 5, 9, 17, 18 } { bi } = { 2, 3, 11, 15, 19 } [ ai ] = [ bi ]      ( k = 1, 2, 3, 4 ) { ai } = { 1, 8, 13, 24, 27 } { bi } = { 3, 4, 17, 21, 28 } [ ai ] = [ bi ]      ( k = 1, 2, 3, 5 ) { ai } = { 7, 18, 55, 69, 81 } { bi } = { 9, 15, 61, 63, 82 } [ ai ] = [ bi ]      ( k = 1, 2, 3, 6 ) { ai } = { 3, 7, 10, 16, 16 } { bi } = { 4, 5, 12, 14, 17 } [ ai ] = [ bi ]      ( k = 1, 2, 4, 6 ) { ai } = { 3, 19, 37, 51, 53 } { bi } = { 9, 11, 43, 45, 55 } [ ai ] = [ bi ]      ( k = 1, 3, 5, 7 ) { ai } = { 71, 131, 180, 307, 308 } { bi } = { 99, 100, 188, 301, 313 } [ ai ] = [ bi ]      ( k = 2, 4, 6, 8 ) ( Ploted by Mathematica, Chen Shuwen )
• The Equal Products and Equal Sums of Like Powers System which we denote here as ( k = 0, k2 , ... , kn ) has the same properties as the normal Equal Sums of Like Powers System ( k = k1, k2 , ... , kn ). For example:
• Non-negative integer solutions are available only when m>=n+1.
• Integer solutions are available only when m>=n.
• Both satisfy the following relation ( See also Conjectures by Chen Shuwen ) when m=n+1:
• 0 <= a1 < b1 <= b2 < a2 <= a3 < b3 <= b4 < a4 <= ...   ( assume a1 < b1 )

• Ideal non-negative integer solutions
• It seems that there is no non-negative integer solutions when m=n. Here we consider the m=n+1 case:
a1a2 ... an+1 = b1 b2 ... bn+1
a1k + a2k + ... + an+1k = b1k + b2k + ... + bn+1k     ( k = k2 , ... , kn )
This system will be denoted as:
[ a1 , a2 , ... , an+1 ] = [ b1 ,b2 , ... , bn+1       ( k = 0, k2 , ... , kn )
Non-negative integer solutions have been found to the following 8 types of this system:

• ( k = 0 )
• [ 1, 6 ] = [ 2, 3 ]
• [ 1, 24 ] = [ 2, 12 ] = [ 3, 8 ] = [ 4, 6 ]
• ( k = 0, 1 )
• [ 4, 15, 15 ] = [ 5, 9, 20 ]
• By A.Moessner in 1939.[13]
• [ 2, 12, 15 ] = [ 3, 6, 20 ]
• By A.Golden in 1944.[5]
• ( k = 0, 2 )
• [ 13, 38, 51 ] = [ 17, 26, 57 ]
• By G.Xeroudakes and A.Moessner in 1958.[17]
• [ 15, 42, 48 ] = [ 16, 35, 54 ] = [ 21, 24, 60 ]
• By T.N.Sinha in 1984.[6]
• ( k = 0, 1, 2 )
• [ 2, 2, 11, 21 ] = [ 1, 6, 7, 22 ]
• By A.Golden in 1944.[5]
• [ 3, 14, 20, 40 ] = [ 4, 8, 30, 35 ]
• By G.Xeroudakes and A.Moessner in 1958.[17]
• ( k = 0, 1, 2, 3 )
• [ 4, 13, 17, 40, 50 ] = [ 5, 8, 25, 34, 52 ]
• First known solution, by Guo Xianqiang in 2000.
• [ 54, 60, 63, 77, 80 ] = [ 56, 56, 66, 75, 81 ]
• By Chen Shuwen in 2001.
• ( k = 0, 1, 2, 3, 4 )
• [ 169, 175, 192, 215, 216, 228 ] = [ 171, 172, 195, 208, 224, 225 ]
• First known solution, by Chen Shuwen in 2001.
• ( k = 0, 1, 2, 3, 4, 5 )
• [ 480, 497, 558, 595, 616, 663, 666 ] = [ 481, 495, 568, 578, 630, 651, 672 ]
• First known solution, by Chen Shuwen in 2001.
• ( k = 0, 1, 2, 3, 4, 5, 6 )
• [ 1899, 1953, 1957, 2079, 2117, 2231, 2241, 2323 ] = [ 1909, 1919, 2001, 2037, 2163, 2187, 2263, 2321 ]
• First known solution, by Chen Shuwen in 2001.

• Ideal integer solutions
• Integer solutions have been found to the m=n case:
a1a2 ... an = b1 b2 ... bn
a1h + a2h + ... + anh = b1h + b2h + ... + bnh     ( h = h2 , ... , hn )
Also, this system will be denoted as:
[ a1 , a2 , ... , an ] = [ b1 ,b2 , ... , bn       ( h = 0, h2 , ... , hn )
Only one type of this system has been solved until now:

Last revised May 6, 2001.