Find the number of distinct real solutions of the system of equations ⎩ ⎪ ⎨ ⎪ ⎧ z x − z x = 3 2 x y − 9 x y = 2 y z − 9 y z = 6 .
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.
This is a correct solution, and well written too! Hint for a more elegant one: tan(2t)=...
In response to the Challenge Master:
I see now! The funny thing is that I did have a good look into trying to apply a substitution featuring trigonometric or hyperbolic functions, but only after I had made my substitution to a , b and c , because that felt so "natural".
Until someone posts an "official" solution, let me give one:
We can rewrite the equations to:
3 x = 1 − z 2 2 z 3 y = 1 − ( 3 x ) 2 2 ( 3 x ) z = 1 − ( 3 y ) 2 2 ( 3 y )
Note that this has introduced the invalid solution x = y = z = 0 . Substitution time:
3 x = tan α 3 y = tan β z = tan γ
This gives:
tan α = tan 2 γ ⟺ α ≡ 2 γ (mod π ) tan β = tan 2 α ⟺ β ≡ 2 α (mod π ) tan γ = tan 2 β ⟺ γ ≡ 2 β (mod π )
Combining all three:
α ≡ 8 α (mod π ) ⟺ α = 7 k π , k ∈ Z
Note that these solutions provide only 7 different solutions for x = 3 1 tan α , e.g. for 0 ≤ k ≤ 6 , and that k = 0 yields the forbidden solution x = 0 . This leaves 6 solutions, which can all be easily verified to give genuine solutions for ( x , y , z ) .
Not a particularly elegant solution I admit, but at the time of writing this is the only one, so it's better than nothing. I've tried to think of something smart, even after solving it, but I failed (so far).
Let r = 3 x , s = 3 y , t = z , then the original system becomes ⎩ ⎨ ⎧ t r − r t = 2 r s − s r = 2 s t − t s = 2 Now, let t = tan θ , where θ ∈ [ 0 , π ) . Substitute into the first equation and simplify to get r = 1 − t 2 2 t = 1 − tan 2 θ 2 tan θ = tan 2 θ Similarly, s = tan 4 θ and t = tan 8 θ . Now, tan 8 θ = tan θ ⇔ sin 8 θ cos θ = cos 8 θ sin θ ⇔ sin 7 θ = 0 The equation has 7 solutions, but the solution θ = 0 gives r = s = t = 0 , which makes the equations undefined, so there are 6 solutions.
Let 3 x = tan A , 3 y = tan B , z = t a n C
From the 1st, 2nd and 3rd equations respectively we get the following 3 equations:
tan A tan B tan C = tan 2 C = tan 2 A = tan 2 B − ( 1 ) − ( 2 ) − ( 3 )
So, A = n π + 2 C ∀ n ∈ I -(4)
B = m π + 2 n π + 4 C ∀ m ∈ I -(5)
C = k π + ( 2 m + 4 n ) π + 8 C ∀ k ∈ I
⟹ C = 7 − ( k + 2 m + 4 n ) π
Substituting the value of C obtained above in (4) and (5) we get,
B = 7 − ( 4 k + m + 2 n ) π
A = 7 − ( 2 k + 4 m + n ) π
We set A , B , C ∈ ( 0 , π ) . We are allowed to do so since all values of x can be represented by using tan θ for θ ∈ ( 0 , π )
Suppose we have got a solution for x. Observe (2). As value of x is fixed the value of y is also fixed(as (2) becomes a linear equation in y). Now observe (3). As the value of y is fixed the value of z is fixed (same reason as the previous one). So, we have now proved that for a particular x we get a unique y and for a particular pair of x and y we get a unique z. -(6)
This gives us 7 solutions, of the form x = tan 7 k π for k = 0 to 6. However, we must exclude the case when k = 0 , as that leads to x = 0 . Hence, there are 6 solutions in all.
At the start, you should start that x , y , z are non-zero from the conditions, which allows us to multiply throughout. Otherwise, it is not true that x − z 2 x = 3 2 z ⇔ z x − z x = 3 2 .
This solution can be simplified slightly by working modulo π , to show that 8 A ≡ 4 B ≡ 2 C ≡ A ( m o d π ) , hence 7 A ≡ 0 ( m o d π ) .
x/z - zx = 2/3 => x = 2/3 { z/(1-z^2)}
y/x - 9xy =2 => y = 2 { x/(1-9x^2)}
z/y - 9yz =6 => z = 6 {y/(1-9y^2)} Now, Let 3x = tana , 3y = tanb and z=tanc we get, tana = tan2c=>a =2c +n1* 180 tanb = tan2a=>b =2a+n2* 180 tanc = tan2b=>c =2b+n3 180 where n1,n2,n3 any integer, Also, c = 2(2a+n2 *180) +n3 180 c =4a + 2n2 180+n3 180 c =4(2c+n1 180)+2n2 180+n3 180 c =8c + (4n1+2n2+n3) 180 7c= - (4n1+2n2+n3)*180 c= - (4n1 +2n2 +n3)/7 *180 Since n1 , n2 and n3 can be any integers (4n1 +2n2+n3) can also be any integer. Thus, c= n/7 *180 , where n is any integer Again, z=tanc = tan(n/7 * 180) Since the period of tan(theta) is 180. we have 7 different solutions for z out of which one is 0. But z cannot be 0 so we reject it. Now, from every other non zero solutions of z we can find one non zero x for each z as x = 2/3 { z/(1-z^2)} and from every this non zero x values we can find one y for each x as y = 2 { x/(1-9x^2)}. Thus, we have 6 set of distinct real solutions.
Problem Loading...
Note Loading...
Set Loading...
First, let us apply the following change of variables:
a = 3 z x b = 9 x y c = 3 y z
The system of equations then transforms into:
c b − a = a c − b = b a − c = 2
We can already see a solution: a = b = c = − 1 . However, this corresponds to the two imaginary solutions x = y = ± 3 i , z = ± i . In order for a solution ( a , b , c ) to give a real solution ( x , y , z ) , we need to have a b c > 0 . Also note that any solution ( a , b , c ) corresponds to two solutions: if ( x , y , z ) is one, then ( − x , − y , − z ) is the other.
We rewrite the equations:
Entering (1) into (2) gives:
c = a ( c ( a + 2 ) + 2 )
Solving for c :
c = 1 − 2 a − a 2 2 a
And thus:
b = 1 − 2 a − a 2 2 a ( a + 2 )
Putting the expressions for b and c into (3) leads to:
a ( 1 − 2 a − a 2 ) 2 = 2 a ( a + 2 ) ( 2 a + 2 ( 1 − 2 a − a 2 ) )
This can be expanded and rearranged to:
0 = a ( a 4 + 8 a 3 + 1 4 a 2 − 7 )
Obviously a = 0 is no good, and we know that a = − 1 is not a solution we're interested in, so we can divide by a and a + 1 :
0 = a 3 + 7 a 2 + 7 a − 7 = f ( a )
This has no rational roots, but from noting that f ( − 1 0 0 0 ) < 0 , f ( − 4 ) > 0 , f ( 0 ) < 0 and f ( 1 0 0 0 ) > 0 we can deduce that there are three real roots, two of them negative and one positive. From the symmetry in a , b and c , it follows that b and c must also each be equal to one of these roots. Furthermore, no two of them can be equal, since e.g. a = b implies c = − 1 , which does not work. Therefore, for all three possible values of a , the values of b and c are precisely the two other roots, and they obey a b c > 0 . We thus have three relevant solutions for ( a , b , c ) , and thus 6 real solutions for ( x , y , z ) .