Power of a Point Theorem
Statement
If two lines through a point meet a circle at and respectively, then , and this common signed value equals where are the circle's center and radius.
Why is it true?
This theorem is the single most reused tool in olympiad geometry: it converts any diagram with two secants, a tangent and a secant, or two chords through one point into one algebraic equation, avoiding case-by-case angle chasing.
Proof sketch
Step 1: Set up similar triangles. Let the two lines through meet the circle at and . Since lie on a common circle, the inscribed angles and subtend the same arc (or its supplement, depending on configuration), so .
Step 2: Match a second pair of angles. The angle at in triangle and the angle at in triangle are either equal (if is outside the circle, the two lines share vertex so the angle is literally the same angle) or vertical angles (if is inside the circle). Either way .
Step 3: Conclude similarity. Two triangles and with two pairs of equal angles are similar by AA: .
Step 4: Extract the ratio. Similar triangles give proportional corresponding sides: , which rearranges to (using unsigned lengths first, for outside the circle).
Step 5: Compute the common value via a diameter. Choose the specific line through and the center , meeting the circle at the two points on the diameter, at signed distances and from (taking outside so ). Their product is , which by Step 4 must equal for every line through .
**Step 6: Handle inside the circle by signed lengths.** When lies inside the circle, are in that order on the chord, so and point in opposite directions and their signed product is negative; repeating Steps 1–5 with the diameter through gives (now negative since ), so the identity holds uniformly with signs, completing the proof.
Topics that use this theorem
Step-by-step proofs
No step-by-step proof yet for this theorem.
References
- Trieu Trinh, Yuhuai Wu, Quoc Le, He He, Thang Luong (2024). AlphaGeometry: An Olympiad-level AI system for geometry
- Evan Chen (2016). Euclidean Geometry in Mathematical Olympiads
- H.S.M. Coxeter, S.L. Greitzer (1967). Geometry Revisited