JC1 H3 Mathematics Tutor Bukit Timah | Cauchy–Schwarz Inequality and Equality Cases. Did you know? Sometimes a difficult-looking expression can be bounded without solving an equation or taking a derivative. You simply recognise how two collections of numbers fit together.
That is the appeal of the Cauchy–Schwarz inequality. For a JC1 student building H2 Mathematics fluency in Bukit Timah, it is a useful first encounter with the more precise reasoning associated with possible H3 Mathematics study.
The quick answer: what is Cauchy–Schwarz?
For real numbers a, b, c and d, (ac+bd)² ≤ (a²+b²)(c²+d²). The left side is the square of a dot product. The right side multiplies the sums of the squares of the two pairs of numbers.
An equivalent form is |ac+bd| ≤ √(a²+b²) × √(c²+d²). The absolute value is essential: a dot product can be negative, whereas the right side is always nonnegative.
In a larger list of real numbers, the same principle says that the square of a sum of matching products is at most the product of the corresponding sums of squares.
Why it is true: a proof you can check by expansion
Expand the right side and subtract the left side: (a²+b²)(c²+d²)−(ac+bd)² = a²d²+b²c²−2abcd = (ad−bc)².
Every real square is nonnegative, so (ad−bc)²≥0. This establishes the inequality for every choice of real a, b, c and d.
Did you spot the equality condition? Equality holds exactly when ad=bc. Geometrically, this means the vectors (a,b) and (c,d) point along the same line, including cases where one vector is zero. For nonzero vectors this is the condition of proportionality; the direction may be the same or opposite.
Worked example 1: optimise a linear expression
Question: real x and y satisfy x²+y²=25. What is the largest value of 3x+4y?
Use Cauchy–Schwarz on the pairs (3,4) and (x,y): (3x+4y)² ≤ (3²+4²)(x²+y²)=25×25=625. Thus |3x+4y|≤25, so 3x+4y≤25.
Now check attainability. Equality requires (x,y) proportional to (3,4). The choice x=3, y=4 satisfies x²+y²=25 and gives 3x+4y=25. Therefore the maximum is 25.
The minimum is −25, attained at x=−3 and y=−4. The inequality supplied the bound; the equality case established which values actually achieve it.
Worked example 2: three numbers with a fixed sum
Question: if x+y+z=12 for real x, y and z, find the smallest possible value of x²+y²+z².
Apply the three-term version to (x,y,z) and (1,1,1): (x+y+z)² ≤ (x²+y²+z²)(1²+1²+1²). Since x+y+z=12, this reads 144 ≤ 3(x²+y²+z²).
Therefore x²+y²+z²≥48. Equality requires (x,y,z) proportional to (1,1,1). Because their sum is 12, choose x=y=z=4; then 16+16+16=48.
This reasoning works even though the problem did not say the variables were positive. The real-number form of Cauchy–Schwarz does not need positivity of each coordinate.
Worked example 3: a reciprocal inequality
Question: for positive x and y with x+y=10, how small can 1/x+1/y be?
A useful rearrangement of Cauchy–Schwarz is (1/x+1/y)(x+y)≥(1+1)²=4. To see why, take the pairs (1/√x, 1/√y) and (√x, √y); their dot product is 2.
Since x+y=10, we obtain 1/x+1/y≥4/10=2/5. Equality requires the two pairs to be proportional, which in this setting occurs at x=y. Thus x=y=5 gives 1/5+1/5=2/5.
Check the assumptions: we must have x>0 and y>0 before writing √x, √y, 1/x and 1/y. Forgetting the domain can turn a correct inequality into an invalid solution.
Worked example 4: the geometry behind the inequality
Consider vectors u=(1,2) and v=(2,1). Their dot product is u·v=1×2+2×1=4. Their squared lengths are both 5. Cauchy–Schwarz predicts (u·v)²≤|u|²|v|², or 16≤25.
The inequality is strict, because u and v are not proportional. Compare this with u=(1,2) and w=(3,6): here u·w=15, |u|²=5, |w|²=45, so both sides equal 225. The vectors are proportional and equality is achieved.
The three questions to ask before using Cauchy–Schwarz
- What are my two lists? The left side needs a sum of products that can be recognised or constructed deliberately.
- What information is fixed? A sum of squares, a total, or a constraint often turns the bound into an optimisation result.
- Can equality occur? Check proportionality and ensure the resulting variables satisfy every original condition.
Common misconceptions that affect a proof
- Writing (ac+bd)≤(a²+b²)(c²+d²) without the square or square roots. That is not the standard inequality.
- Assuming a positive maximum merely because the squared expression is bounded. Use the absolute-value step to justify the sign.
- Claiming a maximum or minimum exists without exhibiting values that achieve the bound.
- Believing every Cauchy–Schwarz argument requires positive variables. The standard real-number inequality does not; a reciprocal application does.
Independent check: can you use it without hints?
Challenge A: if x²+y²=13, prove |2x+3y|≤13. Equality is possible at (x,y)=(2,3) and at (−2,−3), so the maximum of 2x+3y is 13.
Challenge B: if real numbers x,y,z add to 9, show that x²+y²+z²≥27. Check equality at x=y=z=3.
Challenge C: why does proportionality matter? Show that the proof difference (ad−bc)² becomes zero precisely when ad=bc.
Frequently asked questions
Is Cauchy–Schwarz in the H3 Mathematics 9820 syllabus?
Yes. The official 2027 syllabus explicitly lists the Cauchy–Schwarz inequality alongside AM–GM and the triangle inequality as additional inequalities.
Will a JC1 learner need the most general version immediately?
No. Start with a two-variable expansion and exact equality conditions. Extend to three or more variables after the structure is clear.
Why does a tutor focus on equality rather than only a numerical bound?
Because a bound that cannot be attained does not establish the greatest or least possible value. Strong mathematical writing explains both the limitation and its attainability.
Official syllabus and related JC Mathematics learning
The SEAB 2027 H3 Mathematics 9820 syllabus lists Cauchy–Schwarz and the triangle inequality under additional inequalities, alongside AM–GM. Knowledge of H2 Mathematics is assumed. The official 2027 A-Level subject directory gives the subject’s examination-year listing. Check the relevant syllabus for the student’s actual examination year; these are original learning examples, not past-paper questions.
For a clear learning route, revisit AM–GM inequality and optimisation, the JC H1/H2 Mathematics learning guide, and JC1 H2-to-H3 readiness. Cauchy–Schwarz and the triangle inequality work particularly well together as proof-building techniques.
The unchanged eduKateSG small-group Mathematics reference describes a three-student tuition approach near Sixth Avenue MRT. It does not confirm a dedicated JC1 H3 class or subject-specialist availability. Families from Bukit Timah, Beauty World and Sixth Avenue can enquire with eduKate Singapore about suitable JC Mathematics support, tutors, timing and fees; or explore the Bukit Timah Tuition Hub.