Have a look at the Advanced level marathon, a lot of reasonably hard inequality questions are there, and although they may use some slightly more advanced techniques (i.e. General AM-GM, Cauchy and Jensen's inequality), the skill set required translates well into the HSC environment.
A lot of inequalities comes down to 'seeing' what to do, there is no really set procedure to it, that is why BOS uses inequalities (and Combinatorics) as a sort of buffer between medium band 65 and high band 6 students.
Here are some 'techniques'
- Keep 'solving' the inequality by doing things to both sides until you get a result easier to prove
- Try a substitution to lower the amount of variables, potentially allowing you to use calculus if you are able to get it down to 1 variable.
Although substitution is not something BOS will ask out of the blue, it is a good techinque to keep in mind, common ones are:
As you can see, although we still have 3 variables, we get the added product condition which can prove useful
- Keep note of how 'strong' the inequality is
What I mean by this is:
Lets say the question asked you to prove that
A > B
You use AM-GM and you get A > C
And you try to simplify C > B, perhaps to get an answer, and you end up proving a contradiction
Which means B > C
Which means that A > B is an inequality that is 'stronger' than AM-GM, meaning you will probably need to do something more complex
Though writing all these tips down won't really help, you need to do some advanced inequalities to gain the intuition necessary