|
|
| (One intermediate revision by the same user not shown) |
| Line 1: |
Line 1: |
| − | [[Category:A]][[Category:spis]] | + | [[Category:A]][[Category:register]] |
| − | | |
| − | [[File:Moko_05.jpg|thumb|250px|right|Figure 1. Illustration of the power of point '''P''' in the circle centered on the point '''O'''. The distance ''s'' is shown in orange, the radius ''r'' is shown in blue, and the tangent line segment '''PT''' is shown in red.]]
| |
| − | | |
| − | In elementary plane [[geometry]], the '''power of a point''' is a [[real number]] ''h'' that reflects the relative distance of a given point from a given circle. Specifically, the power of a point '''P''' with respect to a [[circle]] ''O'' of radius ''r'' is defined by (Figure 1)
| |
| − | | |
| − | :<math>h = s^2 - r^2, </math>
| |
| − | | |
| − | where ''s'' is the distance between '''P''' and the center '''O''' of the circle. By this definition, points inside the circle have negative power, points outside have positive power, and points on the circle have zero power. For external points, the power equals the square of the length of a tangent from the point to the circle. The power of a point is also known as the point's '''circle power''' or the '''power of a circle''' with respect to the point.
| |
| − | | |
| − | The power of point '''P''' ''(see in Figure 1)'' can be defined equivalently as the product of distances from the point '''P''' to the two intersection points of any ray emanating from '''P'''. For example, in Figure 1, a ray emanating from '''P''' intersects the circle in two points, '''M''' and '''N''', whereas a [[tangent lines to circles|tangent ray intersects the circle]] in one point '''T'''; the horizontal ray from '''P''' intersects the circle at '''A''' and '''B''', the endpoints of the diameter. Their respective products of distances are equal to each other and to the power of point '''P''' in that circle
| |
| − | | |
| − | :<math>
| |
| − | \mathbf{\overline{PT}}^2 =
| |
| − | \mathbf{\overline{PM}} \times \mathbf{\overline{PN}} =
| |
| − | \mathbf{\overline{PA}} \times \mathbf{\overline{PB}} =
| |
| − | (s - r) \times (s + r) =
| |
| − | s^2 - r^2 = h.
| |
| − | </math>
| |
| − | | |
| − | This equality is sometimes known as the ''"secant-tangent theorem"'', ''"intersecting chords theorem"'', or the ''"power-of-a-point theorem"''.
| |
| − | | |
| − | The power of a point is used in many geometrical definitions and proofs. For example, the [[radical axis]] of two given circles is the straight line consisting of points that have equal power to both circles. For each point on this line, there is a unique circle centered on that point that intersects both given circles orthogonally; equivalently, tangents of equal length can be drawn from that point to both given circles. Similarly, the [[power center (geometry)|radical center]] of three circles is the unique point with equal power to all three circles. There exists a unique circle, centered on the radical center, that intersects all three given circles orthogonally, equivalently, tangents drawn from the radical center to all three circles have equal length. The [[power diagram]] of a set of circles divides the plane into regions within which the circle minimizing the power is constant.
| |
| − | | |
| − | More generally, French mathematician [[Edmond Laguerre]] defined the power of a point with respect to any algebraic curve in a similar way.{{citation needed|date=February 2015}}
| |
| − | | |
| − | ==Orthogonal circle==
| |
| − | [[File:Orthogonal circle.svg|thumb|right|250px|Figure 2: The dashed circle is centered on the point '''P''' and intersects the given circle (solid black) at right angles, i.e., orthogonally, at point '''T'''. The squared radius of the orthogonal circle equals the power of '''P''' with respect to the given circle.]]
| |
| − | | |
| − | For a point '''P''' outside the circle, the power ''h'' equals ''R''<sup>2</sup>, the square of the radius ''R'' of a new circle centered on '''P''' that intersects the given circle at right angles, i.e., orthogonally (Figure 2). If the two circles meet at right angles at a point '''T''', then radii drawn to '''T''' from '''P''' and from '''O''', the center of the given circle, likewise meet at right angles (blue line segments in Figure 2). Therefore, the radius line segment of each circle is tangent to the other circle. These line segments form a right triangle with the line segment connecting '''O''' and '''P'''. Therefore, by the [[Pythagorean theorem]],
| |
| − | | |
| − | :<math>
| |
| − | R^2 = s^2 - r^2 = p \,
| |
| − | </math>
| |
| − | | |
| − | where ''s'' is again the distance from the point '''P''' to the center '''O''' of the given circle (solid black in Figure 2).
| |
| − | | |
| − | This construction of an orthogonal circle is useful in understanding the [[radical axis]] of two circles, and the [[power center (geometry)|radical center]] of three circles. The point '''T''' can be constructed—and, thereby, the radius ''R'' and the power ''p'' found geometrically—by finding the intersection of the given circle with a semicircle (red in Figure 2) centered on the midpoint of '''O''' and '''P''' and passing through both points. By simple geometry, it can also be shown that the point '''Q''' is the [[Circle inversion|inverse]] of '''P''' with respect to the given circle.
| |
| − | | |
| − | ==Theorems==
| |
| − | The ''power of a point theorem'', due to [[Jakob Steiner]], states that for any [[line (geometry)|line]] through ''A'' intersecting ''C'' in points ''P'' and ''Q'', the power of the point with respect to the circle is given up to a sign by the product
| |
| − | | |
| − | :<math>AP \cdot AQ \, </math>
| |
| − | | |
| − | of the lengths of the segments from ''A'' to ''P'' and ''A'' to ''Q'', with a positive sign if ''A'' is outside the circle and a negative sign otherwise: if ''A'' is on the circle, the product is zero. In the limiting case, when the line is [[tangent]] to the circle, ''P'' = ''Q'', and the result is immediate from the [[Pythagorean theorem]].
| |
| − | | |
| − | In the other two cases, when ''A'' is inside the circle, or ''A'' is outside the circle, the power of a point theorem has two [[corollary|corollaries]].
| |
| − | * The '''chord theorem''', ''theorem of intersecting chords'', or ''chord-chord power theorem'' states that if ''A'' is a point inside a circle and ''PQ'' and ''RS'' are [[chord (geometry)|chords]] of the circle intersecting at ''A'', then
| |
| − | ::<math> AP \cdot AQ = AR \cdot AS \, </math>
| |
| − | :The common value of these products is the negative of the power of the point ''A'' with respect to the circle.
| |
| − | * The ''theorem of intersecting secants'' (or ''secant-secant power theorem'') states that if ''PQ'' and ''RS'' are chords of a circle which intersect at a point ''A'' outside the circle, then
| |
| − | ::<math>AP \cdot AQ = AR \cdot AS \, </math>
| |
| − | :In this case the common value is the same as the power of ''A'' with respect to the circle.
| |
| − | | |
| − | * The ''tangent-secant theorem'' is a special case of the theorem of intersecting secants, where points ''Q'' and ''P'' coincide, i.e.
| |
| − | ::<math>AP \cdot AQ = AR \cdot AS \, </math>
| |
| − | ::<math>AP \cdot AP = AR \cdot AS \, </math>
| |
| − | ::<math>AP^2 = AR \cdot AS \, </math>
| |
| − | :This has utility in such applications as determining the distance to a point ''P'' on the [[horizon]], by selecting points ''R'' and ''S'' to form a diameter chord, so that ''RS'' is the diameter of the planet, ''AR'' is the height above the planet, and ''AP'' is the distance to the horizon.
| |
| − | | |
| − | ==Darboux product==
| |
| − | The power of a point is a special case of the Darboux product between two circles, which is given by
| |
| − | :<math>(A_1A_2)^2-r_1^2-r_2^2 \, </math>
| |
| − | where ''A''<sub>1</sub> and ''A''<sub>2</sub> are the centers of the two circles and ''r''<sub>1</sub> and ''r''<sub>2</sub> are their radii. The power of a point arises in the special case that one of the radii is zero. If the two circles intersect, then their Darboux product is
| |
| − | :<math>r_1 r_2 \cos\varphi \, </math>
| |
| − | where ''φ'' is the angle of intersection.
| |
| − | | |
| − | ==Laguerre's theorem==
| |
| − | Laguerre defined the power of a point ''P'' with respect to an algebraic curve of degree ''n'' to be the product of the distances from the point to the intersections of a circle through the point with the curve, divided by the ''n''th power of the diameter ''d''. Laguerre showed that this number is independent of the diameter.
| |
| − | | |
| − | In the case when the algebraic curve is a circle this is not quite the same as the power of a point with respect to a circle defined in the rest of this article, but differs from it by a factor of ''d''<sup>2</sup>.
| |
| − | | |
| − | ==References==
| |
| − | * {{citation|last=Coxeter|first=H. S. M.|authorlink= H. S. M. Coxeter|title= Introduction to Geometry|edition= 2nd|place= New York|publisher= Wiley|year=1969}}.
| |
| − | * {{citation|first=Gaston|last= Darboux|authorlink=Gaston Darboux|title= Sur les relations entre les groupes de points, de cercles et de sphéres dans le plan et dans l’espace|journal= Annales Scientifiques de l'École Normale Supérieure|volume= 1|year=1872|pages=323–392}}.
| |
| − | * {{citation|last=Steiner|first=Jakob|authorlink=Jakob Steiner|title= Einige geometrische Betrachtungen|journal= Journal für die reine und angewandte Mathematik|volume=1|pages= 161–184|year= 1826}}.
| |
| − | | |
| − | ==Further reading==
| |
| − | * {{citation| author = Ogilvy C. S.|authorlink=C. Stanley Ogilvy| year = 1990| title = Excursions in Geometry| publisher = Dover| isbn = 0-486-26530-7| pages = 6–23}}
| |
| − | *{{Citation| title = Geometry Revisited| author = [[Harold Scott MacDonald Coxeter|Coxeter H. S. M.]], [[S. L. Greitzer|Greitzer S. L.]]| year = 1967| publisher = [[Mathematical Association of America|MAA]]| location = [[Washington, D.C.|Washington]]| isbn = 978-0-88385-619-2| pages = 27–31, 159–160}}
| |
| − | *{{Citation| author = Johnson RA| year = 1960| title = Advanced Euclidean Geometry: An elementary treatise on the geometry of the triangle and the circle| edition = reprint of 1929 edition by Houghton Miflin| publisher = Dover Publications| location = New York| isbn = 978-0-486-46237-0| pages = 28–34}}
| |
| − | | |
| − | ==External links==
| |
| − | {{commons category|Power of a point}}
| |
| − | *[http://www.maa.org/press/periodicals/convergence/mathematics-as-the-science-of-patterns-jacob-steiner-and-the-power-of-a-point Jacob Steiner and the Power of a Point] at [http://www.maa.org/press/periodicals/convergence Convergence]
| |
| − | *{{mathworld|CirclePower|Circle Power}}
| |
| − | *[http://www.cut-the-knot.org/proofs/IntersectingChordsTheorem.shtml Intersecting Chords Theorem] at [[cut-the-knot]]
| |
| − | *[http://www.mathopenref.com/chordsintersecting.html Intersecting Chords Theorem] With interactive animation
| |
| − | *[http://www.mathopenref.com/secantsintersecting.html Intersecting Secants Theorem] With interactive animation
| |
| − | | |
| − | [[Category:Euclidean plane geometry]]
| |
| − | [[Category:Analytic geometry]]
| |
