# Mathematical Food for Thought

Serves a Daily Special and an All-You-Can-Eat Course in Problem Solving. Courtesy of me, Jeffrey Wang.

• ## Meta

Yum! Topic: Inequalities. Level: Olympiad. March 27th, 2006

Problem: Let be positive reals such that . Prove that

.

Solution: We will use a method of solving inequalities called “Isolated Fudging.” Since the variables are separated we will prove an inequality for each individual term. We guess that there exists a real such that

.

Doing the same for each variable and summing up, we see that this will prove the result. To find , we throw in some calculus (the part ensuing is not necessary in a formal solution write-up, so you don’t need to include any calculus in the “official” solution).

Let . Differentiating with respect to , we have

.

Looking at the equality case in the problem, we see that . So if our guess is correct, then . So

.

Now back to the solution. It remains to show that

,

which is equivalent to

,

or

.

Since is a positive real, we have and , so it is true. Hence

,

as desired. QED.

——————–

Comment: Isolated Fudging is a pretty neat trick and there are many variations on it, which are nice to learn. It lets you come up with solutions that have extremely strange numbers but magically work out.

——————–

Practice Problem: (2005 IMO – #3) Prove that for all positive with product at least ,

.

### 2 Responses to “Yum! Topic: Inequalities. Level: Olympiad.”

1. QC Says:

I saw that problem. Why didn’t I see that the variables were separated? D:

2. chess64 Says:

Isolated fudging? Lol