JC2 H3 Mathematics Tutor Bukit Timah

Did you know? A rectangle can have the same perimeter as another rectangle and still enclose a very different area. A square often turns out to be the best answer—but H3 Mathematics asks you to do more than notice it. You must prove that no other choice can do better.

This is a useful introduction to the arithmetic mean–geometric mean inequality, usually shortened to AM–GM. For a JC2 learner exploring an H3 Mathematics tutor in Bukit Timah, the important skill is recognising when an inequality produces a sharp bound, what assumptions allow it, and when equality is actually possible.

Quick answer: For any two nonnegative real numbers a and b, (a+b)/2 ≥ √(ab). Equality holds exactly when a=b. If a and b depend on a variable, first check that both are nonnegative; then solve the equality condition. Without those steps, the student may produce a numerical bound without a valid minimum.

The AM–GM rule is a short proof, not just a formula

Let a and b be nonnegative real numbers. Because every real square is nonnegative, (√a−√b)² ≥ 0. Expanding gives a+b−2√(ab) ≥ 0, or (a+b)/2 ≥ √(ab). Nothing has been assumed about what a and b represent, beyond nonnegativity.

Equality holds precisely when (√a−√b)²=0. This means √a=√b and hence a=b. Notice that proving the bound and showing how to attain it are separate tasks. That equality check is often the difference between a lower bound and the actual minimum.

Why is this called arithmetic mean versus geometric mean? The arithmetic mean of two values is (a+b)/2; the geometric mean is √(ab). The inequality says their arithmetic mean is at least as large as their geometric mean.

In H3 Mathematics (9820), AM–GM is explicitly included among additional inequalities, alongside Cauchy–Schwarz and the triangle inequality. The syllabus also stresses mathematical reasoning and written justification, so explain the choice of terms rather than simply announcing the rule.

Worked example: the minimum of x + 9/x

Question: Find the minimum of f(x)=x+9/x for x>0, and state when it occurs.

Step 1 — inspect the domain. Because x>0, both x and 9/x are positive. AM–GM is permitted.

Step 2 — identify a fixed product. The two terms multiply to x(9/x)=9, independent of x. So x+9/x ≥ 2√9=6.

Step 3 — check equality. AM–GM is an equality if x=9/x. Since x>0, x²=9 gives x=3. The function therefore has minimum value 6 at x=3.

Try x=1: the expression equals 10. Try x=9: it also equals 10. Those values make the shape of the problem intuitive, but only the inequality and equality condition prove the global minimum.

Important variation: If the domain changes to all nonzero real x, six is no longer a lower bound. For x<0, x+9/x is negative and becomes arbitrarily negative as x approaches zero from below. A one-symbol domain change can invalidate a polished-looking answer.

Why the square wins when the perimeter is fixed

Suppose a rectangle has positive side lengths a and b and perimeter 40 cm. Then a+b=20. Its area is ab. AM–GM gives √(ab) ≤ (a+b)/2=10, so ab≤100 cm².

Equality requires a=b=10 cm. Thus the 10-by-10 square has the largest area among rectangles with that perimeter. A 6-by-14 rectangle has area 84 cm²; a 2-by-18 rectangle has area 36 cm². The examples illustrate what the proof establishes for every possible positive pair.

The same idea works backwards. If a positive rectangle has fixed area ab=36 cm², then a+b≥2√36=12 cm. Hence the least possible perimeter is 24 cm, attained by the 6-by-6 square.

The choice of quantities matters. For the fixed-perimeter problem, apply AM–GM to the side lengths. For a function containing reciprocal terms, apply it to carefully chosen positive expressions whose product stays fixed.

Three positive terms: the next useful version

For three nonnegative real numbers a,b,c, the AM–GM inequality is (a+b+c)/3 ≥ ∛(abc), with equality when a=b=c. This is a natural extension, not a claim that three arbitrary real numbers have an ordinary real geometric mean with the same inequality.

Consider positive x and y. The expression x+y+1/(xy) has three positive terms with product x·y·1/(xy)=1. Therefore x+y+1/(xy) ≥ 3.

Equality requires x=y=1/(xy). With x=y=t>0, we obtain t³=1, so t=1. Therefore the minimum value is 3 at x=y=1. This proof answers both questions: ‘How low can it be?’ and ‘Which values achieve it?’

Students can also derive insight by testing a changed question. If the last term becomes 4/(xy), the product of the three terms becomes 4, giving a bound of 3∛4. Equality would require x=y=4/(xy), hence x=y=∛4. The equality condition changes together with the constant.

Ten worked AM–GM learning clinics

1. A simple lower bound

For a>0, a+1/a ≥2 because a·(1/a)=1. Equality requires a=1.

2. A stronger reciprocal

For x>0, x+16/x ≥8. Since x=16/x at x=4, the minimum is eight.

3. Unequal coefficients

For x>0, 2x+18/x ≥2√36=12. Equality requires 2x=18/x, giving x=3.

4. Even powers

For nonzero real x, x²+9/x² ≥6. Equality requires x²=9/x², so x=±√3.

5. Fixed sum

For nonnegative a,b with a+b=12, ab≤36. Equality occurs at a=b=6.

6. Fixed product

For positive a,b with ab=25, a+b≥10, achieved when a=b=5.

7. Two-step equality

For x>0, x²+4/x² ≥4. Equality requires x²=4/x², giving x=√2 for x positive.

8. Three terms

For positive x,y,z with xyz=8, x+y+z≥6. Equality holds at x=y=z=2.

9. A failed application

The claim x+4/x ≥4 fails when x<0: x=−1 gives −5. State x>0 before using positive-term AM–GM.

10. Identifying a non-sharp bound

For x≥2, x+1/x ≥2 by AM–GM, but equality x=1 is outside the domain. Here the actual minimum is at x=2, with value 5/2, because 1−1/x²>0 for x≥2.

The four questions to ask before using AM–GM

Are the terms nonnegative? The two-term inequality requires nonnegative real inputs. Reciprocal expressions bring the additional requirement that the denominator is nonzero. Never apply it to negative summands just because the algebra looks symmetric.

Is the product useful? AM–GM is especially effective when the product of the selected positive terms is fixed. If the product still depends on the variable, the resulting inequality may not settle the problem.

Can equality happen inside the domain? A correct inequality might not be sharp enough to give the minimum. Always solve the equality condition and check whether the solution respects all constraints.

What is the actual question? A proof of ‘at least six’ does not automatically answer ‘find the minimum and where attained’. On an open domain, a bound may be an infimum not attained. Distinguish a bound, a greatest lower bound and an attained minimum when needed.

Finally, when writing a complete solution, state the inequality, substitute the specific quantities, give the equality condition and conclude. That four-line structure is usually clearer than a page of algebra with the logic hidden.

A sensible JC2 H3 Mathematics practice route

Start with six expressions whose products are constant, and classify which are valid AM–GM applications. Next practise three fixed-sum or fixed-product optimisation problems. Then add a changed-domain version: x>0 versus x≠0, or x>0 versus x≥2.

On the following session, compare one AM–GM proof with a calculus derivative proof. Ask which shows the global bound more transparently and which method requires fewer assumptions. The goal is not to reject calculus; it is to learn to select a strong method for the structure of a question.

A useful tutor or study partner should ask the student to defend both the domain and the equality condition. Merely giving ten similar reciprocal expressions can train recognition without revealing whether the student understands the proof.

For families in Bukit Timah, eduKateSG’s original small-group Mathematics reference near Sixth Avenue MRT describes a three-student Secondary 1 arrangement. It is background on teaching format, not confirmation of a JC2 H3 place. Check current H3 course scope and availability directly through eduKateSG enquiries.

Frequently asked questions

Is AM–GM part of Singapore H3 Mathematics?

Yes. Both the 2026 and 2027 Singapore–Cambridge H3 Mathematics (9820) content outlines list AM–GM under additional inequalities.

Must the two expressions be identical at equality?

For the two-term AM–GM inequality, yes. Equality occurs if and only if the two nonnegative terms are equal.

Can I use AM–GM on negative numbers?

Not in the ordinary nonnegative real-number form used here. Check the sign of every selected term first; a wrong domain can reverse the conclusion.

Can a lower bound fail to be a minimum?

Yes. A lower bound is a guaranteed floor, whereas a minimum must be attained at an allowed point. The equality check establishes whether the AM–GM bound is sharp.

Does H3 Mathematics replace H2 Mathematics techniques?

No. H3 assumes H2 knowledge. A successful learner combines algebra, calculus and proof methods, selecting an approach suitable for the problem.

Official syllabus and connected lessons

The SEAB 2027 H3 Mathematics 9820 syllabus lists the three additional inequalities and the expected reasoning skills. The 2026 H3 Mathematics syllabus provides the matching examination-year reference for current JC2 candidates.

Before attempting proof-heavy inequalities, refresh necessary and sufficient conditions. For a contrasting method, explore counterexamples and proof by contradiction. The central habit is always the same: state what is true, why it is true, and when equality or the conclusion really follows.

JC2 H3 Mathematics Tutor Bukit Timah | AM–GM Inequality and Equality Conditions