The examination

Algebra Level 4

(I hate you, whosoever created the examination.) I have just had the test this morning, and the final problem stumps me, as always. This is a slightly altered version of that problem.

What is the minimum of the following expression?

x 4 8 x 2 x + 3 x 2 6 x + 9 + 2019 \large \displaystyle x^4 - 8x^2 - x + \sqrt{3x^2 - 6x + 9} + 2019


The answer is 2004.

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.

4 solutions

Otto Bretscher
Dec 20, 2018

We have 2 ( x 2 ) 2 = 2 x 2 8 x + 8 0 2(x-2)^2=2x^2-8x+8\geq 0 , with equality for x = 2 x=2 . Thus 3 x 2 6 x + 9 x 2 + 2 x + 1 = ( x + 1 ) 2 3x^2-6x+9\geq x^2+2x+1=(x+1)^2 and 3 x 2 6 x + 9 x + 1 \sqrt{3x^2-6x+9}\geq x+1 . The quantity to be minimised is ( x 2 4 ) 2 x + 3 x 2 6 x + 9 + 2003 ( x 2 4 ) 2 + 2004 (x^2-4)^2-x+\sqrt{3x^2-6x+9}+2003\geq (x^2-4)^2+2004 , with the minimum of 2004 \boxed{2004} being attained at x = 2 x=2 .

Mark Hennings
Dec 20, 2018

If we define g ( x ) = 3 x 3 x 2 + 6 g(x) \; = \; \frac{3x}{\sqrt{3x^2 + 6}} then g ( 1 ) = 1 g(1) = 1 and g ( x ) = 18 ( 3 x 2 + 6 ) 3 2 > 0 g'(x) \; = \; \frac{18}{(3x^2 + 6)^{\frac32}} \; > \; 0 and hence we deduce that g ( x ) < 1 g(x) < 1 for x < 1 x < 1 , while g ( x ) > 1 g(x) > 1 for x > 1 x > 1 . We now note that, if we define f ( x ) = x 4 8 x 2 x + 3 x 2 6 x + 9 + 2019 f(x) \; = \; x^4 - 8x^2 - x + \sqrt{3x^2 - 6x + 9} + 2019 then f ( x ) > f ( x ) f(-x) > f(x) for all x > 0 x > 0 , so f f is certainly minimized at nonnegative x x . But f ( x ) = 4 x 3 16 x 1 + 3 ( x 1 ) 3 x 2 6 x + 9 = 4 x ( x 2 4 ) 1 + g ( x 1 ) f'(x) \; = \; 4x^3 - 16x - 1 + \frac{3(x-1)}{\sqrt{3x^2 - 6x + 9}} \; = \; 4x(x^2-4) - 1 + g(x-1) so f ( 2 ) = 0 f'(2) = 0 and we deduce that f ( x ) < 0 f'(x) < 0 for 0 < x < 2 0 < x < 2 , while f ( x ) > 0 f'(x) > 0 for x > 2 x>2 . Thus the minimum value of f ( x ) f(x) occurs at x = 2 x=2 , and is therefore 2004 \boxed{2004} .

Do you have an all-algebraic solution?

Thành Đạt Lê - 2 years, 5 months ago

Log in to reply

See my added comment...

Mark Hennings - 2 years, 5 months ago

We do not need calculus to show that f f must be minimized at nonegative x x . Now x 4 8 x 2 = ( x 2 4 ) 2 16 3 x 2 6 x + 9 ( x + 1 ) = 2 x 2 8 x + 8 3 x 2 6 x + 9 + x + 1 = 2 ( x 2 ) 2 3 x 2 6 x + 9 + x + 1 \begin{aligned} x^4 - 8x^2 & = \; (x^2 - 4)^2 - 16 \\ \sqrt{3x^2 - 6x + 9} - (x + 1) & = \; \frac{2x^2 - 8x + 8}{\sqrt{3x^2 - 6x + 9} + x + 1} \; = \; \frac{2(x-2)^2}{\sqrt{3x^2 - 6x + 9} + x + 1} \end{aligned} both of these expressions are minimized (for x 0 x \ge 0 ), taking values 16 -16 , 0 0 respectively at the point x = 2 x=2 . Thus f ( x ) 16 + 0 + 2020 = 2004 f(x) \; \ge \; -16 + 0 + 2020 \; = \; 2004 as required.

Mark Hennings - 2 years, 5 months ago

Log in to reply

Thanks for your help.

Thành Đạt Lê - 2 years, 5 months ago
Thành Đạt Lê
Dec 19, 2018

One interesting note, not explanation, is that the answer to this problem is when I, and most of the students who took this test, were born, in 2004.

Does the solution have to be an integer?

Toby M - 2 years, 5 months ago

Not necessarily.

Thành Đạt Lê - 2 years, 5 months ago

I noticed your request that calculus not be used; unfortunately, that is the only method I know.

f = x 4 8 x 2 + 3 x 2 6 x + 9 x + 2019 f=x^4-8 x^2+\sqrt{3 x^2-6 x+9}-x+2019

f x = 4 x 3 + 6 x 6 2 3 x 2 6 x + 9 16 x 1 \frac{\partial f}{\partial x}=4 x^3+\frac{6 x-6}{2 \sqrt{3 x^2-6 x+9}}-16 x-1

Solve [ f x = 0 ] { 2. , 1.91467 , 0.130657 , 1.00097 1.41505 i , 1.00097 + 1.41505 i } \text{Solve}\left[\frac{\partial f}{\partial x}=0\right] \Longrightarrow \{2.,-1.91467,-0.130657,1.00097\, -1.41505 i,1.00097\, +1.41505 i\}

2 f x 2 @ { 2. , 1.91467 , 0.130657 , 1.00097 1.41505 i , 1.00097 + 1.41505 i } { 32.6667 , 28.0934 , 15.2116 , 15328. 4449.75 i , 15328. + 4449.75 i } \frac{\partial ^2f}{\partial x^2} @ \{2.,-1.91467,-0.130657,1.00097\, -1.41505 i,1.00097\, +1.41505 i\} \Longrightarrow \\ \{32.6667,28.0934,-15.2116,-15328.-4449.75 i,-15328.+4449.75 i\}

As only the first two have positive real valuses, they are the local minimums.

f @ { 2. , 1.91467 , 0.130657 , 1.00097 1.41505 i , 1.00097 + 1.41505 i } { 2004. , 2010.64 , 2022.13 , 2019.02 + 29.6511 i , 2019.02 29.6511 i } f @ \{2.,-1.91467,-0.130657,1.00097\, -1.41505 i,1.00097\, +1.41505 i\} \Longrightarrow \{2004.,2010.64,2022.13,2019.02\, +29.6511 i,2019.02\, -29.6511 i\}

Of the first two (the local minimums), the first at x = 2 x=2 where f ( 2 ) = 2004 f(2)=2004 is the smallest and is therefore the global minimum.

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...