Difference between revisions of "Power of a Point Theorem"

Line 1: Line 1:
The Power of a Point theorem expresses the relation between the lengths of two lines intersecting at a point and a [[circle]]. If <math>AB</math> and <math>CD</math> are two chords on a circle that intersect inside the circle at point <math>X</math>, then we have <math>AX\times XB = CX\times XD</math>. This theorem is frequently used on competitions such as the [[AIME]].
+
== Introduction ==
 +
The Power of a Point theorem expresses the relation between the lengths involved with the intersection of two lines between each other and their intersections with a [[circle]].
 +
 
 +
== Theorem ==
 +
 
 +
There are three possibilities as displayed in the figure below.
 +
 
 +
# The two lines are [[secant]]s of the circle and intersect inside the circle (figure on the left).  In this case, we have <math> AE\cdot CE = BE\cdot DE </math>.
 +
# One of the lines is [[tangent]] to the circle while the other is a [[secant]] (middle figure). In this case, we have <math> AB^2 = BC\cdot BD </math>.
 +
# Both lines are [[secant]]s of the circle and intersect outside of it (figure on the right).  In this case, we have <math> CB\cdot CA = CD\cdot CE. </math>
 +
 
 +
<center>[[Image:Pop.PNG]]</center>
 +
 
 +
=== Alternate Formulation ===
 +
This alternate formulation is much more compact, convenient, and general.
 +
 
 +
Consider a circle O and a point P in the plane where P is not on the circle.  Now draw a line through P that intersects the circle in two places.  The power of a point theorem says that the product of the the length from P to the first point of intersection and the length from P to the second point of intersection is constant for any choice of a line through P that intersects the circle.  This constant is called the power of point P.  For example, in the figure below
 +
 
 +
<center><math> PX^2 = PA_1\cdot PB_1 = PA_2\cdot PB_2 = \cdots = PA_i\cdot PB_i </math></center>
 +
 
 +
<center>[[Image:Popalt.PNG]]</center>
 +
 
 +
Notice how this definition still works if <math> A_k </math> and <math> B_k </math> coincide (as is the case with X). Consider also when P is inside the circle.  The definition still holds in this case.
  
 
==See also==
 
==See also==
 
* [[Geometry]]
 
* [[Geometry]]
 
* [[Planar figures]]
 
* [[Planar figures]]
{{stub}}
 

Revision as of 18:11, 24 June 2006

Introduction

The Power of a Point theorem expresses the relation between the lengths involved with the intersection of two lines between each other and their intersections with a circle.

Theorem

There are three possibilities as displayed in the figure below.

  1. The two lines are secants of the circle and intersect inside the circle (figure on the left). In this case, we have $AE\cdot CE = BE\cdot DE$.
  2. One of the lines is tangent to the circle while the other is a secant (middle figure). In this case, we have $AB^2 = BC\cdot BD$.
  3. Both lines are secants of the circle and intersect outside of it (figure on the right). In this case, we have $CB\cdot CA = CD\cdot CE.$
Pop.PNG

Alternate Formulation

This alternate formulation is much more compact, convenient, and general.

Consider a circle O and a point P in the plane where P is not on the circle. Now draw a line through P that intersects the circle in two places. The power of a point theorem says that the product of the the length from P to the first point of intersection and the length from P to the second point of intersection is constant for any choice of a line through P that intersects the circle. This constant is called the power of point P. For example, in the figure below

$PX^2 = PA_1\cdot PB_1 = PA_2\cdot PB_2 = \cdots = PA_i\cdot PB_i$
Popalt.PNG

Notice how this definition still works if $A_k$ and $B_k$ coincide (as is the case with X). Consider also when P is inside the circle. The definition still holds in this case.

See also