# Mathematical Food for Thought

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

• ## Meta

Fishy Triangular Number. Topic: Inequalities. Level: AIME. April 12th, 2007

Problem: (2001 Poland Finals – #1) Prove the following inequality:

where are positive reals.

Solution: Like the title says, that triangular number looks really fishy… let’s write it as and pair up the terms on the RHS.

.

We claim that for . We’ll use our good friend AM-GM to show this; in fact, it is quite simple.

so

as desired. Sum them up to get our inequality. QED.

——————–

Comment: Just a clever little application of AM-GM; apparantly not a strong inequality at all, and the only equality case is for all . Nevertheless, slightly on the tricky side which makes it sufficiently satisfying to solve.

——————–

Practice Problem: (2006 Poland Finals – #1) Solve in reals:

.

### 4 Responses to “Fishy Triangular Number. Topic: Inequalities. Level: AIME.”

1. t0rajir0u Says:

Man, I was about to post a problem like that.

Anyway, consider the largest and smallest of the five variables; WLOG the largest is a and the smallest is e. If a is greater than 1/2, then either b or c must be greater than a, contradiction; hence a ≤ 1/2. Similarly, if e is less than 1/2, then either a or b must be less than e, contradiction; hence e ≥ 1/2. Together, this implies a = b = c = d = e = 1/2.

Hmm, I’m not sure you aren’t losing any generality with that WLOG. Since the set of equations is cyclic, picking one to be the largest and another to be the smallest (especially ones that share an equation) should change the problem…

There is a way to avoid that, in any case, because we can say WLOG $$a$$ is the maximum, but then $$e^2 = a^3+b^3 \ge c^3+b^3 = a^2$$ so $$e \ge a$$ and thus $$e = a$$. We can make similar arguments for the remaining variables.

3. t0rajir0u Says:

Sorry, the WLOG should be made separately for the largest and the smallest. That is, do the argument for the largest first, then the argument for the smallest.