Topic overview
Geometry in BMO1 is mostly **angle chasing, similarity, circles**; BMO2 rises to **orthocentre / incentre / circumcentre / Euler line / Simson line**, etc. There are three parallel main approaches to solving problems, to be chosen by preference or used as a fallback: the **synthetic method** (inscribed angles, cyclic quadrilaterals, similarity), the **coordinate method** (place a vertex at the origin and a side on an axis, then compute directly with the distance formula), and the **vector method** (after taking the circumcentre as the origin, expressions for triangle centres become extremely simple). Being able to use **directed angles** saves a great deal of case-by-case discussion.
Key concepts
Inscribed angle theorem: inscribed angles subtended by the same arc are equal, and the central angle is twice the inscribed angle; the inscribed angle subtended by a diameter is .
Cyclic quadrilateral: opposite angles are supplementary. Tangent–chord angle (angle between tangent and chord) equals the inscribed angle subtended by the intercepted arc.
Criteria for four points to be concyclic: for the same line segment, equal angles of subtension on the same side or supplementary angles of subtension on opposite sides the four points are concyclic — this is the core that links together 'feet of perpendiculars / right angles' (e.g. Simson line uses 'right angle ⇒ lies on the circle with the segment as diameter').
Key points
- ◆"Equal angles in the same segment" and "opposite angles are supplementary" are the engines of angle chasing
- ◆Right angle → the point lies on the circle with the hypotenuse as diameter
- ◆Directed angles (mod $180^\circ$) automatically handle the different positions of points, strongly recommended
Similar triangles give the ratios of side lengths. Projection theorem: dropping an altitude onto the hypotenuse of a right-angled triangle gives , (adding these gives Pythagoras).
Power of a point with respect to a circle: a secant/chord through a fixed point satisfies ; in the tangent case . Ptolemy's theorem: for a cyclic quadrilateral (proved by "taking a point on the diagonal with equal angles → two pairs of similar triangles → adding").
Key points
- ◆When an intersection point plus a product of side lengths appears in a circle → look for similar triangles / use the power of a point
- ◆Ptolemy's equiangular construction is a reusable template (it also extends to Ptolemy's inequality)
- ◆Intersecting chords and secants are essentially both "power of a point"
Two ways of computing the same area to establish an equation is the simplest and most effective method.
- Angle bisector theorem: (ratio of areas).
- Viviani's theorem: for a point inside an equilateral triangle, the sum of the distances to the three sides is the height (summing the areas of the three small triangles; since the three sides are equal in length they can be cancelled). For a general triangle it is .
Key points
- ◆Split the area by connecting a point to the vertices, then set the "two methods of calculation" equal
- ◆$[\triangle]=\tfrac12\,\text{base}\times\text{height}=\tfrac12ab\sin C=rs$ ($r$ the inradius, $s$ the semiperimeter)
Place one vertex at the origin and one side on a coordinate axis, write the coordinates of the remaining points using side lengths and angles, then compute directly with the distance formula. The golden placement is "midpoint at the origin, opposite side on the axis", which greatly simplifies median/symmetry/perpendicular relationships and makes cross terms cancel automatically.
From this one can derive: the law of cosines , Apollonius's median . When synthetic methods give no idea for a while, the coordinate method can almost always push through to the end.
Key points
- ◆Putting the origin at the midpoint / placing a side on the axis is the golden setup for the coordinate method
- ◆The law of cosines and Stewart / Apollonius are standard lemmas for "squared length" problems
- ◆Large computational load but reliable; suitable as a fallback
Taking the circumcentre as the origin ():
Thus many relations become one-line computations: ( is the midpoint of ), the reflection of in is (the antipode of ), the Euler line is collinear and (because ), and the nine-point centre is the midpoint of .
Key points
- ◆'Circumcentre at the origin + $H=\mathbf a+\mathbf b+\mathbf c$' is the key to handling the orthocentre/Euler line
- ◆Collinear / fixed ratio / parallel problems: the vector method is almost foolproof
- ◆The **reflection** of $H$ in $BC$ lies on the circumcircle (another golden fact)
Equal tangent lengths: the incircle touches all three sides, and the two tangent lengths from each vertex are equal; let , then etc., giving ( is the semiperimeter).
Incentre angle: ( bisects the angle + angle sum).
Simson line: on the circumcircle the feet of the perpendiculars from it to the three sides are collinear—use "right angle ⇒ concyclic on the circle with that diameter" to construct auxiliary circles, then track with directed angles.
Key points
- ◆For incircle problems, start from "equal tangent lengths" and turn the side lengths into $x,y,z$ to solve the equation
- ◆$\angle BIC=90^\circ+\tfrac12\angle A$ is a high-frequency lemma (the excentre is $90^\circ-\tfrac12\angle A$)
- ◆Multiple right angles/feet of perpendiculars → circle with diameter + directed angles = Simson line, nine-point circle, etc.
Worked examples
Try each example yourself before checking the explanation.
Let be a cyclic quadrilateral (with its vertices on the circle in order). Prove that .
Let be the incentre of . Prove that .
Ready to practise this topic?
Practise the available questions for this topic. Difficulty labels are platform references.
Practise Geometry →