Overview

Advanced geometry blends similarity, power of a point, and homothety. Draw accurate diagrams and track equal angles carefully.

Key Ideas

  • Ceva's theorem: for concurrent cevians, AFFB⋅BDDC⋅CEEA=1\frac{AF}{FB}\cdot\frac{BD}{DC}\cdot\frac{CE}{EA}=1.
  • Homothety maps circles to circles and preserves tangency.
  • Power of a point applies to tangents and secants.

Core Skills

Definition. (Cevian) For a triangle ABCABC, a cevian is a line segment from one vertex to a point on the other side of the extension of the aforementioned side. For instance, if DD is a point on line BCBC, then ADAD is a cevian.

Ceva's Theorem

Theorem. (Ceva's Theorem) Let ABCABC be a triangle. Suppose DD, EE, and FF are points on BCBC, CACA, and ABAB, respectively. Then,

AFFB⋅BDDC⋅CEEA=1\frac{AF}{FB}\cdot\frac{BD}{DC}\cdot\frac{CE}{EA}=1

if and only if ADAD, BEBE, and CFCF are concurrent.

Now, we prove this in two parts!

Part I. (ADAD, BEBE, and CFCF concur   ⟹  ∏=1\implies \prod = 1) Suppose that ADAD, BEBE, and CFCF concur at XX. Then,

AFFB=[AXC][CXB],BDDC=[BXA][AXC],CEEA=[CXB][BXA].\dfrac{AF}{FB} = \dfrac{[AXC]}{[CXB]}, \quad \dfrac{BD}{DC} = \dfrac{[BXA]}{[AXC]}, \quad \dfrac{CE}{EA} = \dfrac{[CXB]}{[BXA]}.

Multiplying yields the desired result. For more description, AFFB=[AXC][CXB]\dfrac{AF}{FB} = \dfrac{[AXC]}{[CXB]} holds as each triangle has the same base being XCXC while the heights are proportional to the ratio AF:FBAF:FB. ■\blacksquare

Part II. (∏=1  ⟹  \prod = 1 \implies ADAD, BEBE, and CFCF concur) Here, we assume DD, EE, and FF are points on their respective segments such that

AFFB⋅BDDC⋅CEEA=1.\frac{AF}{FB}\cdot\frac{BD}{DC}\cdot\frac{CE}{EA}=1.

Assume that X=AD∩BEX = AD \cap BE and CX∩AB=F′CX \cap AB = F'. Then, from Part I,

AF′F′B⋅BDDC⋅CEEA=1.\dfrac{AF'}{F'B} \cdot \dfrac{BD}{DC} \cdot \dfrac{CE}{EA} = 1.

Hence, AF′F′B=AFFB\dfrac{AF'}{F'B} = \dfrac{AF}{FB} which implies F=F′F = F', as desired. ■\blacksquare

This is a really important property to not miss: you can use this to prove concurrency, which is a really subtle, but common property in lots of Olympiad Geometry problems, in particular!

Menelaus' Theorem

Theorem. (Menelaus' Theorem) Let ABCABC be a triangle. Points PP, QQ, and RR lie on ABAB, BCBC, and CACA, respectively. Then,

APPB⋅BQQC⋅CFFA=1\frac{AP}{PB}\cdot\frac{BQ}{QC}\cdot\frac{CF}{FA}=1

if and only if APAP, BQBQ, and CRCR are collinear.

The proof is fairly similar to Ceva's, so it can be an exercise for the reader!

Use Homothety Centers

Identify the homothety center to map tangency points and parallel lines.

Combine with Similarity

Look for similar triangles created by tangents, secants, or parallel lines.

Worked Example

If two tangents from PP touch a circle at AA and BB, then PA=PBPA=PB. This follows from equal tangents to a circle.

More Examples

Example 1: Ceva

If AFFB=2\frac{AF}{FB}=2, BDDC=3\frac{BD}{DC}=3, find CEEA\frac{CE}{EA} for concurrency.

CEEA=16\frac{CE}{EA}=\frac{1}{6}.

Example 2: Power of a Point

From PP, a secant meets the circle at A,BA,B with PA=3PA=3, PB=12PB=12. Find the tangent length.

PT2=36PT^2=36, so PT=6PT=6.

Example 3: Homothety

If two circles are externally tangent at TT, the line joining centers passes through TT. This is the homothety center.

Strategy Checklist

  • Decide if Ceva/Menelaus applies.
  • Look for homothety centers to relate segments.
  • Use power of a point to connect lengths.

Practice Problems

StatusSourceProblem NameDifficultyTags
Berkeley Math Circle Monthly Contest 2Hard
Show TagsAngle chasing, Cyclic quadrilaterals, Miquel point
Berkeley Math Circle Take-Home Contest #6Hard
Show TagsAngle chasing, Cyclic quadrilaterals, Miquel point, Rotation
Team Selection TestHard
Show TagsAngle chasing, Cyclic quadrilaterals, Miquel point, Spiral similarity, Tangents, Triangle centers: centroid, incenter, circumcenter, orthocenter, Euler line, nine-point circle
USAMOHard
Show TagsAngle chasing, Complex numbers in geometry, Cyclic quadrilaterals, Miquel point, Spiral similarity
Team Selection TestHard
Show TagsAngle chasing, Brocard point, symmedians, Circle of Apollonius, Cyclic quadrilaterals, Miquel point, Tangents, Triangle centers: centroid, incenter, circumcenter, orthocenter, Euler line, nine-point circle, Triangle trigonometry
Team Selection TestHard
Show TagsAngle chasing, Concurrency and Collinearity, Isogonal/isotomic conjugates, barycentric coordinates, Miquel point
USAMOHard
Show TagsAngle chasing, Cyclic quadrilaterals, Miquel point
HMMT February 2016Hard
Show TagsAngle chasing, Circle of Apollonius, Cyclic quadrilaterals, Miquel point, Polar triangles, harmonic conjugates, Spiral similarity, Triangle centers: centroid, incenter, circumcenter, orthocenter, Euler line, nine-point circle
USA IMO TSTHard
Show TagsAngle chasing, Brocard point, symmedians, Homothety, Inversion, Isogonal/isotomic conjugates, barycentric coordinates, Miquel point, Tangents
USA IMO TSTHard
Show TagsAngle chasing, Cyclic quadrilaterals, Inversion, Miquel point, Pappus theorem, Radical axis theorem, Spiral similarity, Tangents
USA TSTSTHard
Show TagsAngle chasing, Complex numbers in geometry, Homothety, Inversion, Isogonal/isotomic conjugates, barycentric coordinates, Miquel point, Radical axis theorem, Simson line, Spiral similarity, Tangents, Trigonometry
Berkeley Math Circle: Monthly Contest 4Hard
Show TagsAngle chasing, Cyclic quadrilaterals, Miquel point
USA TSTSTHard
Show TagsAngle chasing, Brocard point, symmedians, Circle of Apollonius, Inversion, Miquel point, Polar triangles, harmonic conjugates, Spiral similarity, Triangle centers: centroid, incenter, circumcenter, orthocenter, Euler line, nine-point circle
HMMT February 2022Hard
Show TagsCyclic quadrilaterals, Inversion, Miquel point, Radical axis theorem, Tangents
HMMT NovemberHard
Show TagsAngle chasing, Cyclic quadrilaterals, Inversion, Miquel point, Triangle trigonometry
Team Selection TestHard
Show TagsAngle chasing, Brocard point, symmedians, Circle of Apollonius, Cyclic quadrilaterals, Miquel point, Tangents, Triangle centers: centroid, incenter, circumcenter, orthocenter, Euler line, nine-point circle, Triangle trigonometry
Harvard-MIT Mathematics TournamentHard
Show TagsAngle chasing, Brocard point, symmedians, Cyclic quadrilaterals, Isogonal/isotomic conjugates, barycentric coordinates, Polar triangles, harmonic conjugates, Radical axis theorem, Tangents, Triangle centers: centroid, incenter, circumcenter, orthocenter, Euler line, nine-point circle
Harvard-MIT Mathematics TournamentHard
Show TagsAngle chasing, Brocard point, symmedians, Homothety, Polar triangles, harmonic conjugates, Tangents, Triangle centers: centroid, incenter, circumcenter, orthocenter, Euler line, nine-point circle
HMMT 2014Hard
Show TagsAngle chasing, Brocard point, symmedians, Tangents, Triangle centers: centroid, incenter, circumcenter, orthocenter, Euler line, nine-point circle
HMMT FebruaryHard
Show TagsBrocard point, symmedians, Ceva's theorem
HMMT FebruaryHard
Show TagsAngle chasing, Brocard point, symmedians, Triangle trigonometry
USA IMO TSTHard
Show TagsAngle chasing, Brocard point, symmedians, Homothety, Inversion, Isogonal/isotomic conjugates, barycentric coordinates, Miquel point, Tangents
USA TSTSTHard
Show TagsAngle chasing, Brocard point, symmedians, Circle of Apollonius, Inversion, Miquel point, Polar triangles, harmonic conjugates, Spiral similarity, Triangle centers: centroid, incenter, circumcenter, orthocenter, Euler line, nine-point circle

Module Progress:

Join the Discord Community!

Stuck on a problem, or don't understand a module? Join the Discord and get help with your doubts while making more math friends.