Poly or Ineq?

Algebra Level 3

Find x R x \in \mathbb R so that x 4 + 3 x 2 + 1 x 2 + x 4 4 x 2 + 1 x 3 + x = 4 \dfrac { x^{ 4 }+3{ x }^{ 2 }+1 }{ { x }^{ 2 } } +\dfrac { { x }^{ 4 }-4{ x }^{ 2 }+1 }{ { x }^{ 3 }+x } = 4 .


The answer is 1.000.

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

Chew-Seong Cheong
May 14, 2017

x 4 + 3 x 2 + 1 x 2 + x 4 4 x 2 + 1 x 3 + x = 4 x 2 + 3 + 1 x 2 + ( x 2 + 1 ) 2 6 x 2 x ( x 2 + 1 ) = 4 x 2 + 3 + 1 x 2 + x 2 + 1 x 6 x x 2 + 1 = 4 x 2 1 + 1 x 2 + x + 1 x 6 x + 1 x = 0 ( x + 1 x ) 2 + x + 1 x 3 6 x + 1 x = 0 Let y = x + 1 x y 2 + y 3 6 y = 0 y 3 + y 2 3 y 6 = 0 ( y 2 ) ( y 2 + 3 y + 3 ) = 0 y = 2 y 2 + 3 y + 3 has no real root. x + 1 x = 2 x = 1 \begin{aligned} \frac {x^4+3x^2+1}{x^2} + \frac {x^4-4x^2+1}{x^3+x} & = 4 \\ x^2 + 3 + \frac 1{x^2} + \frac {(x^2+1)^2-6x^2}{x(x^2+1)} & = 4 \\ x^2 +3 + \frac 1{x^2} + \frac {x^2+1}x - \frac {6x}{x^2+1} & = 4 \\ x^2 -1 + \frac 1{x^2} + x + \frac 1x - \frac {6}{x+\frac 1x} & = 0 \\ \left(x + \frac 1x\right)^2 + x + \frac 1x - 3 - \frac {6}{x+\frac 1x} & = 0 & \small \color{#3D99F6} \text{Let }y = x + \frac 1x \\ y^2 + y - 3 - \frac 6y & = 0 \\ y^3 + y^2 - 3y - 6 & = 0 \\ (y-2)(y^2+3y+3) & = 0 \\ \implies y & = 2 & \small \color{#3D99F6} y^2+3y+3 \text{ has no real root.} \\ x + \frac 1x & = 2 \\ \implies x & = \boxed{1} \end{aligned}

Nice solution! By the way, do you think that you can solve this problem the Ineq way? I think that the Poly way is a little bit too long.

Steven Jim - 4 years ago

Log in to reply

The polynomial method was the first one that came to my mind. But, your solution using inequalities was also fantastic! Great problem!

Steven Yuan - 4 years ago
Steven Jim
May 14, 2017

I've seen solutions from @Rahil Sehgal and @Chew-Seong Cheong, and both of them solved this problem the Poly way, so I think that I should post an Ineq solution for the sake of completeness (if this solution is wrong, the Poly way is the only way). Please check out for any mistakes!

So it's easily seen that x = 0 x = 0 must not be the solution, else LHS is undefined.

We can see that x 4 + 3 x 2 + 1 x 2 = 1 + ( x 2 + 1 ) 2 x 2 = ( x 2 + 1 x ) 2 + 1 4 + 1 = 5 \frac { { x }^{ 4 }+3{ x }^{ 2 }+1 }{ x^{ 2 } } =1+\frac { ({ x }^{ 2 }+1)^{ 2 } }{ { x }^{ 2 } } =(\frac { { x }^{ 2 }+1 }{ x } )^{ 2 }+1\ge 4+1=5 .

Also, x 4 4 x 2 + 1 x 3 + x = 1 + ( x 2 + 1 ) 2 x ( x 2 + 1 ) 6 x 2 x ( x 2 + 1 ) = x 2 + 1 x 6 x x 2 + 1 2 3 = 1 \frac { { x }^{ 4 }-4{ x }^{ 2 }+1 }{ x^{ 3 }+x } =1+\frac { ({ x }^{ 2 }+1)^{ 2 } }{ { x(x }^{ 2 }+1) } -\frac { 6{ x }^{ 2 } }{ x({ x }^{ 2 }+1) } =\frac { { x }^{ 2 }+1 }{ x } -\frac { 6x }{ { x }^{ 2 }+1 } \ge 2-3=-1 .

= > x 4 + 3 x 2 + 1 x 2 + x 4 4 x 2 + 1 x 3 + x 5 1 = 4 => \frac { { x }^{ 4 }+3{ x }^{ 2 }+1 }{ x^{ 2 } } + \frac { { x }^{ 4 }-4{ x }^{ 2 }+1 }{ x^{ 3 }+x } \ge 5-1=4 .

Equality holds iff (if and only if) x = 1 x = 1 .

And if anyone sees this, I use x 2 + 1 2 x x^{2} + 1 \ge 2x and x 0 x \neq 0 to solve the problem. Any flaws? (Found one)

Edit: Seems like this can only be true if x > 0 x > 0 . So we will have to prove that x > 0 x > 0 for this solution to be complete. Any help?

Nope! No flaw at all! Very creative solution!

Pi Han Goh - 4 years ago

Log in to reply

Thanks! Very much appreciated!

Steven Jim - 4 years ago

Good solution.

Chew-Seong Cheong - 4 years ago

Log in to reply

Thanks! Very much appreciated!

Steven Jim - 4 years ago

How is x 2 + 1 x 2 \frac{x^2+1}{x} \geq 2 ? We are not given that x x is positive.

Shourya Pandey - 4 years ago

Log in to reply

So what? He's not using AM-Gm at all. it's just expanding (x-1)^2

Pi Han Goh - 4 years ago

Log in to reply

x 2 + 1 2 x x^2+1\geq 2x for all reals x x , but x 2 + 1 x \frac{x^2+1}{x} may not be 2 \geq 2 ; division by x x is permitted only if x > 0 x>0 .

Shourya Pandey - 4 years ago

Log in to reply

@Shourya Pandey Thanks for the complaint! By the way, can you prove that x > 0 x > 0 ?

Steven Jim - 4 years ago

Log in to reply

@Steven Jim I tried that for about half an hour; I'll keep trying :P

Shourya Pandey - 4 years ago

Log in to reply

@Shourya Pandey Okay... I'm trying too :P Thanks anyways! :))))))

Steven Jim - 4 years ago

Log in to reply

@Steven Jim Ah curses. Shourya is right. One needs to assume x>0 first.

I don't see an elegant way of proving that x>0. The best I could come up with is via proving with calculus (set d/dx = 0, show that d^2 /dx^2 > 0 ), but it's bad...

Pi Han Goh - 4 years ago

Log in to reply

@Pi Han Goh So any way of proving x > 0 without Calculus?

Steven Jim - 4 years ago

Bonus question:

Find the value of x when the above expression is 6

Vijay Simha - 3 years ago

Log in to reply

What expression?

Pi Han Goh - 3 years ago

Log in to reply

The entire expression on the LHS which was previously = 4

Vijay Simha - 3 years ago
Rahil Sehgal
May 10, 2017

x 4 + 3 x 2 + 1 x 2 + x 4 4 x 2 + 1 x 3 + x = 4 \dfrac { x^{ 4 }+3{ x }^{ 2 }+1 }{ { x }^{ 2 } } +\dfrac { { x }^{ 4 }-4{ x }^{ 2 }+1 }{ { x }^{ 3 }+x } = 4 .

( x 4 + 3 x 2 + 1 ) ( x 2 + 1 ) + ( x 4 4 x 2 + 1 ) ( x ) x 4 + x 2 = 4 \Rightarrow \dfrac { (x^{ 4 }+3{ x }^{ 2 }+1)(x^2+1) +( { x }^{ 4 }-4{ x }^{ 2 }+1)(x) }{ x^4 + x^2 } = 4

( x 6 + 3 x 4 + x 2 + x 4 + 3 x 2 + 1 ) + ( x 5 4 x 3 + x ) + ( 4 x 4 4 x 2 ) = 0 \Rightarrow \color{#3D99F6}{(x^6 + 3x^4 + x^2 + x^4 + 3x^2 +1)} + \color{#D61F06}{(x^5-4x^3+x)} + \color{#69047E}{(-4x^4 -4x^2 )} =0

x 6 + x 5 4 x 3 + x + 1 = 0 \Rightarrow x^6 + x^5 -4x^3 +x +1 =0

( x 1 ) 2 ( x 4 + 3 x 3 + 5 x 2 + 3 x + 1 ) = 0 \Rightarrow \color{#20A900}{(x-1)^2} \color{#EC7300}{(x^4+3x^3 +5x^2 +3x+1)} \color{#333333}{=0}

Therefore, the answer is x = 1 \color{#20A900}{x= \boxed{1}}

For completeness, you should justify why the 2nd term has no real roots.

Calvin Lin Staff - 4 years, 1 month ago

Nice solution!

Steven Jim - 4 years, 1 month ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...