Professional Documents
Culture Documents
ance):
1
8
I17 - u22+v
uv
2M £
3 u
v
+ 3 v
u
£ Hu + vL I 1u + 1v M
1
8
H17 - 1L £ 1 + 1 £ 4
2=2=2
Equality!
Now, we really only have two inequalities to prove- that the leftmost expression is less than or
equal to the middle one, and that the middle one is less than or equal to the rightmost one. Then
we've proved the whole thing.
I started with the middle and right expressions. They certainly don't look very nice; before we dig
in, we can expand the product under the square root:
u v
3
v
+ 3
u
£ 2 + uv + uv
u v
This is where the trickery comes in: noticing that v
and u
are the only two variable expressions, we
u 1 v
can make the simple substitution k = v
® k
= u
to make this a single-variable inequality:
k13 + k-13 £ I2 + k + k1 M
12
We'll make one more substitution for convenience (getting rid of the cube roots):
n3 = k, which gives
n + 1n £ H2 + n3 + n-3 L12
n2 + n-2 £ n3 + n-3
And now we can see the design of the problem. How are we to prove this? Notice first that in the
u v
3
v
+ 3
u
£ 2 + uv + uv
2 Mathematics Magazine Problem 1822.nb
u v
This is where the trickery comes in: noticing that v
and u
are the only two variable expressions, we
u 1 v
can make the simple substitution k = v
® k
= u
to make this a single-variable inequality:
k13 + k-13 £ I2 + k + k1 M
12
We'll make one more substitution for convenience (getting rid of the cube roots):
n3 = k, which gives
n + 1n £ H2 + n3 + n-3 L12
n2 + n-2 £ n3 + n-3
And now we can see the design of the problem. How are we to prove this? Notice first that in the
original inequality u and v are interchangeable and that k = uv , so proving this for k Ε H0, 1L or n Ε
(0,1) is equivalent to proving it for n Ε H1, ¥L if one of those ends up being easier. But, the method
I used didn't need that: we first make a function f HxL defined for x > 0 (it's even so this is all we'll
need):
f HxL = Αx + Α-x
f ' HxL = Log@xD Αx - Log@xD Α-x = 0 when x = 0. So x = 0 is a critical point: the derivative is
positive on (0,¥), an since 3>2 we have the desired result.
1
8
I17 - u22+v
uv
2M £ k
13 + k-13
I've used k here because it turns out that was the real design of this problem, as the LHS here does
reduce to a single variable with the same change.
8 2M
1
8
I17 - 1+k
2k
2M £ k
13 + k-13
3
17 - 16 n
1+n6
£ n + n-1 ; Removing negative exponents and fractions and expanding we obtain
I17 - u22+v 2M £ k
1 uv Mathematics Magazine Problem 1822.nb 3
13 + k-13
8
I've used k here because it turns out that was the real design of this problem, as the LHS here does
reduce to a single variable with the same change.
8 2M
1
8
I17 - 1+k
2k
2M £ k
13 + k-13
3
17 - 16 n
1+n6
£ n + n-1 ; Removing negative exponents and fractions and expanding we obtain
n = 0 or n = 1
2
K51 ± 512 - 4 * 16 * 32 O » 1.164
Checking the number line, this value of n turns out to be a relative minimum, so that the function is
increasing on (1.164,¥). Since f H1.164L » 6.714, we have that this is in fact true, and we have
proven the statement for all real u and v.