Show that for all :
When do we get equality?
Solution
If , we can use a 4-term AM-GM to obtain
We get equality if and only if all four terms are equal, i.e. if and only if .
If one of the two numbers is non-positive and the other non-negative, the RHS of the target inequality is non-positive whereas the LHS is at least 18, so the inequality still holds, but with no possibility of equality.
Finally, if , we replace by which leaves both LHS and RHS unchanged, so the inequality holds by what we have shown already, and equality iff .
In summary, we have proved the inequality and shown that equality occurs if and only if and are both equal to or both equal to .
we have
with equality iff .
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.