How many unordered triplets ( x , y , z ) are in the range [ 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
Details and Assumptions :
An unordered triplet means that ( 1 , 2 , 3 ) is the same as ( 3 , 2 , 1 ) or ( 1 , 3 , 2 ) .
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.
For your information, the solutions ( x , y , z ) would be: ( 2 , 2 , 2 ) ( 2 1 , 2 1 , 2 1 ) ( cos 7 2 π + 1 , cos 7 4 π + 1 , cos 7 8 π + 1 ) and cyclic permutations ( cos 9 2 π + 1 , cos 9 4 π + 1 , cos 9 8 π + 1 ) and cyclic permutations
Epic! I got 5 because I accidentally counted the same one twice. :O
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
Log in to reply
I actually got 5 from bashing my polynomial on wolfram great problem though daniel :D
How did you get in contact with him?
Log in to reply
@Finn Hulse – We were video chatting. He was my beta tester.
@Finn Hulse – you can contact me too if you want :D what is ur aops? pm me @mathtastic
Log in to reply
@Nathan Ramesh – Okay, mine is FINNN and yes that is three N's. :D
@Finn Hulse – He was on my OMO team
Log in to reply
@Nathan Ramesh – Oh nice. How'd you guys do overall?
@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!
Log in to reply
Well, we saw that we had an x − 1 , y − 1 , and z − 1 term. I substituted the x ′ , y ′ and 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 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.
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
Problem Loading...
Note Loading...
Set Loading...
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
To make our lives easier, let x ′ = x − 1 , y ′ = y − 1 , and z ′ = z − 1 . Thus our new variables x ′ , y ′ , z ′ ∈ [ − 1 , 1 ] and our equations are ⎩ ⎨ ⎧ 2 x ′ 2 = y ′ + 1 2 y ′ 2 = z ′ + 1 2 z ′ 2 = x ′ + 1
Isolating the 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 ′
Wait a second! We recognize 2 x ′ 2 − 1 = y ′ : it is the same as the cosine double-angle formula! In addition, the range of x ′ is [ − 1 , 1 ] , which is the same as the range for cos θ ! This means we should plug in x ′ = cos θ . Thus, y ′ = cos 2 θ . Since 2 y ′ 2 − 1 = z ′ , we have z ′ = cos 4 θ . Finally, since 2 z ′ 2 − 1 = x ′ , we have x ′ = cos 8 θ .
However, we already know that x ′ = cos θ . Thus, cos θ = cos 8 θ .
We now have two cases to consider:
Case 1
We let θ + 2 π n = 8 θ . This gives θ = 7 2 π n . We can vary n = 0 → 6 to get different values of θ ; however, since cos 7 2 π n = cos ( 2 π − 7 2 π n ) , only n = 0 → 3 give unique values.
Case 2
We let θ + 2 π n = − 8 θ . This gives θ = 9 2 π n . We can vary n = 0 → 8 , but like a similar argument as before, only n = 0 → 4 give unique values.
Our solutions for ( θ , 2 θ , 4 θ ) are then as follows: ( 0 , 0 , 0 ) ( 7 2 π , 7 4 π , 7 8 π ) ( 7 4 π , 7 8 π , 7 2 π ) ( 7 8 π , 7 2 π , 7 4 π ) ( 9 2 π , 9 4 π , 9 8 π ) ( 9 4 π , 9 8 π , 9 2 π ) ( 9 8 π , 9 2 π , 9 4 π ) ( 3 2 π , 3 2 π , 3 2 π )
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 .