Smallest Inequality Bound

Algebra Level 5

What is the smallest integer N N such that ( x 4 3 x 2 6 x + 13 x 4 x 2 + 1 ) 4 < N \left( \sqrt{ x^4 - 3x^2 - 6x +13} - \sqrt{x^4 - x^2 +1 } \right) ^4 < N , as x x ranges over all real values?

Note: There is a strict inequality in the challenge.

Details and assumptions

If you think that the expression can take values over 999, input your answer as 999.


The answer is 101.

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.

7 solutions

Tong Zou
Nov 12, 2013

First, we should try to complete the squares inside the square roots. The the LHS becomes:

( ( x 3 ) 2 + ( x 2 2 ) 2 x 2 + ( x 2 1 ) 2 ) 4 \left(\sqrt{(x-3)^2+(x^2-2)^2} - \sqrt{x^2+(x^2-1)^2}\right)^4

Notice the first square root is the distance of the point ( x , x 2 ) \left(x, x^2\right) to the point ( 3 , 2 ) (3,2) and the second square root is the distance of the point ( x , x 2 ) \left(x, x^2\right) to the point ( 0 , 1 ) (0,1) . Basically, we try to find the maximum difference between the points on the parabola y = x 2 y=x^2 to the two fixed points. By the triangle inequality, the absolute value of the maximum difference is simply the distance between ( 0 , 1 ) (0, 1) and ( 3 , 2 ) (3,2) , which is 10 \sqrt{10} , and this distance can be obtained on the parabola. So the answer is 10 4 + 1 \sqrt{10}^4 + 1 which is 101 \boxed{101} .

Thanks so much for the great solution! I would love to know how you figured out the factorization though... I spent a while on that, and I couldn't get it.

Michael Tang - 7 years, 7 months ago

Log in to reply

It's just completing the square. For the first square root, I tried to complete the square for x 4 2 x 2 x^4-2x^2 , but the remaining term did't look nice, then I tried x 4 4 x 2 x^4-4x^2 , and the remaining term is also a perfect square. The second square root is easier.

Tong Zou - 7 years, 7 months ago

Log in to reply

Alright, thanks again!

Michael Tang - 7 years, 7 months ago

Log in to reply

@Michael Tang You are welcome!

Tong Zou - 7 years, 7 months ago

Is it always possible to change a quartic into the sum of two squares of polynomials, or is this a special case?

Matt McNabb - 7 years, 6 months ago

Log in to reply

No, this is just a special case. Otherwise the quartic will always be positive.

Tong Zou - 7 years, 6 months ago

Log in to reply

Every real polynomial in one variable is non-negative on R \mathbb{R} if and only if it is a sum of two squares of real polynomials in one variable.

Calvin Lin Staff - 7 years, 6 months ago

((x^4 - (3* x^2) - (6*x) + 13)^0.5 - (x^4 - x^2 + 1)^0.5)^4

  • maximize the given equation
  • you will get 100 as the maximum value of equation
  • Now N > maximum value of equation
  • So, N = 101

Akash Goyal - 7 years, 7 months ago
Kevin Li
May 20, 2014

Notice that

x 4 3 x 2 6 x + 13 = ( x 2 2 ) 2 + ( x 3 ) 2 x^4-3x^2-6x+13=(x^2-2)^2+(x-3)^2 x 4 x 2 + 1 = ( x 2 1 ) 2 + x 2 x^4-x^2+1=(x^2-1)^2+x^2

We let the left side of the inequality be equal to P 4 P^4 , then P = ( x 2 2 ) 2 + ( x 3 ) 2 ( x 2 1 ) 2 + x 2 P= \biggl| \sqrt{(x^2-2)^2+(x-3)^2} - \sqrt{(x^2-1)^2+x^2} \biggr|

is the difference between the distances between ( 3 , 2 ) , ( x , x 2 ) (3,2),(x,x^2) and ( 0 , 1 ) , ( x , x 2 ) (0,1),(x,x^2) .

We let A = ( 3 , 2 ) , B = ( 0 , 1 ) , C = ( x , x 2 ) A=(3, 2), B=(0,1), C=(x, x^2) . Then

P = A C B C A B P=\bigl|\overline{AC}-\overline{BC}\bigr| \leq \overline{AB}

by triangle inequality. Thus the maximum of P P is ( 3 0 ) 2 + ( 2 1 ) 2 = 10 \sqrt{(3-0)^2+(2-1)^2}=\sqrt{10} , which can be achieved when x = 1 6 37 6 x=\frac16 - \frac{\sqrt{37}}{6} .

As a result, P 4 P^4 reaches a maximum value of 100 100 . Thus N N has to be at least 101 \boxed{101} .

This geometric interpretation provides a direct verification through the triangle inequality. The equality condition is easily checked, and shown to exist at a real value.

Solutions that failed to check the equality conditions were marked as incomplete, because they did not verify that that equality can occur. For example, we can also show that the expression is less than or equal to 357, but that doesn't imply that N = 358 N=358 .

Calvin Lin Staff - 7 years ago
Happy Melodies
Nov 13, 2013

One possible idea of such inequality questions with square roots is using coordinate geometry, or more specifically, using the formula of Distance Between Two Points and then Triangle Inequality.

On a side note, this question (and the following solution which I attempt to give) is similar to Subharthi's minimum , a question posted 2 weeks ago.

Step 1 Observe that we can factorise the given expression (well, for simplicity's sake, just the expression within the brackets) into the following:

( x 2 2 ) 2 + ( x 3 ) 2 ) ( x 2 1 ) 2 + x 2 ) \sqrt{(x^{2} - 2)^{2} + (x-3)^{2})} - \sqrt{(x^{2} -1)^{2} + x^{2})} .

Step 2 Applying the Distance Formula , we easily get that the expression equals to the difference between the distance of the line connecting the points ( x 2 , x ) (x^{2}, x) and ( 2 , 3 ) (2,3) and that of the line connecting points ( x 2 , x ) (x^{2}, x) and ( 1 , 0 ) (1,0) .

Step 3 Now, the hardest part of the solution is to find the maximum value of the expression, which translates to the maximum distance between the 2 lines (mentioned in Step 2). Recall that x x ranges over all real values, so the exact value of x x or the length of each line does not matter. Hence, Triangle Inequality will do the trick as follows:

To enhance visualisation, lets put some labels on the 3 points: Let point ( x 2 , x ) (x^{2},x) be A A , ( 2 , 3 ) (2,3) be B B and ( 1 , 0 ) (1,0) be C C .

Then, in the triangle A B C ABC , first let A B AB be the diagonal (or longest length). Using Triangle Inequality, A B AB A C + B C \leq AC + BC . From this, it is clear that A B A C B C AB - AC \leq BC . Therefore, the maximum difference is the length of B C BC .

Similarly, letting A C AC be the diagonal of triangle A B C ABC , will also lead to the same conclusion that the maximum difference is the length of B C BC .

Step 4 Using the distance formula, the absolute value of B C BC is ( 2 1 ) 2 + ( 3 0 ) 2 = 1 0 \sqrt{(2-1)^{2} + (3-0)^{2}} = \sqrt 10 . Recall that we have to find N N , which is the smallest integer larger than the expression to the power of 4. Hence to arrive at N N , we just add 1 to B C 4 BC^{4} : ( 1 0 ) 4 + 1 = 101 (\sqrt 10)^{4} +1 = 101 . We are done. :)

Sorry for this long solution but I really want to try to include some motivation in my solution (as I try to follow the recently introduced guidelines to solution writing). :) I also feel that it is important to show the Triangle Inequality part (even though it might sound naggy) because as Michael T. has posted in the discussion, I hope that my solution can be clear to those that did not manage to get the problem as well. :) And thanks to all for reading.

Happy Melodies - 7 years, 7 months ago

Nice way for explaining the motivation to consider coordinate geom. Voted up!

Zhang Lulu - 7 years, 7 months ago

Log in to reply

Haha :) Thanks!

Happy Melodies - 7 years, 7 months ago
Christopher Boo
Mar 22, 2014

Rearranging the given expression

\strut x 4 3 x 2 6 x + 13 \strut x 4 x 2 + 1 \sqrt{\strut x^4-3x^2-6x+13}- \sqrt{\strut x^4-x^2+1}

we get

\strut ( x 3 ) 2 + ( x 2 2 ) 2 \strut ( x ) 2 + ( x 2 1 ) 2 \sqrt{\strut (x-3)^2+(x^2-2)^2}-\sqrt{\strut (x)^2+(x^2-1)^2}

Hence, we can set some points on the Cartesian Plane,

P = ( x , x 2 ) P=(x,x^2)

A = ( 3 , 2 ) A=(3,2)

B = ( 0 , 1 ) B=(0,1)

To get

A P = \strut ( x 3 ) 2 + ( x 2 2 ) 2 AP=\sqrt{\strut (x-3)^2+(x^2-2)^2}

P B = \strut ( x ) 2 + ( x 2 1 ) 2 PB=\sqrt{\strut (x)^2+(x^2-1)^2}

The locus of point P P is the parabola

f ( x ) = x 2 f(x)=x^2

A B AB is a line segment

g ( x ) = x 3 + 1 g(x)=\frac{x}{3}+1

where x [ 0 , 3 ] x\in[0,3]

Conclude my explanation above, we will have a graph

Smallest Inequality Bounded Smallest Inequality Bounded

Image Credit for WolframAlpha

The minimum value occurs when Point P P is on the line A B AB , which means the two function gives the same output, note this as

f ( x ) = g ( x ) f(x)=g(x)

x 2 = x 3 + 1 x^2=\frac{x}{3}+1

3 x 2 x 3 = 0 3x^2-x-3=0

By the Quadratic Formula,

x = 1 + 37 6 \displaystyle x=\frac{1+\sqrt{37}}{6}

By substituting we get the minimum value

\strut x 4 3 x 2 6 x + 13 \strut x 4 x 2 + 1 = \strut 10 \sqrt{\strut x^4-3x^2-6x+13}- \sqrt{\strut x^4-x^2+1}=\sqrt{\strut 10}

Hence, the minimum value

[ \strut x 4 3 x 2 6 x + 13 \strut x 4 x 2 + 1 ] 4 = 100 \Big [\sqrt{\strut x^4-3x^2-6x+13}- \sqrt{\strut x^4-x^2+1}\Big ]^4=100

Since N N is the smallest integer larger than it, so

N = 101 N=101

END.

Nice solution!

Saurabh Mallik - 7 years, 2 months ago

I just put 100! DANG IT SO MUCH! AAARG!

Finn Hulse - 7 years, 1 month ago
Mahbub Alam
Nov 10, 2013

Here I have coded the maximum value of the function by using c++. Then I have got 100(the maximum valu of the function by substituting all real number).. as "N" must be greater than the maximum value of that function.. then "N" should be 100+1=101.. so the answer is 101... Thank you.. the code is given below:

include <bits/stdc++.h>

using namespace std;

int main()

{

ios base::sync with_stdio(0);

cin.tie(0);

double x=0,y,i,result=0,mark;

for(x=-1000;x<=1000;x=x+.0001)

{

    y=pow(sqrt(pow(x,4)-3*pow(x,2)-6*x+13)-sqrt(pow(x,4)-pow(x,2)+1),4);

    if(y>result)

        {

            result=y;

            mark=x;

        }

}

cout<<result<<" "<<mark<<endl;

return 0;

}

Sigh, this is a algebra problem, not a programming problem, but I suppose this is also a method (:

Ruth Goh - 7 years, 7 months ago

Log in to reply

In that case: f [ x _ ] : = ( x 4 3 x 2 6 x + 13 x 4 x 2 + 1 ) 4 ; f[x\_ ] := \left( \sqrt{x^4 - 3 x^2 - 6 x + 13} - \sqrt{x^4 - x^2 + 1}\right)^4;

F i n d M a x i m u m [ f [ x ] , . 9 x . 8 , x , . 85 ] FindMaximum[{f[x], -.9 \leq x \leq -.8}, {x, -.85}]

In Mathematica... Throws 100 as the maximum :p

Alfredo Saracho - 7 years, 7 months ago

I just have 1 question. When you are given a geometry question, do you actually go about constructing the whole problem to find the answer. How ridiculous is this solution? It hurts to see that people people are only interested in getting points rather than actually solving the problem. I request challenge master to note such activity and make a rule that people,at the very least, stop POSTING such solutions. (Sorry for being harsh but that's the truth.)

Ruchir Mehta - 7 years, 7 months ago

Log in to reply

Ruchir, please don't be too upset at Mahbub. As far as I am concerned, whoever posts such solutions just makes a fool of himself/herself. "Look, I can run faster than the champions can swim!" Of course, we at Brilliant do not endorse this. But you know what, counterexamples can be valuable too.

Alexander Borisov - 7 years, 7 months ago

As long as rating points are deducted for merely viewing a problem, there'll be people using a computer if they couldn't or didn't have time to solive it that week.

Matt McNabb - 7 years, 6 months ago

ahaahhahahaha

Stefano Scx - 7 years, 7 months ago

Let f ( x ) = x 4 3 x 2 6 x + 13 x 4 x 2 + 1 f(x)=\sqrt{x^4-3x^2-6x+13}-\sqrt{x^4-x^2+1} , which can be rewritten as f ( x ) = x 4 4 x 2 + 4 + x 2 6 x + 9 x 4 2 x 2 + 1 + x 2 f(x)=\sqrt{x^4-4x^2+4+x^2-6x+9}-\sqrt{x^4-2x^2+1+x^2} or f ( x ) = ( x 2 2 ) 2 + ( x 3 ) 2 ( x 2 1 ) 2 + x 2 f(x)=\sqrt{(x^2-2)^2+(x-3)^2}-\sqrt{(x^2-1)^2+x^2} . Squaring we have f ( x ) 2 = 2 x 4 4 x 2 6 x + 14 2 [ ( x 2 2 ) 2 + ( x 3 ) 2 ] [ ( x 2 1 ) 2 + x 2 ] f(x)^2=2x^4-4x^2-6x+14-2\sqrt{[(x^2-2)^2+(x-3)^2][(x^2-1)^2+x^2]} By Cauchy Schwarz Inequality, we have [ ( x 2 2 ) 2 + ( x 3 ) 2 ] [ ( x 2 1 ) 2 + x 2 ] ( x 2 2 ) ( x 2 1 ) + x ( x 3 ) \sqrt{[(x^2-2)^2+(x-3)^2][(x^2-1)^2+x^2]}\geq (x^2-2)(x^2-1)+x(x-3) . Thus, f ( x ) 2 2 x 4 4 x 2 6 x + 14 2 [ ( x 2 2 ) ( x 2 1 ) + x ( x 3 ) ] f(x)^2\leq 2x^4-4x^2-6x+14-2[(x^2-2)(x^2-1)+x(x-3)] , which simplifies to f ( x ) 2 2 x 4 4 x 2 6 x + 14 ( 2 x 4 4 x 2 6 x + 4 ) = 10 f(x)^2 \leq 2x^4-4x^2-6x+14-(2x^4-4x^2-6x+4)=10 . Therefore, f ( x ) 4 100 f(x)^4\leq 100 and the smallest positive integer N N is N = 101 N=101 .

Daanish Bansal
Nov 11, 2013

This problem can be solved with help of coordinate geometry above expression can be expressed as:- {[(x^2 - 2)^2+(x-3)^2]^1/2 - [(x^2-1)^2+(x-0)^2]^1/2}^4 which is equal to difference of distances of point(x^2,x) from points(2,3)and(1,0) then by applying triangle inequality difference of two sides=or<third side thus maximum value of expression{[(x^2 - 2)^2+(x-3)^2]^1/2 - [(x^2-1)^2+(x-0)^2]^1/2} to be equal to distance between points(2,3)and(1,0)which is 10^1/2 so we get N>100 N=101

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...