Lemmas In Olympiad Geometry

Navneel Singhal
July 14, 2016
Geometry is the art of correct reasoning from incorrectly drawn
figures.
- Henri Poincare

Introduction

Here is a collection of some useful lemmas in geometry, some of them well

known, some obscure and some by the author himself. This list of lemmas is
also intended to be a list of some easier problems and also as some configurations
that frequently appear on contests. Usually these lemmas will be intermediate
results that will help you reach the solution in many cases, and maybe even
trivialize the problem. These will help you write some really elegant solutions
(and will also help you to simplify your bashes in cases of some problems that
dont yield easily to synthetic solutions.) So have fun proving these lemmas and
using them to the fullest advantage in your Olympiad journey!

Some Notations
By (XY Z) we denote the circumcircle of XY Z, by (XY ) the circle with
XY as diameter, and by (M, r) the circle with centre M and radius r, the
radius being dropped when the context is clear.
We denote H as the orthocentre, O as the circumcentre, G as the centroid,
N as the nine-point centre, I as the incentre, Na as the Nagel point and
Ge as the Gergonne point of ABC

Orthocenter related properties

O and H are isogonal conjugates.
Reflections of the orthocenter over the sides and the midpoints of the sides
lie on (ABC).

 The O is the orthocenter of the medial triangle. a consequence is that

AH=2OM .
If DEF is the orthic triangle of 4ABC then {H, A, B, C} is the set of
in/excenters of 4DEF .
Let A0 , B 0 and C 0 be the reflections of H over the sides BC, CA and AB
respectively. Then A is the midpoint of arc B 0 C 0 and so on.
Let X and Y be the orthocenters of the triangles ABC and DBC of cyclic
quadrilateral ABCD. Then BCXY is a parallelogram.
Simson line of a point P on (ABC) bisects P H.(can be quoted)
Let ABCD be a complete quadrilateral. P = ADBC and Q = ABCD.
Then circles with diameter AC, BD and P Q are coaxial and their radical
axis is the line joining the orthocenters of the triangles P AB, P CD, QAD
and QBC.(Gauss - Bodenmillers theorem). This line is perpendicular to
the line joining the midpoints of P Q, AC and BD which is called the
Steiner line of the complete quadrilateral ABCD.
Let AA1 , BB1 and CC1 be three cevians. Then H is the radical center of
the circles with diameters as AA1 , BB1 and CC1 .

Symmedian Related Properties

Let the tangents to (ABC) at B and C meet at X. Let AX meet (ABC) at K

and BC at J. Then the following properties hold:

BJ
JC

2
= ( AB
AC )

Quadrilateral BCAK is harmonic.

4ABK 4AM C
(AO) and (BOC) meet on the midpoint of AK.
BC is a symmedian in each of 4BAK and 4CAK.
BC is also an angle bisector of AM K and M K is its external angle
bisector.
Tangents at A and K to (ABC) meet on BC.
Let the reflection of K in BC be Y . Then
Y is the image of M (midpoint of BC) under the inversion centered at A
which sends H to the foot of the A-altitude.

 (BHC), (AH), AM , circles tangent to BC at B and C and passing through

A, and the circumcircle of the triangle formed by the midpoint of AH, M
and the circumcenter of BHC (the reflection of O in BC), all pass through
Y . The last triangle mentioned forms an isosceles trapezoid alongwith Y .
The symmedians concur at the Symmedian point which is the unique point
such that it is the centroid of its pedal triangle with respect to ABC.
Let the foot of the A-altitude on BC be D and on (ABC) be A0 , and
midpoint of BC be M . Then (DA0 M ) cuts (ABC) again at K, the intersection of the A-symmedian with the circumcircle.
Let the foot of the A and the B altitudes on the sides be D and E.
Then AK, DE, B-midline and the line antiparallel to BC through B with
respect to 4ABC are concurrent.
Let K 0 be the symmedian point of 4ABC and Q be the midpoint of the
A-altitude. Then K 0 Q bisects BC.

In/excenter related properties

Let the touchpoint of the incircle with BC, CA, AB be D, E and F respectively.
The A-excircle touches the side BC at D0 .
(Diameter of incircle) Let the diameter of the incircle through D be DD00 .
Then A, D00 and D0 are collinear and D and D0 are isotomic points with
respect to side BC.
(Diameter of excircle)Let the diameter of the excircle through D0 be D0 D1 .
Then A, D and D1 are collinear.
(Fact 5) The midpoints of the arcs BC, CA and AB are equidistant from
the incenter, respective endpoints of the arcs and the respective excenter.
The diameter of the incircle DD00 , the A-median and the A-touch-chord
of the incircle are concurrent.
Let the A-touch chord of the incircle be EF with E on AC and F on AB.
Then the B-midline, C-bisector, EF and the circle with BC as diameter
concur at X such that F XIDB is a cyclic pentagon.
Let IA , IB and IC be the excenters, MA , MB and MC be the arc midpoints
of the arcs of (ABC) cut off by the sides containing exactly 2 vertices,
MA0 , MB0 and MC0 be the antipodes of MA , MB and MC respectively. Then
I is the orthocenter of IA IB IC . MA0 , MB0 and MC0 are the midpoints of
the sides of 4IA IB IC and 4ABC is the orthic triangle of 4IA IB IC , with
(ABC) being the nine-point circle of 4IA IB IC . Also, IC IB CB is cyclic
with IC IB as the diameter. The contact triangle is also homothetic with
4IA IB IC .
3

 DIA , D0 I concur on the midpoint of the A-altitude.

Let EF meet BC at Z. Then IK AD and K is the pole of the line AD
with respect to the incircle. Also, {B, C, D, K} is harmonic. Consequences
include: The tangent to the incircle at AD (I) passes through X, AD
bisects B(AD IK)C.
Antipode of A in (ABC), the foot of the D-altitude in the contact triangle
and I lie on a line which passes through the second intersection of (ABC)
and (AEIF ).
OI is the Euler line of the contact triangle.
AMA0 I = IM B where M is the midpoint of BC.
(Curvilinear Incircles) A curvilinear incircle is a circle tangent to an arc
of (ABC) containing all three vertices of ABC and also tangent to one of
its sides. For the sake of definiteness we assume that the circle is tangent
to the side AB at K, to arc ACB at T , and CD is a cevian tangent to
at L. Then the following hold true:
1. MC , K, T are collinear and MC K.MC T = MC B 2 = MC A2
2. CILT is a cyclic quadrilateral.
3. I KL
(Mixtilinear Incircles) The A-mixtilinear incircle A is the circle tangent
to AB and AC and (ABC) at K, L, T respectively. Then the following
hold true:
1. I is the midpoint of KL.
2. T I passes through MA0 , and is isogonal to T A in the triangle T KL
(look for symmedians).
3. BKIT and CLIT are cyclic, with CI and BI being tangent to them..
4. AT and AD0 are isogonal in 4ABC. AT and DT are isogonal in
4T BC.
5. AT passes through the insimilicenter of the incircle and (ABC) which
is on OI.
6. The circumcircle of the triangle formed by the intersections of the
A-bisector and BC and (ABC) and D passes through T .
7. BC, KL and T MA are concurrent.
8. AT MC = MB T I
9. T MA and AD meet on the mixtilinear incircle.
10. AD0 and T I meet on the mixtilinear incircle.
11. A is the image of theA-excircle under the composition of an inversion at A with radius bc and a reflection over the angle bisector of
BAC.
4

 If Y and Z are the feet of the B- and the C- bisectors on the opposite
sides then OIA Y Z.
A circle through A cuts the sides AB and AC at B 0 and C 0 such that
BB 0 = CC 0 iff it passes through MA0 .
The medial triangle and the triangle homothetic to 4ABC at Na with
ratio 12 share a common incircle.
Na is the incenter of the antimedial triangle, or we can say that I is the
Nagel point of the medial triangle.

Feet of the altitudes and the midpoints

Here we denote by M the midpoint of BC and by D the foot of the A-altitude.

Reflection of A in N coincides with the reflection of O in M .
(AH), (AM ), (ABC) and HM concur at a point. The midpoints of AH
and AM are collinear with O.
Ray DG (ABC) forms an isosceles trapezoid with ABC.
Let P and Q be the midpoints of AB and AC and the feet of B- and Caltitudes be E and F . Let H 0 be the midpoint of AH. Then P DM Q is
an isosceles trapezoid, H 0 and M are the midpoints of the arcs formed by
E and F in the nine-point circle.
The triangle formed by the reflections of A, B and C over D, E and F
is homothetic with the triangle formed by the reflections of N over the
sides at O with ratio 2. (In fact, this is equivalent to the fact that the
reflections of H over the sides lie on the circumcircle and also with the
fact that AH=2OM . Prove this!).
Let E be the foot of the B-altitude and P be the point on AC such that
BP is antiparallel to BC wrt 4ABC. Then the A-symmedian, B-midline,
DE and BP concur at a point.

Triangle centers
(Nagel Line) G, I and Na are collinear, and GNa = 2IG.
(Isogonal Conjugate) Q is said to be the isogonal conjugate of a point
P not on the sides of 4ABC if P A and QA are reflections of each other
in the angle bisector of A, P B and QB are reflections of each other in
the angle bisector of B, and P C and QC are reflections of each other in
the angle bisector of C.

 The triangle formed by the reflections of a point P in the sides of 4ABC

has the circumcenter as the isogonal conjugate of P . Also the circumcircles of the triangle of reflections as (described above) of a point and
its isogonal conjugate are congruent. Consequences: the pedal triangles
(triangle formed by feet of perpendiculars from a point to the sides of
4ABC) of a point and its isogonal conjugate are concyclic, the center is
the midpoint of the line segment joining them, Simsons line, and also the
existence of the isogonal conjugate.
If P and Q are isogonal conjugates, then P A, P B and P C are perpendicular to the sides of the pedal triangle of Q.
The cevian triangle of a point P with respect to ABC is the triangle
formed by the points of intersection of the lines joining P to vertices and
the opposite sides. The isotomic conjugate of a point P is defined as the
point of intersection of the cevians formed by a vertex and the reflection
of the corresponding vertex of the cevian triangle in the midpoint of the
corresponding side of 4ABC. Then the cevian triangles of a point and
its isotomic conjugate have the same area.
Na is the isotomic conjugate of Ge .
The isogonal conjugate of Na is the insimilicenter of the incircle and the
circumcircle, and that of Ge is the exsimilicenter of the incircle and the
circumcircle.
(Brocard Points) The first Brocard point is the point Q1 such that Q1 AB =
Q1 BC = Q1 CA. The second Brocard point is the point Q2 such
that Q2 BA = Q2 CB = Q2 AC. Note that they are isogonal conjugates. Let the common angle be . Then a useful result is that cot =
cot A + cot B + cot C.
(Feuerbach point) The nine-point circle of a non-equilateral triangle is
tangent to the incircle and the excircles. The point of tangency with the
incircle is called the Feuerbach point of the triangle.
(Poncelet point) For a quadruple {W, X, Y, Z} of points, the nine point
circles of the triangles formed by points in this set, the pedal circles of the
points with respect to the triangle formed by the other three are concurrent
at the Poncelet point of the quadruple. Note that the Feuerbach point
is the Poncelet point of the quadruple {A, B, C, I}.

Miscellaneous useful properties

Note that some of the properties mentioned out here are theorems and not
lemmas.
The locus of the geometric transform is the transform of the locus. (incredibly useful)
6

 (Spiral Similarity Lemma) Let AB and CD be two segments and let AC

BD = X. Let (ABX) and (CDX) intersect again at Y . Then Y is the
center of spiral similarity sending AB to CD and sending AC to BD.
(useful)
(Three Homotheties) The center of the composition of 2 homotheties lies
on the line joining centers of them. (useful)
The center of inversion swapping 2 circles is collinear with their centers.
(useful)
Let pow(O, ) be the power of a point O with respect to the circle .
1)
Then the locus of points such that pow(P,
pow(P,2 ) is constant is a circle coaxial
with 1 and 2 .
See Monges theorem, Monge - deAlembarts theorem. (Hint for proof:
Think 3D, think cones).
(Cevian Nest) If A1 B1 C1 is the cevian triangle of a point P wrt ABC and
if A2 B2 C2 is the cevian triangle of Q wrt A1 B1 C1 then AA2 , BB2 and
CC2 concur at a point.
(Apollonius circles) The circle with ends of the diameter as the feet of the
AB
B
A-bisectors onto BC is the locus of points P such that P
P C = AC .
See Brocards Theorem (about the self polarity of the triangle formed by
intersections of opposite sides of a cyclic quadrilateral).
(Miquel Point) Let P , Q, R be points on BC, CA, AB respectively. Then
(AQR), (P BR), (P QC) concur at a point M . The centers of the circles
form a triangle similar to 4ABC.
(Also Miquel Point) Let ABCD be a quadrilateral. AB CD = P, AD
BC = Q, AC BD = R. Then (P AD), (P BC), (QAB), (QCD) concur
at M which is called the Miquel point M . It is concyclic with the centers
of the circles. M is the center of spiral similarity sending AB to CD and
BC to DA. If ABCD is cyclic, then many beautiful properties emerge.
Let the center be O.
1. (OAC) and (OBD) also pass through M .
2. M is the inverse of R in (O) and thus lies on P Q, and is the foot of
(O) on P Q.
3. M O bisects AM C and BM D.
See butterfly theorem and its generalizations.
Given any quadrilateral ABCD and the midpoints X, Y, Z, W, U, V of
AB, BC, CD, DA, AC, BD, and the centroids G1 , G2 , G3 , G4 of the triangles BCD, CDA, DAB, ABC then XZ, Y W, U V, AG1 , BG2 , CG3 , DG4
7

are all concurrent at a point P which bisects the first three segments and
divides the last four in a ratio 3:1.
If in the above lemma the quadrilateral is cyclic and the orthocentres
of the triangles BCD, CDA, DAB, ABC are H1 , H2 , H3 , H4 respectively
then AH1 , BH2 , CH3 , DH4 are concurrent at the reflection of the centre
of the circle in P, say Q. Also Q is the midpoint of each of these segments.
If a line makes equal angles with the opposite sides of a cyclic quadrilateral,
then circles can be drawn tangent to each pair, where this line meets them,
and these circles are coaxial with the original circle.
Given an angle and a circle through the vertex of the angle, cutting its
bisector at a fixed point. Then the sum of the intercepts of the circle on
the sides of the angle is invariant.
(Utkarshs Isogonal Line Lemma) AX and AY are isogonal wrt A. BX
meets CY in Z1 and BY meets CX in Z2 . then AZ1 , AZ2 are isogonal
wrt A.
Let 1 and 2 be two circles with the center of 1 lying on 2 . Then the
inverse of 1 with respect to 2 is their radical axis.

General tips and tricks

Here are some general tips and tricks which were found to be useful to the
author during Olympiads.
Create phantom points: This means creating a point which satisfies a
property that is to be proved and showing that it is unique and satisfies
the problem condition.
Negative inversion at H sending the nine-point circle to the circumcircle.
Inversion about the circumcircle.
Maximum irritating circles inversion: try to get rid of as many irritating
circles you can (this is of course based on your intuition).
Inversion about the incircle (quite useful for many problems, most of them
involving the contact triangle and (ABC)).
Inversion at A. This one sends the circumcenter to the reflection of A in
the line joining the inverses of B and C. Inversion at A is most useful (as
far as I think) in the following 2 cases:

1. Inversion with radius AH.AD where D is the AH BC. This one

sends the foot of the B-altitude to C, foot of the C-altitude to B and
H to D.


2. The composition of an inversion with radius bc and flip over AI.
This is quite famous and preserves the original triangle and is incredibly powerful for overlays. It sends BC to the circumcircle of
ABC.
To show two circles are orthogonal, you may show that the inverse of one
circle in the other is itself, or try to show that the endpoints of a diameter
of a circle lie on the polars of one another with respect to the other circle.
To show that 2 circles are tangent, the following can be used:
1. Show that they are homothetic at a point lying on one of the circles,
usually done by finding 2 triangles homothetic at a point on one of
the circles, having their circumcircles as the given circles.
2. Or draw a tangent to the circle at an intersection point (after showing
that they intersect!) and then show that it is tangent to the other
circle too.
3. Or show that the distance between the centers is either the sum or
the difference of their radii.
Another useful trick worth mentioning is point circles. They are especially
useful for radical axes, because the radical axis of 2 point circles is their
perpendicular bisector, and the radical axis of a point circle P and a nonpoint circle is the P -midline of the triangle formed by P and the contact
points of the tangents from P to the circle.

10

References

1. Yufei Zhaos Notes http://yufeizhao.com/olympiad.html

2. Darij Grinbergs website http://web.mit.edu/ darij/www/
3. Evan Chens book Euclidean Geometry in Mathematical Olympiads
4. I.F. Sharygin Problems in Plane geometry
5. Mathematical Reflections Journal
6. 107 Geometry Problems - Titu Andreescu
7. Various posts and blogs at http://artofproblemsolving.com
8. Discussions at IMOTC-2016 India