i one u

Algebra Level 4

How many ordered triples of complex numbers ( x , y , z ) (x,y,z) satisfy the following system of equations:

x + y + z = 1 , x 2 + y 2 + z 2 = 13 + 32 i , x 3 + y 3 + z 3 = + 95 48 i . \begin{array}{c c c c c c c c c } x &+& y &+& z &= &-1, \\ x^2 &+& y^2 &+& z^2 &= &-13&+32i, \\ x^3 &+& y^3 &+& z^3 &=& +95&-48i. \\ \end{array}

Details and assumptions

The imaginary unit is i i , which satisfies i 2 = 1 i^2=-1 .


The answer is 3.

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.

3 solutions

Cody Johnson
Nov 10, 2013

We have

x y + y z + z x = ( x + y + z ) 2 ( x 2 + y 2 + z 2 ) 2 = 7 16 i xy+yz+zx=\frac{(x+y+z)^2-(x^2+y^2+z^2)}{2}=7-16i

Also, since

x 3 + y 3 + z 3 3 x y z = ( x + y + z ) ( ( x 2 + y 2 + z 2 ) ( x y + y z + z x ) ) = ( 1 ) ( ( 13 + 32 i ) ( 7 16 i ) ) = 20 48 i = 95 48 i 3 x y z \begin{aligned}x^3+y^3+z^3-3xyz&=(x+y+z)((x^2+y^2+z^2)-(xy+yz+zx))\\&=(-1)((-13+32i)-(7-16i))\\&=20-48i=95-48i-3xyz\end{aligned}

we have x y z = 25 xyz=25 . If we let x , y , z x,y,z be roots of a cubic polynomial f f , we find that

f ( k ) = k 3 + k 2 + ( 7 16 i ) k 25 f(k)=k^3+k^2+(7-16i)k-25

from Vieta's formulas. Hence, the only values of ( x , y , z ) (x,y,z) are the permutations of the roots of this polynomial. We can quickly find the roots to be ( 1 + 2 i , 1 + 2 i , 3 4 i ) (1+2i,1+2i,-3-4i) , yielding 3 ! / 2 ! = 3 3!/2!=3 distinct triples.

how did u find the roots

Varun Jain - 7 years, 7 months ago

Log in to reply

The perfect power, 16 i 16i , suggested that the imaginary part would also be a power of two. To my surprise, the first one I tried worked!

Cody Johnson - 7 years, 7 months ago

Really nice solution!!!!Good work!!!After finding xyz I knda got lost putting values in the other two rqns...This considering another eqn is a really cool idea~~ :-)

Eddie The Head - 7 years, 7 months ago

I'd loved to see the solution, but actually, how can you intuitively check the roots? Is it just grabbed from thin air? I need help on this.. Thanks.

Theodorus Jonathan - 7 years, 6 months ago

Nice; great solution. +1

Guillermo Angeris - 7 years, 7 months ago

Nice solutions......

Wàvic maaroja - 7 years, 7 months ago
Jan J.
Nov 11, 2013

Rewrite the system x + y + z = 1 x + y + z = -1 ( x + y + z ) 2 2 ( x y + y z + z x ) = 13 + 32 i (x + y + z)^2 - 2(xy + yz + zx) = -13 + 32i ( x + y + z ) ( ( x + y + z ) 2 3 ( x y + y z + z x ) ) + 3 x y z = 95 48 i (x + y + z)\Big((x + y + z)^2 - 3(xy + yz + zx)\Big) + 3xyz = 95 - 48i Let x + y + z = a x + y + z = a , x y + y z + z x = b xy + yz + zx = b , x y z = c xyz = c , the system gives us a = 1 a 2 2 b = 13 + 32 i a ( a 2 3 b ) + 3 c = 95 48 i a = -1 \\ a^2 - 2b = -13 + 32i \\ a(a^2 - 3b) + 3c = 95 - 48i From this we get easily ( a , b , c ) = ( 1 , 7 16 i , 25 ) (a,b,c) = (-1,7 - 16i,25) , hence by Vieta's formulae we get that x , y , z x,y,z are the roots of the polynomial p ( w ) = w 3 + w 2 + ( 7 16 i ) w 25 p(w) = w^3 + w^2 + (7 - 16i)w - 25 This factors as p ( w ) = ( w ( 1 + 2 i ) ) 2 ( w ( 3 4 i ) ) p(w) = \big(w-(1+2 i)\big)^2 \big(w-(-3-4 i)\big) So we get three triplets ( x , y , z ) (x,y,z) ( 1 + 2 i , 1 + 2 i , 3 4 i ) ( 1 + 2 i , 3 4 i , 1 + 2 i ) ( 3 4 i , 1 + 2 i , 1 + 2 i ) (1 + 2i,1 + 2i,-3 - 4i) \\ (1 + 2i,-3 - 4i, 1 + 2i) \\ (-3-4i,1 + 2i, 1 + 2i) Hence the answer is 3 \boxed{3}

How did you factorise p p ? (I wrote a C program to solve cubic)

Matt McNabb - 7 years, 7 months ago

Log in to reply

I used computer too, I don't know any nice way to do it.

Jan J. - 7 years, 7 months ago

Log in to reply

One can use Rational Root Theorem for Gaussian Integers. It works the same way as for usual integers. Quite a bit of guess and check, but works. If you suspect a double root (which you might, because of the question asked), then taking gcd with the derivative will give it to you very fast.

Alexander Borisov - 7 years, 7 months ago

Log in to reply

@Alexander Borisov Instead of factorising we could show that the discriminant is 0 0 . After we observe that the equation doesn't have the same 3 3 roots, we look if there are 2 2 same roots. Since we aren't interested in finding the actual solutions, we could you this instead.

Aditya Parson - 7 years, 7 months ago

Log in to reply

@Aditya Parson A better method would be to show that f ( x ) f(x) shares a root with f ( x ) f'(x) , but shares no root with f ( x ) f''(x) .

Sreejato Bhattacharya - 7 years, 7 months ago

Log in to reply

@Sreejato Bhattacharya Yes, obviously. But we are supposed to avoid calculus where we can(at least on Brilliant).

Aditya Parson - 7 years, 7 months ago

Log in to reply

@Aditya Parson Problems posed in Brilliant often require calculus...

Sreejato Bhattacharya - 7 years, 7 months ago

@Aditya Parson It is OK to use Calculus to solve Brilliant problems, as long as you can justify it (just like in IMO). And this is, by the way, not really Calculus. The derivative of a polynomial is an algebraic construction, that works over any field (even finite).

Alexander Borisov - 7 years, 7 months ago

Log in to reply

@Alexander Borisov

And this is, by the way, not really Calculus. The derivative of a polynomial is an algebraic construction, that works over any field (even finite).

True. In fact, Algebra II classes touch upon polynomial-calculus without even realizing it: saying that a polynomial has a repeated root is another way of saying that its graph is tangent to the line y = 0 y=0 . (Or more generally, y = m x + b y=mx+b is tangent to a polynomial equation y = p ( x ) y=p(x) if and only if m x + b p ( x ) mx+b-p(x) has a repeated root.)

I've tried sharing this with my fellow math educators a number of times, but reactions have been mixed.

Peter Byers - 7 years, 6 months ago

Log in to reply

@Peter Byers I'd be grateful if you could explain this a bit more. I started a discussion thread about it a few months ago but nobody replied: https://brilliant.org/discussions/thread/nature-of-roots-of-a-quartic/

Matt McNabb - 7 years, 6 months ago

@Sreejato Bhattacharya I started on that but it was quite a large amount of working (finding the roots of f'(x), which includes taking the square root of a complex number, and then substituting them all into f(x)).

Why would this method be better than the discriminant method? Does the discriminant method actually not work in some cases? (I couldn't find any discussion of it for polynomials with non-real coefficients, although the discriminant in this case does turn out to be 0).

Matt McNabb - 7 years, 7 months ago

Log in to reply

@Matt McNabb I preferred not to use the discriminant method, as usually the discriminant of a cubic is pretty ugly. :)

Here's how I did it:
Note that f ( t ) = 3 x 2 + 2 x + ( 7 16 i ) f'(t)= 3x^2 + 2x + (7-16i) f ( t ) = 3 x + 1 9 × f ( t ) + 40 96 i 9 t 232 16 i 9 f(t)= \frac{3x+1}{9} \times f'(t) + \frac{40-96i}{9}t - \frac{232-16i}{9} Any common root of t t of f ( t ) f(t) and f ( t ) f'(t) must satisfy 40 96 i 9 t 232 16 i 9 = 0 \frac{40-96i}{9}t - \frac{232-16i}{9}= 0 , which gives t = 1 + 2 i t= 1+2i . Plugging this value, we check that f ( 1 + 2 i ) = f ( 1 + 2 i ) = 0 f(1+2i)= f'(1+2i)=0 , so f ( t ) f(t) has atleast two repeated roots.
Consider f ( t ) = 6 x + 2 f''(t)= 6x+2 whose only root is 3 -3 . Note that f ( 3 ) 0 f(-3) \neq 0 , so f ( x ) f(x) has exactly two repeated roots.

This is more tedious than the discriminant method, but I think we can apply this method to other cubics more easily than computing the discriminant. :)

Sreejato Bhattacharya - 7 years, 7 months ago

@Matt,

I'd be grateful if you could explain this a bit more. I started a discussion thread about it a few months ago but nobody replied: https://brilliant.org/discussions/thread/nature-of-roots-of-a-quartic/

Alright, I just read that thread and the problem in question ("Matt's tangent"). I have to agree with you that the top-rated solution isn't well explained (it is nice in some ways, but personally I voted for Nhat Le's solution, which received the second largest number of votes).

But I think the deeper issue here is that tangents are traditionally taught in a highly disjointed manner: in Geometry, students are told that a tangent is a line that intersects a circle at exactly one point; in Algebra II they learn about repeated roots but make no connection with tangents; then in Calculus they see tangents defined by a formula , i.e. y = f ( a ) ( x a ) + f ( a ) y=f'(a)(x-a)+f(a) . The larger concept of "tangent" is still recognizable in those cut-up pieces, but only just barely.

Peter Byers - 7 years, 6 months ago

Log in to reply

in Geometry, students are told that a tangent is a line that intersects a circle at exactly one point

Incidentally, tangents to parabolas can be defined in the same way (excluding vertical lines).

Peter Byers - 7 years, 6 months ago
Saurabh Mallik
Apr 13, 2014

The ordered triples of complex numbers ( x , y , z ) (x,y,z) which satisfy the following system of equations are:

x = 3 4 i , y = 1 + 2 i , z = 1 + 2 i x=-3-4i, y=1+2i, z=1+2i

x = 1 + 2 i , y = 3 4 i , z = 1 + 2 i x=1+2i, y=-3-4i, z=1+2i

x = 3 4 i , y = 1 + 2 i , z = 3 4 i x=-3-4i, y=1+2i, z=-3-4i

Thus, the answer is 3 \boxed{3}

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...