Yeah sure.. Newton's Sums..

Algebra Level 5

Let ( x 1 , y 1 , z 1 ) (x_1, y_1, z_1) , ( x 2 , y 2 , z 2 ) (x_2, y_2, z_2) , \dots , ( x n , y n , z n ) (x_n, y_n, z_n) be the rational solutions to the following system of equations

x + y + z = 0 x 3 + y 3 + z 3 = 18 x 7 + y 7 + z 7 = 2058 x+y+z=0 \\ x^3 + y^3 + z^3 =18 \\ x^7 + y^7 + z^7 =2058

Evaluate:

i = 1 n x i y i z i \sum_{i=1}^{n} x_{i}y_{i}z_{i}

  • The triple ( a , b , c ) (a, b, c) and ( c , a , b ) (c, a, b) are considered to be different.
  • This problem is not entirely original.


The answer is 36.

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

2 solutions

Let P ( x ) = m 3 + b m 2 + c m + d P(x)=m^3+bm^2+cm+d with roots x x , y y and z z ; and let S k = x k + y k + z k S_k=x^k+y^k+z^k . We are given S 1 = 0 S_1=0 , S 3 = 18 S_3=18 and S 7 = 2058 S_7=2058 . Now, by Newton's Sums we have:

S 1 = 0 = b b = 0 S_1=0=-b \Longrightarrow b=0

S 2 = b S 1 2 c S 2 = 2 c c = S 2 2 S_2=-bS_1-2c \Longrightarrow S_2=-2c \Longrightarrow c=-\dfrac{S_2}{2}

S 3 = 18 = b S 2 c S 1 3 d d = 6 S_3=18=-bS_2-cS_1-3d \Longrightarrow d=-6

By Vieta's formulas, we know that x y z = d xyz=-d , hence x y z = 6 xyz=6 . This value is rational, but there are six possible permutations of the triple ( x , y , z ) (x,y,z) , hence the asked value is 6 x y z = 36 6xyz=\boxed{36} .

To prove that the triple (x,y,z) is rational we can obtain S 7 S_7 by recursion:

S 7 = 42 c 2 2058 = 42 c 2 c = ± 7 S_7=42c^2 \Longrightarrow 2058=42c^2 \Longrightarrow c=\pm 7 .

So, there are two possible polynomials for P ( m ) = m 3 ± 7 m 6 P(m)=m^3 \pm 7 m -6 . m 3 7 m 6 m^3-7m-6 factors as ( m + 1 ) ( m + 2 ) ( m 3 ) (m+1)(m+2)(m-3) showing that ( x , y , z ) = ( 1 , 2 , 3 ) (x,y,z)=(-1,-2,3) and all its permutations are rational.

Amazing solution! :D

Sean Ty - 6 years, 8 months ago

Log in to reply

@Sean Ty i did the whole thing and could not understand the exact ask of the question...ended up typing 6,18, and 3 and lost my chance.. God why ? ;__; By the way..this appeared in Gazeta Mathematica :D

Aritra Jana - 6 years, 7 months ago

Log in to reply

Seriously? I got a similar problem from a book..

Sean Ty - 6 years, 7 months ago
Kishlaya Jaiswal
Oct 8, 2014

You can definitely approach the problem using Newton's Sums (read the solution by @Alan Enrique Ontiveros Salazar) but we will approach the following problem in a different way by setting up some recurrence relations (although it's a bit long)

So, let S n = x n + y n + z n S_n = x^n+y^n+z^n

We already know the following values of S n S_n -

S 0 = x 0 + y 0 + z 0 = 3 S_0=x^0+y^0+z^0=3

S 1 = x + y + z = 0 S_1=x+y+z=0

S 3 = x 3 + y 3 + z 3 = 18 S_3=x^3+y^3+z^3=18

S 7 = x 7 + y 7 + z 7 = 2058 S_7=x^7+y^7+z^7=2058

Now, we would try to find out the values of x y z xyz and x y + y z + z x xy+yz+zx . (You'll see further that why are we doing so)

Since x + y + z = 0 x+y+z=0

3 x y z = x 3 + y 3 + z 3 x y z = 18 / 3 = 6 3xyz=x^3+y^3+z^3 \Rightarrow xyz=18/3 = 6

Now, we just need to show that ( x , y , z ) (x,y,z) are rational. So,

x y + y x + z x = ( x + y + z ) 2 ( x 2 + y 2 + z 2 ) 2 = S 2 2 xy+yx+zx=\frac{(x+y+z)^2-(x^2+y^2+z^2)}{2} = -\frac{S_2}{2}

Now, we would set up the recurrence relation for S n S_n . We do so by writing up the characteristic equation for S S , which is -

( S x ) ( S y ) ( S z ) = 0 (S-x)(S-y)(S-z)=0 S 3 ( x + y + z ) S 2 + ( x y + y z + z x ) S x y z = 0 \Rightarrow S^3-(x+y+z)S^2+(xy+yz+zx)S-xyz=0 S 3 S 2 2 S 6 = 0 \Rightarrow S^3-\frac{S_2}{2}S-6=0

[You can read about the recurrence relations here - http://www.webpages.uidaho.edu/~markn/395/pdf/rec-eq.pdf

And for more practice on recurrence equations, you may try out these problems by @Aditya Raut- https://brilliant.org/profile/aditya-5j3pzo/sets/bashing-unavailable-awesome-problems/]

Therefore, the recurrence relation that we generate from the above equation is -

S n + 3 = S 2 S n + 1 2 + 6 S n S_{n+3}= \frac{S_2S_{n+1}}{2}+6S_n

Therefore, we get -

S 5 = S 2 S 3 2 + 6 S 2 = 9 S 2 + 6 S 2 = 15 S 2 S_5=\frac{S_2S_3}{2}+6S_2=9S_2+6S_2=15S_2

S 7 = S 2 S 5 2 + 6 S 4 = 15 2 S 2 2 + 6 ( S 2 2 2 + 6 S 1 ) = 21 2 S 2 2 S_7=\frac{S_2S_5}{2}+6S_4=\frac{15}{2}S_2^2+6(\frac{S_2^2}{2}+6S_1)=\frac{21}{2}S_2^2

Now observe that, S 2 2 S 3 3 = S 5 5 \frac{S_2}{2}\frac{S_3}{3}=\frac{S_5}{5}

Similarly, we can also see that, S 2 2 S 5 5 = S 7 7 \frac{S_2}{2}\frac{S_5}{5}=\frac{S_7}{7}

[You may be interested in solving this generalized version of the problem in USAMO 1982, Problem 2 - http://www.artofproblemsolving.com/Wiki/index.php/1982 USAMO Problems/Problem_2]

Therefore, after plugging in values of S 3 S_3 and S 5 S_5 , we get - S 2 = x 2 + y 2 + z 2 = 14 S_2=x^2+y^2+z^2=14

This yields, x y + y z + z x = 7 xy+yz+zx=-7

Now, let x , y , z x,y,z be the roots of a cubic equation. This yields - t 3 ( x + y + z ) t 2 + ( x y + y z + z x ) t x y z = t 3 7 t 6 = ( t + 1 ) ( t + 2 ) ( t 3 ) t^3-(x+y+z)t^2+(xy+yz+zx)t-xyz = t^3-7t-6 = (t+1)(t+2)(t-3)

Hence, we find the rational solutions for ( x , y , z ) = ( 1 , 2 , 3 ) (x,y,z)=(-1,-2,3)

Therefore, i = 1 n x i y i z i \sum_{i=1}^n x_iy_iz_i is equal to the all the permutations of ( x , y , z ) (x,y,z) which yields i = 1 n x i y i z i = 6 + 6 + 6 + 6 + 6 + 6 = 36 \sum_{i=1}^n x_iy_iz_i = 6+6+6+6+6+6=\boxed{36}

I know you can approach it with Newton's Sums. The title was supposed to be intimidating (kind of) :T

Sean Ty - 6 years, 8 months ago

Log in to reply

I intentionally, presented a solution using simple recurrence relations, just to share another method of solving the problem.

Kishlaya Jaiswal - 6 years, 8 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...