Vectors and geometry: properties of the scalar product, the Cauchy-Schwarz inequality and its equality case, the centroid and medians, concurrency of altitudes, perpendicular bisectors and the circumcentre, the angle bisector and the point where it meets the opposite side (new emphasis in the 2024 Extension 2 syllabus)
“Prove and apply the Cauchy-Schwarz inequality , and use vectors to describe and prove properties of medians, altitudes, perpendicular bisectors and angle bisectors of a triangle in two and three dimensions”
Cauchy-Schwarz: , with equality for parallel vectors (prove it from ). Medians meet at in the ratio ; altitudes satisfy a zero scalar product with the opposite side and are concurrent; the perpendicular bisector of is , and the three meet at the circumcentre; the angle bisector at has direction and meets in the ratio . New emphasis in the 2024 Extension 2 syllabus.
Jump to a section
What this dot point is asking
NESA's Year 12 Further work with vectors in the Mathematics Extension 2 11-12 Syllabus (2024), first examined in the 2027 HSC, has a sub-heading Vectors and geometry. Under it students "Prove and use the Cauchy-Schwarz inequality for vectors", examine the properties of the scalar product (commutative, distributive, scalar multiples, unit vector results, orthogonality), "Define the medians, altitudes, perpendicular bisectors and angle bisectors of a triangle and recognise these definitions in vector proofs" and "Solve problems and prove geometric results in two dimensions and three dimensions using vectors". Our page on vector geometric proofs covers parallelograms, midpoints and rhombus diagonals; this page covers the Cauchy-Schwarz inequality and the four types of triangle line.
Think of two sticks joined at a hinge. The scalar product measures how much one stick points along the other. If they point exactly the same way the "agreement" is as large as it can be, which is the product of their lengths. If the hinge opens up, the agreement shrinks, and at a right angle it is zero. So the agreement can never exceed the product of the lengths. That is the Cauchy-Schwarz inequality in a sentence. The rest of the page uses vectors to find four special lines in a triangle: lines to midpoints (medians), perpendicular lines from a vertex (altitudes), lines that split an angle in half (angle bisectors) and lines at right angles through the middle of a side (perpendicular bisectors).
The answer
- Properties
- , , , , and for non-zero vectors means perpendicular.
- Cauchy-Schwarz
- , with equality exactly when and are parallel.
- Triangle with position vectors
- Median from goes to . The medians meet at the centroid , which divides each median from the vertex.
- Altitude from satisfies .
- Perpendicular bisector of is the set of points with , equivalently . The three perpendicular bisectors meet at the circumcentre, which is equidistant from , and .
- Angle bisector at has direction (sum of unit vectors along and ), and meets at the point .
Why Cauchy-Schwarz is true
Using angles, because . The angle-free proof (see the third practice question) starts from and chooses . The second proof is more useful because it works in any number of dimensions, and it is the same idea as the algebraic version you meet in proving inequalities.
Applying Cauchy-Schwarz
Write the given expression as a scalar product. For example, , so . The maximum of a linear expression on a sphere (or minimum of a sum of squares on a plane) then occurs where the two vectors are parallel, which tells you the point.
Medians and the centroid
The midpoint of has position vector . The point of the way along the median from is
a formula that is symmetric in , and . Therefore the same point lies on all three medians, which proves they are concurrent.
Altitudes and concurrency
An altitude is a line through a vertex perpendicular to the opposite side, so the scalar product of the direction from the vertex with the side direction is zero. Placing the origin at one vertex simplifies the algebra, as in the proof in the practice questions.
Perpendicular bisectors
The perpendicular bisector of passes through the midpoint and is perpendicular to , so a point lies on it exactly when . Expanding gives , which is the same as : every point on the line is equally far from and . If a point lies on the perpendicular bisectors of and it is equidistant from all three vertices, so it also lies on the perpendicular bisector of . The three bisectors are therefore concurrent, at the circumcentre.
Angle bisectors
The sum of two unit vectors is the diagonal of a rhombus, which bisects the angle between them. So the bisector at has direction . The angle bisector theorem says it meets at the point dividing in the ratio , which gives the formula for above.
How exam questions use this
- "Use Cauchy-Schwarz to show ..." Choose two vectors whose scalar product is the expression, then square.
- "Prove the medians (altitudes) are concurrent." Use position vectors, a clever origin and scalar products.
- "Find the circumcentre." Write two perpendicular bisector conditions and solve them together.
- "Find the point where the bisector meets the opposite side." Use the ratio .
- "Show the vector bisects the angle." Show it makes equal cosines with the two sides.
A minimum under a linear constraint
Find the minimum value of given that , and the point where it occurs.
Step 1: apply Cauchy-Schwarz
With and , , so .
Step 2: the minimum
.
Step 3: the point
Equality needs . Then gives and the point is , where .
Marker's note: one mark for the setup, one for the minimum, one for the point and the check.
The altitude through a vertex in coordinates
In the triangle with , and , find the orthocentre (where the altitudes meet).
Step 1: altitude from
It is perpendicular to , which runs along the -axis, so it is the line .
Step 2: altitude from
It is perpendicular to . A point on it satisfies , so .
Step 3: intersection
At , , so . Check the altitude from : .
Marker's note: one mark for each altitude, one for the orthocentre and one for the check with the third altitude.
The perpendicular bisectors and the circumcentre
In the same triangle, , and , find the circumcentre (where the perpendicular bisectors meet).
Step 1: bisector of
The midpoint of is and , so gives .
Step 2: bisector of
The midpoint of is and , so , which simplifies to .
Step 3: intersection and check
At , so and the circumcentre is . Check: , and , so is equidistant from all three vertices and lies on the third bisector as well.
Marker's note: one mark for each bisector, one for the circumcentre and one for the equal-distance check.
- Applying Cauchy-Schwarz without a clear choice of vectors
- State what and are before using the inequality.
- Forgetting the absolute value or the square
- The inequality is ; the scalar product itself can be negative, which is why squaring is often the cleanest form.
- Claiming equality without checking parallelism
- Equality needs the vectors parallel (and in the same direction for the maximum of a linear expression).
- Using the median formula with the wrong denominator
- The centroid is , not or .
- Mixing up the bisector ratio
- The bisector meets so that . The larger side gets the larger share of , so weights by and by .
In a proof, say which vectors you take as position vectors and why. Choosing the origin at a vertex or at the centre of a figure saves a great deal of algebra. For Cauchy-Schwarz questions, write the expression as a scalar product on the first line. In a "hence" question, the previous inequality or proof is usually the engine for the next part.
Practice questions
Original practice questions graded from foundation to exam level, each with a full worked solution. Try them before revealing the solution.
foundation2 marksFor and , verify the Cauchy-Schwarz inequality .
Show worked solution →
- Scalar product
- .
- Magnitudes
- and , so .
- Compare
- , so the inequality holds, and it is far from equality because and are nearly perpendicular.
Marker's note: one mark for the scalar product, one for the magnitudes and the comparison.
core2 marksShow that for and the Cauchy-Schwarz inequality holds with equality, and explain what this tells you about the vectors.
Show worked solution →
Compute both sides. . Also and , so .
Both sides equal , so there is equality.
Interpretation. Equality occurs exactly when the vectors are parallel. Here , so the angle between them is and .
Marker's note: one mark for the equality, one for the link to parallel vectors.
core4 marksProve the Cauchy-Schwarz inequality for vectors and with , without using the angle between them, and state when equality occurs.
Show worked solution →
A square is never negative. For any real number , . Expanding with ,
Choose to make the left side small. Take :
Rearrange. Multiplying by gives , and taking positive square roots gives .
Equality. It holds exactly when , that is , so when the vectors are parallel. (If both sides are .)
Marker's note: one mark for expanded, one for the choice of , one for the rearrangement, one for the equality case.
core4 marksUse the Cauchy-Schwarz inequality with suitable vectors to show that for all real , , . Hence find the maximum value of when , and the values of , , at which it occurs.
Show worked solution →
Choose the vectors. Let and . Then and .
Apply the inequality in its squared form: , that is
Maximum. If then , so .
Where it occurs. Equality needs parallel to , in the same direction, so with and . Then , giving , and indeed .
Marker's note: one mark for the vectors, one for the squared inequality, one for the maximum , one for the point of equality.
exam3 marksThe triangle has vertices , and . Let be the midpoint of . Find and show that the point with position vector lies on the median , dividing it in the ratio .
Show worked solution →
- Midpoint
- , so .
- The point
- , so .
- Show it lies on at the two-thirds mark
- and . So lies on with .
In general, , and this expression is symmetric in , and , so lies on all three medians.
Marker's note: one mark for , one for , one for the conclusion.
exam4 marksProve using vectors that the three altitudes of a triangle are concurrent.
Show worked solution →
Choose the origin at so that and . Then .
Let be the intersection of the altitudes from and , with position vector .
The altitude from is perpendicular to : , so .
The altitude from is perpendicular to : , so .
Subtract. , so . This says .
Conclude. lies on the line through perpendicular to , which is the third altitude. The three altitudes meet at .
Marker's note: one mark for the choice of origin and the two altitude conditions, one for each of the two equations, one for the subtraction and conclusion.
exam4 marksThe vectors and are the directions of two sides of a triangle meeting at a vertex. Find a vector along the bisector of the angle between them with integer components, and show that it makes equal angles with and .
Show worked solution →
Use unit vectors. and , so and .
The sum of two unit vectors bisects the angle between them (they form a rhombus whose diagonal bisects the angle):
Scale by : .
Check the angles. and , so . Also , so . The cosines are equal, and the common angle is about .
Marker's note: one mark for the unit vectors, one for the sum, one for the integer vector, one for the matching cosines.
exam4 marksA triangle has vertices , and . The bisector of angle meets at . Using the fact that divides in the ratio , find and verify that bisects angle .
Show worked solution →
Lengths. and . So .
Section formula. .
So .
Verify. First, , so angle and each half should be . Then and , since .
so . Similarly and , so .
Marker's note: one mark for the lengths and ratio, one for , one for each angle check.