Additional Mathematics Synthesis Guide 9: Plane Geometry, Coordinate Geometry, Trigonometry and Proof

Learning route: Read the conditions · Choose a method · Connect circle geometry · Complete the investigation · Attempt the practice · Teach and check the transfer.

Scope: the 2026 O-Level Additional Mathematics syllabus includes coordinate geometry and plane-geometry proofs. Use the syllabus for the learner’s actual examination year and subject level; this guide is not a claim that every extension belongs to every A-Math course. All worked problems below are original teaching examples, not reproduced examination questions.

1. What a geometric proof must preserve

A proof begins with permitted information and ends with a conclusion forced by that information. Between those points, every new statement needs a reason. The reason might be a definition, a given condition, a previously established result or an applicable theorem. The drawing helps organise the information, but an unmarked visual impression is not a premise.

There are three useful categories to keep separate. A given is something the problem supplies, such as AB = AC. A deduction is something that follows, such as equal base angles in that isosceles triangle. An appearance is something the drawing merely suggests, such as a line seeming horizontal. Only the first two categories may carry a proof.

Before writing, make the target precise. Proving two lines parallel is not the same as calculating their lengths. Proving triangles similar is not the same as proving them congruent. Finding one point on a locus is not the same as describing every point on it. A proof can contain correct mathematics and still fail because it establishes a different claim.

A useful first sentence is: “I need to show ___; the information I may use is ___.” This is not an examination formula. It is a way to prevent the solution from drifting into whatever calculation happens to be familiar.

2. Read angle names as exact objects

In ∠ABC, the vertex is B. The rays are BA and BC. Writing three letters is valuable because one point in a crowded circle diagram may be the vertex of several different angles. A statement such as “angle B equals angle C” can become ambiguous as soon as an extra chord is drawn.

When two angles subtend the same chord, also check the locations of their vertices. Angles in the same segment are equal; angles on opposite sides can be supplementary. Similarly, a tangent line has two rays at its point of contact. Choosing the wrong ray can replace an acute angle with its supplement. These are not minor presentation concerns: they change the mathematical statement.

Read a similarity statement with equal care. If triangle ABC is similar to triangle PQR, the written order declares A ↔ P, B ↔ Q and C ↔ R. Consequently AB corresponds to PQ, not to whichever side is most convenient in the next line. The correspondence is part of the result, not something to decide again later.

3. Choose the method from the target and the givens

Plane geometry is often economical when the information concerns angles, parallel lines, equal sides, circles or midpoint relationships. Coordinate geometry is attractive when positions are already supplied or when an axis choice removes unnecessary arithmetic. Trigonometry is useful when lengths and angles must be related, especially when an exact non-right-triangle calculation is required.

These are preferences, not rigid laws. A circle tangent can be obtained from a perpendicular radius, from a coordinate equation, or from a repeated-root intersection calculation. The useful question is which method exposes the required condition with the fewest fragile steps. A shorter solution is not automatically better, but a solution with fewer unjustified assumptions is.

Consider a midpoint claim in a general triangle. Introducing six arbitrary coordinates may be valid but unnecessarily expensive. Put one vertex at the origin and one side on the horizontal axis. That changes the coordinate description without changing the triangle’s essential geometry. By contrast, making the third vertex sit above the midpoint of the base would add symmetry that the problem never gave.

Good representation changes the bookkeeping, not the problem.

4. Worked proof: the midpoint theorem in coordinates

Claim: the segment joining the midpoints of two sides of a non-degenerate triangle is parallel to the third side and has half its length.

Choose A = (0, 0), B = (2b, 0) and C = (2c, 2d), where b > 0 and d ≠ 0. This describes an arbitrary non-degenerate triangle after a suitable translation and rotation. Let D be the midpoint of AB and E the midpoint of AC. Then D = (b, 0) and E = (c, d).

The horizontal and vertical changes from D to E are c − b and d. The changes from B to C are 2(c − b) and 2d. Thus the two segments have the same direction: both components have been multiplied by 2. If c = b, both segments are vertical; the argument still works without dividing by zero.

The squared lengths satisfy DE² = (c − b)² + d² and BC² = 4(c − b)² + 4d² = 4DE². Lengths are non-negative, so BC = 2DE. We have established both required statements: DE is parallel to BC and DE = BC/2.

What made the proof general? The letters b, c and d were not fixed numerical choices. The only restrictions ensured a genuine triangle. Had we chosen C = (b, 2d), we would have proved only a special symmetric case.

What should be checked? The proof did not use the midpoint theorem to prove the midpoint theorem. It used the coordinate midpoint and distance formulas. This avoids circular reasoning.

5. Similarity: angle evidence becomes a length ratio

Suppose D lies on AB and E lies on AC, with DE parallel to BC. Then ∠ADE = ∠ABC and ∠AED = ∠ACB by corresponding angles. The remaining angle at A is shared. The triangles ADE and ABC are similar, with the correspondence A ↔ A, D ↔ B and E ↔ C.

Therefore AD/AB = AE/AC = DE/BC. If AD = 6 and DB = 4, the relevant denominator is AB = 10, not DB = 4. The scale factor from the large triangle to the small one is 3/5. If BC = 15, then DE = 9.

The area ratio is 9/25. To see why, write each area as half a base times its perpendicular height. Similarity scales both base and height by 3/5, so it scales their product by (3/5)². A student who uses 3/5 as an area ratio has correctly identified the length scale but failed at the change of quantity.

Transfer check: reverse the information. If the area ratio is 16/49, the corresponding positive length ratio is 4/7. Taking the square root is justified because actual lengths, rather than signed coordinates, are being compared.

6. Congruence: prove the correspondence before using it

In triangle ABC, suppose AB = AC and D is the midpoint of BC. Triangles ABD and ACD have AB = AC, BD = DC and the common side AD. They are congruent by side-side-side. Consequently ∠BDA = ∠ADC. Because B, D and C are collinear, these equal adjacent angles sum to 180°, so each is 90°. Thus AD is perpendicular to BC.

The order matters. We did not begin by assuming that the median in the drawing was an altitude. We proved it from the equal sides and midpoint condition. Having established the right angle, Pythagoras and trigonometric ratios may now be used in either smaller triangle.

For A = (0, 12), B = (−5, 0) and C = (5, 0), each sloping side has length 13, the height is 12 and the whole triangle has area 60. In the right triangle at B, tan ∠ABC = 12/5. Geometry has justified the right triangle; coordinates and trigonometry then calculate within it.

7. Worked connection: an equal-distance condition becomes a line

Let A = (−2, 1) and B = (4, 5). Find the set of points P = (u, v) satisfying PA = PB.

Using squared distances avoids unnecessary square roots: (u + 2)² + (v − 1)² = (u − 4)² + (v − 5)². Expansion and cancellation give 12u + 8v − 36 = 0, or 3u + 2v = 9.

Now verify geometrically. The midpoint of AB is M = (1, 3), which satisfies 3(1) + 2(3) = 9. The gradient of AB is 2/3; the gradient of 3u + 2v = 9 is −3/2. Their product is −1. The locus is precisely the perpendicular bisector of AB.

This is a useful two-way check. Algebra produced the line from the distance condition. Geometry explains why that line must pass through M and be perpendicular to AB. Merely checking M would not establish the whole locus, because many lines pass through M.

There is also a logical reason the algebra is safe: both distances are non-negative, so equality of their squares is equivalent to equality of the distances. That equivalence would need more care if the original quantities could have either sign.

8. A circle equation is a distance statement

The equation (x − a)² + (y − b)² = r² describes points at distance r from the centre (a, b), with r > 0 for a genuine circle. Expanded form can hide that simple structure. Completing two squares restores it.

For x² + y² − 6x + 4y − 12 = 0, rearrange to obtain x² − 6x + y² + 4y = 12. Completing the squares gives (x − 3)² + (y + 2)² = 25. The centre is O = (3, −2), and the radius is 5.

Notice both sign changes. The centre’s first coordinate is 3 even though expanded form contains −6x. Its second coordinate is −2 even though completed-square form contains y + 2. Read the equation as a squared displacement from the centre rather than extracting signs by habit.

A point P = (6, 2) lies on this circle because its displacement from O is (3, 4), whose squared length is 25. That check matters before constructing a tangent “at P”. A line perpendicular to OP through an arbitrary off-circle point would not automatically be a tangent at that point.

9. Worked connection: radius, perpendicularity and a tangent equation

For the circle above, find the tangent at P = (6, 2). The radius OP has gradient 4/3, so the tangent has gradient −3/4. Through P, its equation is y − 2 = −(3/4)(x − 6), or 3x + 4y = 26.

We can explain the perpendicular-radius fact rather than treating it as an isolated instruction. If Q is any other point on the line through P perpendicular to OP, triangle OPQ is right-angled at P. Thus OQ² = OP² + PQ² > r². Every other point of that line lies outside the circle, so the line meets the circle only at P.

There are two quick checks on the equation. First, P satisfies it: 3(6) + 4(2) = 26. Second, the gradients multiply to −1. These checks test different possible errors: passing through the right point and having the right direction.

For a horizontal radius, the tangent is vertical. Do not attempt to represent that tangent by a finite gradient. Write x = constant. An approach based on perpendicularity remains valid even when the usual negative-reciprocal calculation does not apply.

10. Tangent–chord reasoning needs the correct angle

The tangent–chord theorem relates an angle between a tangent and a chord to an angle subtended by that chord in the alternate segment. Its geometric statement and proof can be read in Euclid, Book III, Proposition 32. In a school solution, the practical task is to identify the chord, the tangent ray and the matching angle accurately.

Suppose A, B and C lie on a circle. At A, choose the tangent ray AT on the opposite side of chord AB from C. Then the angle between AT and AB equals ∠ACB. If ∠ACB = 38°, that tangent–chord angle is 38°. The angle made using the other tangent ray is its supplement, 142°.

This example is deliberately explicit about the ray. Saying “the angle between the tangent and chord is 38°” without identifying the intended angle can conceal an ambiguity. The drawing may show the intended ray, but a text-only explanation must name it.

Once the matching angle is found, do not stop looking for the larger structure. The new angle may establish similar triangles, which then yield a length relation. The theorem often supplies the entrance to the proof rather than its conclusion.

11. Worked proof: a tangent length from similar triangles

Let P lie outside a circle. A secant meets the circle at A and B in the order P, A, B, and PT is tangent at T. Prove PT² = PA × PB.

Triangles PTA and PBT share the angle at P because PA and PB lie along the same ray. The tangent–chord theorem for chord AT gives ∠PTA = ∠PBT. Therefore triangle PTA is similar to triangle PBT, with P ↔ P, T ↔ B and A ↔ T.

The corresponding-side ratio is PT/PB = PA/PT. Multiplication gives PT² = PA × PB. The relation has been derived from the geometry, so it does not need to arrive as an unexplained extra formula.

If PA = 4 and AB = 5, then PB = 9. Hence PT² = 36 and PT = 6. Using PA × AB would give 20 and would be wrong: the secant quantity in the relation is the whole distance PB, not only the part inside the circle.

Why retain the point order? It tells us that PB = PA + AB. Without an order statement or an unambiguous diagram, the addition could not be assumed. The order also fixes which rays form the angle at P.

12. Trigonometry can verify a coordinate calculation

Take triangle ABC with AB = 8, AC = 6 and included angle BAC = 60°. By the cosine rule, BC² = 8² + 6² − 2(8)(6)cos60° = 52, so BC = 2√13. Its area is (1/2)(8)(6)sin60° = 12√3.

Now choose A = (0, 0), B = (8, 0) and C = (6cos60°, 6sin60°) = (3, 3√3). The coordinate distance gives BC² = (8 − 3)² + (3√3)² = 25 + 27 = 52. The horizontal base and vertical height give area (1/2)(8)(3√3) = 12√3. Both representations agree.

This is not a requirement to solve every question twice. It shows why the formulas are compatible. The cosine rule itself can be obtained by expressing one side through horizontal and vertical components and expanding the distance formula. See OpenStax’s treatment of non-right triangles for the general derivation.

A second representation is most useful when it checks a different vulnerability. Repeating the same subtraction twice is a weaker check than comparing a distance calculation with a geometric constraint.

13. Exact area is more informative than an early decimal

For the triangle above, 12√3 is exact. A rounded decimal may be appropriate at the final stage, but carrying the exact form can reveal later cancellation. If a similar triangle has half every side length, its area is 3√3, immediately one quarter of the original.

Preserve the angle information as well. The sine of 60° is √3/2; replacing it by 0.866 before several operations introduces avoidable approximation. The question determines the final accuracy, while the intermediate calculation should retain enough information to meet that request.

Units also belong to the mathematical object. A length measured in centimetres and an area measured in square centimetres cannot be compared as if they were the same kind of quantity. In a proof about similarity, the distinction between length scale and area scale is the same issue in algebraic form.

14. Connected investigation: one triangle, three methods

Let A = (0, 0), B = (8, 0) and C = (2, 6). Let D, E and F be the midpoints of AB, BC and CA respectively. Find the area of triangle DEF, prove DE is parallel to AC, and find the exact value of cos ∠EDF.

First, construct the objects. The midpoint formula gives D = (4, 0), E = (5, 3) and F = (1, 3). Before calculating anything else, observe that EF is horizontal. That observation is a deduction from equal y-coordinates, not a visual guess.

Second, find the area in the cheapest representation. EF = 4, and the perpendicular distance from D to the line y = 3 is 3. Thus area DEF = (1/2)(4)(3) = 6 square units. The original triangle has area (1/2)(8)(6) = 24. The ratio 6/24 = 1/4 agrees with the fact that the medial triangle has half the corresponding side lengths.

Third, prove the parallel relationship. The gradient of DE is (3 − 0)/(5 − 4) = 3. The gradient of AC is 6/2 = 3. Therefore DE is parallel to AC. Alternatively, D and E are the midpoints of AB and BC, so the midpoint theorem gives the same conclusion. Either route is complete; use the route permitted by the question.

Fourth, find the angle through side lengths. DE² = 10, DF² = 18 and EF² = 16. The cosine rule at D gives cos ∠EDF = (10 + 18 − 16)/(2√10√18) = 1/√5 = √5/5.

Notice the sequence. Midpoints produced coordinates. Coordinates revealed a convenient area calculation. Parallelism could be proved either synthetically or analytically. Finally, trigonometry converted the three side lengths into an angle relationship. No method was used merely because its chapter name appeared in the title.

Change the problem: move C while retaining a non-degenerate triangle and keeping D, E and F as midpoints. The numerical lengths and angle change. The parallel relations and one-quarter area ratio survive. Those surviving claims are the general structure underneath this particular example.

15. When a coordinate proof accidentally proves too little

Suppose the claim concerns every parallelogram. Choosing A = (0, 0), B = (a, 0), C = (a, b), D = (0, b) makes the figure a rectangle. Calculations performed with those coordinates may prove a true result for rectangles while saying nothing about slanted parallelograms.

A general placement is A = (0, 0), B = (a, 0), D = (c, d), C = (a + c, d), with a > 0 and d ≠ 0. Here c allows the slant. The diagonals have the same midpoint, ((a + c)/2, d/2), proving that they bisect each other for the whole family.

The lesson is not that coordinates are dangerous. Coordinates are precise enough to expose exactly which family you have described. State the freedom of the letters and the restrictions needed for the configuration. A general proof should not quietly replace arbitrary objects by unusually convenient special ones.

16. The statement and its converse are different jobs

From an isosceles triangle, equal base angles follow. The converse says that equal angles in a triangle imply equal opposite sides. Both statements are true, but a proof must use the direction that matches its starting information. Naming a familiar theorem without checking its direction can hide a circular argument.

Likewise, if a point is on the perpendicular bisector of AB, it is equidistant from A and B. The converse starts from the equal distances and concludes that the point lies on that line. In the worked locus example, the algebra established both directions because each transformation was equivalent.

Ask of every theorem: “What does it require, and what does it give me?” That question is particularly useful when a proof stalls. You may possess a desired conclusion but not the conditions that would permit the theorem you hoped to use.

17. Build a proof backwards, but present it forwards

Planning backwards can be productive. To prove two lines parallel, you might seek equal corresponding angles or equal gradients. To prove a length ratio, you might seek similar triangles. To prove two triangles similar, you might seek two matching angles. This planning narrows the next useful observation.

The written proof should then run forward from established information. Give the angle equalities with reasons, state the correct similarity correspondence, write the matching ratio, and derive the target. Do not begin by asserting the target and rearrange it into something true unless you also establish the necessary equivalence.

For a numerical problem, a clear conclusion includes the requested object: a point, an angle, a length or an equation. For a proof, it includes the general claim that has been established. “Therefore 6” and “therefore similar” both leave important information unstated.

18. Practice: choose the route before calculating

For each task, first write the representation you will use and one sentence explaining why. Attempt the mathematics before reading the solutions. These tasks are a learning sequence, not an official paper or a predicted examination.

Task 1. A = (−4, 2) and B = (2, 10). Find AB, its midpoint, and the equation of its perpendicular bisector.

Task 2. Write x² + y² + 2x − 6y − 10 = 0 in centre-radius form. Verify that P = (3, 5) lies on the circle and find its tangent there.

Task 3. Two similar triangles have corresponding side ratio 3:5. The smaller area is 27. Find the larger area and explain why multiplying by 5/3 is insufficient.

Task 4. From an external point P, a secant crosses a circle at A and B in that order. PA = 3, AB = 9, and PT is tangent. Find PT and identify the pair of similar triangles supporting the calculation.

Task 5. Two sides of a triangle are 5 and 7, with included angle 120°. Find the third side and exact area. Explain why the obtuse angle should make the cosine-rule cross-term positive.

Task 6. For a general parallelogram A = (0, 0), B = (a, 0), D = (c, d), C = (a + c, d), prove that the diagonals bisect each other. State the non-degeneracy restrictions.

Task 7. A = (−r, 0), B = (r, 0), and C = (u, v) lies on x² + y² = r², with r > 0 and C different from A and B. Prove that ∠ACB is a right angle using squared distances.

Task 8. A student chooses a rectangle to prove that the diagonals of every parallelogram have equal lengths. Explain the error and give a counterexample with coordinates.

19. Explained solutions

Task 1. The coordinate differences are 6 and 8, so AB = √100 = 10. The midpoint is (−1, 6). AB has gradient 4/3, making the perpendicular-bisector gradient −3/4. Therefore y − 6 = −(3/4)(x + 1), or 3x + 4y = 21. Substituting the midpoint verifies the line passes through the required point.

Task 2. Completing squares gives (x + 1)² + (y − 3)² = 20. The centre is (−1, 3), and the radius is 2√5. At P the radius displacement is (4, 2), whose squared length is 20, so P is on the circle. The radius gradient is 1/2; the tangent gradient is −2. Through P, y − 5 = −2(x − 3), giving 2x + y = 11.

Task 3. The area ratio is 9:25 because both a corresponding base and its altitude scale in ratio 3:5. The larger area is 27 × 25/9 = 75. Multiplication by 5/3 would scale only one linear dimension and would not account for the scaling of the other.

Task 4. PB = PA + AB = 12. Triangles PTA and PBT are similar by their common angle at P and the tangent–chord angle equality. Hence PT² = PA × PB = 36, so PT = 6. Choosing the positive root follows from PT being a length.

Task 5. The third side squared is 25 + 49 − 70cos120° = 74 + 35 = 109, giving √109. The area is (1/2)(5)(7)sin120° = 35√3/4. Since cos120° = −1/2, subtracting the cosine term adds 35. A result shorter than either of the two given sides would deserve immediate checking in this configuration.

Task 6. The midpoint of AC is ((a + c)/2, d/2). The midpoint of BD is also ((a + c)/2, d/2). Thus the diagonals bisect each other. With this orientation, take a > 0 and d ≠ 0; c remains arbitrary. No rectangle assumption has been introduced.

Task 7. AC² = (u + r)² + v² and BC² = (u − r)² + v². Their sum is 2u² + 2v² + 2r² = 4r², because u² + v² = r². But AB² = (2r)² = 4r². Thus AC² + BC² = AB², and the converse of Pythagoras gives ∠ACB = 90°. Excluding the diameter endpoints prevents a degenerate triangle.

Task 8. A rectangle is a special parallelogram, so equal diagonals there cannot prove equal diagonals in every parallelogram. Choose A = (0, 0), B = (4, 0), D = (1, 2), C = (5, 2). Then AC² = 29 while BD² = 13. The diagonals have different lengths, so the universal claim is false. They still have the same midpoint, which is the correct general parallelogram property.

20. Teach the decision, not only the completed proof

Use one example to separate three questions: what must be proved, which conditions are available, and what method connects them. A learner who cannot choose a route may not need another demonstration of the distance formula. They may need to recognise that equal distance is the condition that should become an equation.

A practical teaching sequence is to let the learner annotate the givens, choose a route, and explain the first consequential step before calculating. Later, remove the annotation prompts. Ask for a second method only when it adds insight or checks a particular vulnerability. The purpose is not to burden every short question with two full solutions.

When an error occurs, name the mathematical event. “Used AB where PB was required” is more actionable than “careless”. “Assumed the third vertex lay above the base midpoint” identifies an unjustified restriction. “Matched the wrong angles in the similarity statement” locates a correspondence failure. The next practice problem can then test that specific repair.

For a delayed check, keep the theorem but rotate or relabel the configuration. For a stronger check, present the same relationship in coordinates after first teaching it synthetically. Success on the new form is evidence about that particular transfer; it is not a guarantee that every geometric problem has become secure.

21. Where this connects next

Circle tangency returns in calculus, where a derivative supplies the tangent direction. Similarity supports scale and modelling. Exact trigonometric areas connect to algebraic simplification. A sound proof habit also protects calculus and equation solving, because both require careful control of assumptions and valid transformations.

Continue within this batch: Guide 10: Tangents, Normals, Stationary Points and Optimisation · Guide 11: Definite Integrals, Area, Accumulation and Motion · Guide 12: Mixed-Topic Recognition, Method Selection, Verification and Transfer.

Return to the learning map: Additional Mathematics Directory · BTT Mathematics Hub. For trigonometric identities and equations rather than geometric proof, use Synthesis Guide 3.

Sources and boundaries: the syllabus link above establishes the stated 2026 examination scope; Euclid supplies the classical tangent–chord theorem; OpenStax provides the general cosine-rule treatment. The numerical examples, proof comparisons, practice tasks and teaching sequence on this page are original. The purpose of the sources is to make the underlying mathematics and scope checkable, not to imply official endorsement.