MathLabs
TheoremProved

Power of a Point Theorem

Statement

If two lines through a point PP meet a circle at A,BA,B and C,DC,D respectively, then PA→⋅PB→=PC→⋅PD→\overrightarrow{PA} \cdot \overrightarrow{PB} = \overrightarrow{PC} \cdot \overrightarrow{PD}, and this common signed value equals OP2−r2OP^2 - r^2 where O,rO,r 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 PP meet the circle at A,BA,B and C,DC,D. Since A,B,C,DA,B,C,D lie on a common circle, the inscribed angles ∠PAC\angle PAC and ∠PDB\angle PDB subtend the same arc BCBC (or its supplement, depending on configuration), so ∠PAC=∠PDB\angle PAC = \angle PDB.

Step 2: Match a second pair of angles. The angle at PP in triangle PACPAC and the angle at PP in triangle PDBPDB are either equal (if PP is outside the circle, the two lines share vertex PP so the angle is literally the same angle) or vertical angles (if PP is inside the circle). Either way ∠APC=∠DPB\angle APC = \angle DPB.

Step 3: Conclude similarity. Two triangles PACPAC and PDBPDB with two pairs of equal angles are similar by AA: △PAC∼△PDB\triangle PAC \sim \triangle PDB.

Step 4: Extract the ratio. Similar triangles give proportional corresponding sides: PAPD=PCPB\frac{PA}{PD} = \frac{PC}{PB}, which rearranges to PA⋅PB=PC⋅PDPA \cdot PB = PC \cdot PD (using unsigned lengths first, for PP outside the circle).

Step 5: Compute the common value via a diameter. Choose the specific line through PP and the center OO, meeting the circle at the two points on the diameter, at signed distances OP−rOP - r and OP+rOP + r from PP (taking PP outside so OP>rOP > r). Their product is (OP−r)(OP+r)=OP2−r2(OP-r)(OP+r) = OP^2 - r^2, which by Step 4 must equal PA⋅PBPA \cdot PB for every line through PP.

**Step 6: Handle PP inside the circle by signed lengths.** When PP lies inside the circle, A,P,BA,P,B are in that order on the chord, so PA→\overrightarrow{PA} and PB→\overrightarrow{PB} point in opposite directions and their signed product PA→⋅PB→=−PA⋅PB\overrightarrow{PA}\cdot\overrightarrow{PB} = -PA\cdot PB is negative; repeating Steps 1–5 with the diameter through PP gives −PA⋅PB=OP2−r2-PA\cdot PB = OP^2-r^2 (now negative since OP<rOP<r), so the identity PA→⋅PB→=OP2−r2\overrightarrow{PA}\cdot\overrightarrow{PB}=OP^2-r^2 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

  1. Trieu Trinh, Yuhuai Wu, Quoc Le, He He, Thang Luong (2024). AlphaGeometry: An Olympiad-level AI system for geometry
  2. Evan Chen (2016). Euclidean Geometry in Mathematical Olympiads
  3. H.S.M. Coxeter, S.L. Greitzer (1967). Geometry Revisited