Quadratic System of Equations

Algebra Level 4

How many unordered triplets ( x , y , z ) (x,y,z) are in the range [ 0 , 2 ] [0,2] and satisfy the system of equations: { 2 x 2 4 x + 2 = y 2 y 2 4 y + 2 = z 2 z 2 4 z + 2 = x \left\{\begin{array}{l}2x^2-4x+2=y\\ 2y^2-4y+2=z\\ 2z^2-4z+2=x\end{array}\right.

Details and Assumptions :

An unordered triplet means that ( 1 , 2 , 3 ) (1,2,3) is the same as ( 3 , 2 , 1 ) (3,2,1) or ( 1 , 3 , 2 ) (1,3,2) .


The answer is 4.

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

Daniel Liu
May 1, 2014

First, we factor each of the LHS to get the system { 2 ( x 1 ) 2 = y 2 ( y 1 ) 2 = z 2 ( z 1 ) 2 = x \left\{\begin{array}{l}2(x-1)^2=y\\ 2(y-1)^2=z\\ 2(z-1)^2=x\end{array}\right.

To make our lives easier, let x = x 1 x'=x-1 , y = y 1 y'=y-1 , and z = z 1 z'=z-1 . Thus our new variables x , y , z [ 1 , 1 ] x',y',z'\in [-1,1] and our equations are { 2 x 2 = y + 1 2 y 2 = z + 1 2 z 2 = x + 1 \left\{\begin{array}{l}2x'^2=y'+1\\ 2y'^2=z'+1\\ 2z'^2=x'+1\end{array}\right.

Isolating the x , y , z x',y',z' variables on the RHS again, we get { 2 x 2 1 = y 2 y 2 1 = z 2 z 2 1 = x \left\{\begin{array}{l}2x'^2-1=y'\\ 2y'^2-1=z'\\ 2z'^2-1=x'\end{array}\right.

Wait a second! We recognize 2 x 2 1 = y 2x'^2-1=y' : it is the same as the cosine double-angle formula! In addition, the range of x x' is [ 1 , 1 ] [-1,1] , which is the same as the range for cos θ \cos\theta ! This means we should plug in x = cos θ x'=\cos\theta . Thus, y = cos 2 θ y'=\cos2\theta . Since 2 y 2 1 = z 2y'^2-1=z' , we have z = cos 4 θ z'=\cos 4\theta . Finally, since 2 z 2 1 = x 2z'^2-1=x' , we have x = cos 8 θ x'=\cos 8\theta .

However, we already know that x = cos θ x'=\cos\theta . Thus, cos θ = cos 8 θ \cos\theta=\cos 8\theta .


We now have two cases to consider:

Case 1

We let θ + 2 π n = 8 θ \theta+2\pi n = 8\theta . This gives θ = 2 π 7 n \theta=\dfrac{2\pi}{7}n . We can vary n = 0 6 n=0\to 6 to get different values of θ \theta ; however, since cos 2 π 7 n = cos ( 2 π 2 π 7 n ) \cos\dfrac{2\pi}{7}n=\cos\left(2\pi -\dfrac{2\pi}{7}n\right) , only n = 0 3 n=0\to 3 give unique values.

Case 2

We let θ + 2 π n = 8 θ \theta+2\pi n=-8\theta . This gives θ = 2 π 9 n \theta=\dfrac{2\pi}{9}n . We can vary n = 0 8 n=0\to 8 , but like a similar argument as before, only n = 0 4 n=0\to 4 give unique values.


Our solutions for ( θ , 2 θ , 4 θ ) (\theta, 2\theta, 4\theta) are then as follows: ( 0 , 0 , 0 ) \left(0,0,0\right) ( 2 π 7 , 4 π 7 , 8 π 7 ) \left(\dfrac{2\pi}{7},\dfrac{4\pi}{7},\dfrac{8\pi}{7}\right) ( 4 π 7 , 8 π 7 , 2 π 7 ) \left(\dfrac{4\pi}{7},\dfrac{8\pi}{7},\dfrac{2\pi}{7}\right) ( 8 π 7 , 2 π 7 , 4 π 7 ) \left(\dfrac{8\pi}{7},\dfrac{2\pi}{7},\dfrac{4\pi}{7}\right) ( 2 π 9 , 4 π 9 , 8 π 9 ) \left(\dfrac{2\pi}{9},\dfrac{4\pi}{9},\dfrac{8\pi}{9}\right) ( 4 π 9 , 8 π 9 , 2 π 9 ) \left(\dfrac{4\pi}{9},\dfrac{8\pi}{9},\dfrac{2\pi}{9}\right) ( 8 π 9 , 2 π 9 , 4 π 9 ) \left(\dfrac{8\pi}{9},\dfrac{2\pi}{9},\dfrac{4\pi}{9}\right) ( 2 π 3 , 2 π 3 , 2 π 3 ) \left(\dfrac{2\pi}{3},\dfrac{2\pi}{3},\dfrac{2\pi}{3}\right)

However, we want unordered pairs , and the 2nd, 3rd, 4th, and 5th, 6th, 7th are cyclic permutations of each other. Thus, they only count once towards our total, so our total number of unordered pairs will be 4 \boxed{4} .

For your information, the solutions ( x , y , z ) (x,y,z) would be: ( 2 , 2 , 2 ) \left(2,2,2\right) ( 1 2 , 1 2 , 1 2 ) \left(\dfrac{1}{2},\dfrac{1}{2},\dfrac{1}{2}\right) ( cos 2 π 7 + 1 , cos 4 π 7 + 1 , cos 8 π 7 + 1 ) and cyclic permutations \left(\cos\dfrac{2\pi}{7}+1,\cos\dfrac{4\pi}{7}+1,\cos\dfrac{8\pi}{7}+1\right)\quad\text{ and cyclic permutations} ( cos 2 π 9 + 1 , cos 4 π 9 + 1 , cos 8 π 9 + 1 ) and cyclic permutations \left(\cos\dfrac{2\pi}{9}+1,\cos\dfrac{4\pi}{9}+1,\cos\dfrac{8\pi}{9}+1\right)\quad\text{ and cyclic permutations}

Daniel Liu - 7 years, 1 month ago

Epic! I got 5 5 because I accidentally counted the same one twice. :O

Finn Hulse - 7 years, 1 month ago

Log in to reply

@Nathan Ding also first thought it was 5 because when he Wolfram Alpha'd it, it showed 5 solutions. I told him that there was a "more solutions" button :P

Daniel Liu - 7 years, 1 month ago

Log in to reply

I actually got 5 from bashing my polynomial on wolfram great problem though daniel :D

Nathan Ramesh - 7 years, 1 month ago

How did you get in contact with him?

Finn Hulse - 7 years, 1 month ago

Log in to reply

@Finn Hulse We were video chatting. He was my beta tester.

Daniel Liu - 7 years, 1 month ago

@Finn Hulse you can contact me too if you want :D what is ur aops? pm me @mathtastic

Nathan Ramesh - 7 years, 1 month ago

Log in to reply

@Nathan Ramesh Okay, mine is FINNN and yes that is three N's. :D

Finn Hulse - 7 years, 1 month ago

@Finn Hulse He was on my OMO team

Nathan Ramesh - 7 years, 1 month ago

Log in to reply

@Nathan Ramesh Oh nice. How'd you guys do overall?

Finn Hulse - 7 years, 1 month ago

Log in to reply

@Finn Hulse Oops we failed :P

Daniel Liu - 7 years, 1 month ago

@Daniel Liu Can you please give some advice on stuff like: recognising that 2x^2-1=y looks an awful lot like the double angle formula, and things like x'=x-1 substitutions etc.. Thank you!

A Former Brilliant Member - 7 years, 1 month ago

Log in to reply

Well, we saw that we had an x 1 x-1 , y 1 y-1 , and z 1 z-1 term. I substituted the x x' , y y' and z z' values just to make it simpler. As it turns out this substitution tips the problem solver off on the next substitution:

I recognized that 2 x 2 1 = y 2x^2-1=y looked awful lot like a trigonometric identity. These types of noticings can only be done by experience, so you just have to do a lot of problems (in this case involving trig) in order to see it.

Daniel Liu - 7 years, 1 month ago
Sungil Cho
May 5, 2014

If any two of x, y and z are the same, the other should be the same. That is, except for the trivial solutions for x = y = z, the other solutions, if any, should be x != y != z != x.

The two trivial solutions are x = y = z = 0.5 or 2.

The system of equations has 6 non-trivial solutions and they have cyclic symmetry under the conversion (x, y, z) to (y, z, x) or (z, x, y). That is, the system of equasions has 6 / 3 = 2 unordered triplets.

Therefore, the answer is 2 (trivial) + 2 (non-trivial) = 4.

That's kinda cheating, isn't it? :P

Daniel Liu - 7 years, 1 month ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...