QiaoShen
← BMO Preparation details

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 90∘90^\circ.
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   ⟺  \iff 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 b2=c⋅pb^2=c\cdot p, a2=c⋅qa^2=c\cdot q (adding these gives Pythagoras).

Power of a point with respect to a circle: a secant/chord through a fixed point PP satisfies PA⋅PB=PC⋅PDPA\cdot PB=PC\cdot PD; in the tangent case PT2=PA⋅PBPT^2=PA\cdot PB. Ptolemy's theorem: for a cyclic quadrilateral AC⋅BD=AB⋅CD+AD⋅BCAC\cdot BD=AB\cdot CD+AD\cdot BC (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: BD/DC=AB/ACBD/DC=AB/AC (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 a da+b db+c dc=2[ABC]a\,d_a+b\,d_b+c\,d_c=2[ABC].

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 xx axis", which greatly simplifies median/symmetry/perpendicular relationships and makes cross terms cancel automatically.

From this one can derive: the law of cosines c2=a2+b2−2abcos⁡Cc^2=a^2+b^2-2ab\cos C, Apollonius's median ma2=2b2+2c2−a24m_a^2=\dfrac{2b^2+2c^2-a^2}{4}. 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 OO as the origin (∣a∣=∣b∣=∣c∣=R|\mathbf a|=|\mathbf b|=|\mathbf c|=R):

orthocentre H=a+b+c,centroid G=13(a+b+c),A antipode=−a.\text{orthocentre}\ H=\mathbf a+\mathbf b+\mathbf c,\quad \text{centroid}\ G=\tfrac13(\mathbf a+\mathbf b+\mathbf c),\quad A\ \text{antipode}=-\mathbf a.

Thus many relations become one-line computations: AH=2 OMAH=2\,OM (MM is the midpoint of BCBC), the reflection of HH in MM is =−a=-\mathbf a (the antipode of AA), the Euler line O,G,HO,G,H is collinear and OG:GH=1:2OG:GH=1:2 (because H=3GH=3G), and the nine-point centre N=12(a+b+c)N=\tfrac12(\mathbf a+\mathbf b+\mathbf c) is the midpoint of OHOH.

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 AY=AZ=x, BZ=BX=y, CX=CY=zAY=AZ=x,\ BZ=BX=y,\ CX=CY=z, then a=y+za=y+z etc., giving x=s−ax=s-a (ss is the semiperimeter).
Incentre angle: ∠BIC=90∘+12∠A\angle BIC=90^\circ+\tfrac12\angle A (BI,CIBI,CI bisects the angle + angle sum).

Simson line: PP on the circumcircle ⇒\Rightarrow 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.

1Example 1: Ptolemy's theorem (equal-angle construction + two pairs of similar triangles)

Let ABCDABCD be a cyclic quadrilateral (with its vertices on the circle in order). Prove that AC⋅BD=AB⋅CD+AD⋅BCAC\cdot BD=AB\cdot CD+AD\cdot BC.

2Example 2: incentre angle $\angle BIC=90^\circ+\tfrac12\angle A$

Let II be the incentre of △ABC\triangle ABC. Prove that ∠BIC=90∘+12∠A\angle BIC=90^\circ+\tfrac12\angle A.

Ready to practise this topic?

Practise the available questions for this topic. Difficulty labels are platform references.

Practise Geometry →