The secant theorem

The secant theorem is a proposition about the relation among three lines drawn from a point outside a circle: a tangent, a secant that cuts the circle, and the two parts into which the secant is divided by the circle. Its decisive result is that the rectangle contained by the whole cutting line and the external segment is equal to the square of the tangent. The theorem therefore converts a configuration of contact and intersection into an exact equality of areas, or, in modern algebraic language, a product of two secant lengths equal to the square of the tangent length.

Configuration and Terms

The construction begins with a point without a circle from which two straight lines are drawn to the circle. One line touches the circle at a single point and is therefore a tangent; the other passes through the circle and cuts it, making a secant. The secant has a whole length from the external point to its farther intersection with the circle and an external segment from that point to its nearer intersection. The theorem concerns precisely these parts rather than treating the cutting line as an undivided object.

The supporting definitions distinguish the geometric materials involved. A radius is a line drawn from the centre of a circle to its circumference, and the first six books of The Elements of Euclid treat plane figures whose relevant lines are understood to lie in the same plane. In the theorem's construction, a line is drawn from the centre to the point of contact, making the radius the essential device for recognizing the tangent's relation to the circle.

Construction and Demonstration

The proof directs attention to the radius drawn from the centre to the point where the tangent meets the circle. That radius supplies the central geometric constraint from which the equality follows. The secant is arranged so that it passes through the centre, allowing the whole cutting line and its external portion to be related through the circle's diameter and the radius. The printed proof then invokes earlier results, including Book I, Proposition 47 and Book II, Proposition 6, to transform the constructed figure into the required equality.

The proposition's central statement is that the rectangle under the whole cutting line and the external segment is equal to the square of the tangent. The wording is significant: the theorem does not merely assert that two lengths are somehow related, but identifies a product on one side with a square on the other. A line configuration consequently becomes a relation of magnitudes, and the apparent asymmetry between a line that touches and a line that cuts is resolved by a common external point.

Euclidean Method

The theorem belongs to a system in which geometric conclusions are not accepted simply because a diagram appears convincing. Definitions introduce the objects, postulates grant the basic constructions, and axioms state general propositions whose truth is taken as self-evident. A proposition is then obtained through reasoning; its demonstration must prove that the indicated process actually reaches the required end. The secant theorem exemplifies this movement from constructed figure to formally established relation.

Its permitted operations are deliberately restricted. Euclidean plane geometry allows only the straightedge and compass, and the postulates exist in part to declare this limitation: a straight line may be drawn from any one point to any other, and a circle may be described with any centre at any distance from that centre. The theorem's authority therefore rests not on measurement or numerical approximation, but on constructions that can be carried out with these instruments and on deductions that remain valid independently of the particular appearance of the diagram.

Superposition also forms part of the book's explanatory vocabulary. It is the process by which one magnitude may be conceived as placed upon another so that corresponding parts exactly coincide. Although the secant theorem is not reduced to a simple act of covering one figure with another, this idea clarifies the broader Euclidean standard: equality must be secured by exact coincidence, established construction, or deductive consequence rather than by visual resemblance alone.

Consequences and Significance

The theorem links circle tangency and secant intersection within one law. The tangent contributes a square, while the secant contributes the rectangle formed from its complete length and its external portion. This connection makes the theorem a compact example of how Euclidean geometry organizes different kinds of contact with the same circle into a single proportional structure.

The result also shows why the proposition is more than an isolated diagram. Once the tangent and the two secant segments are known to belong to the stated configuration, the equality supplies a dependable relation among their magnitudes. The circle is not merely a boundary in the figure; it governs how an external touch and an internal cut correspond. In that sense, the theorem extends the book's larger ambition: geometry teaches how to think by turning visible arrangements into principles that can be reasoned through and applied beyond one drawing.