Constructing a tangent to a circle from a point

Constructing a tangent to a circle from a point is the action presented as Euclid III.17. It shows how a required geometric line can be obtained under the strict instrumental discipline of Euclidean plane Geometry: only the Straightedge and Compass are permitted, while the correctness of the construction must be established by demonstration rather than accepted from the appearance of the diagram.

Definition and Geometric Setting

The construction presupposes the elementary language of the Elements. A point is defined as that which has no parts; a circle is available through the postulate that a circle may be described with any centre and at any distance from that centre; and a straight line may be drawn from any one point to any other. A tangent is therefore not introduced as a vague line that merely seems to touch a circle, but as a line whose relation to the circle is secured through the previously established properties of radii, angles, and perpendicularity.

The surrounding geometry also treats all lines considered in the first six books as lying in the same plane. This restriction matters because the tangent is a planar relation between a line and a circle, and because the construction depends on exact intersections and right angles rather than on a three-dimensional intuition of contact. Superposition supplies a further conceptual resource: one magnitude may be conceived as placed upon another so that corresponding parts coincide. The diagrams may be visually immediate, but the proof determines what that visual coincidence means.

The Two Starting Conditions

The proposition covers a given point either in or outside the circumference. These cases are not interchangeable. When the point lies on the circumference, the required line is obtained directly from the radius drawn to that point. The radius reaches the point of contact, and the established right-angle relation supplies the condition that makes the line a tangent.

When the given point is outside the circumference, the construction begins by joining that point to the centre of the circle. The resulting straight line is then used to organize an auxiliary figure, including a circle concentric with the given circle. The purpose of this additional circle is operational as well as logical: it creates the intersections needed to locate the line that will touch the original circumference. The construction thus converts an external position into a controlled sequence of joins, circles, and perpendicular relations.

Construction and Demonstration

The proposition first directs attention to the simple case in which the given point is on the circumference. There, the radius is the decisive object. The radius drawn to the point is perpendicular to the tangent required at that point, and the right angle is not an ornamental feature of the drawing but the mathematical guarantee of contact. The tangent is identified through a previously proved result, so the present action depends on the cumulative architecture of the Elements rather than standing alone.

For an external point, the line from the point to the centre is drawn first. From the construction described in the proposition, an auxiliary circle is then introduced concentrically with the original one, and the resulting configuration supplies the line to be tested. The final step is to establish that the relevant segment and the radius at the contact point form a right angle. The text explicitly ties the conclusion to the earlier theorem that a line perpendicular to a radius at the circumference is a tangent. The method therefore has two stages: construct the candidate line, then prove that it satisfies the defining geometric condition.

This separation between solution and demonstration reflects the general distinction made in the introductory elucidations. A problem proposes that something be done, such as drawing a line or constructing a figure; its solution shows how the task can be performed with the permitted instruments, while its demonstration proves that the indicated process really reaches the required end. In III.17, the practical sequence and the proof are inseparable but not identical: the Straightedge and Compass produce the figure, and deductive reasoning certifies it.

Instrumental and Logical Significance

The action makes visible the special status of construction in Euclidean Geometry. The postulates authorize particular operations, including drawing a straight line between two points and describing a circle from a chosen centre at a chosen distance. They do not authorize arbitrary measurement or freehand placement. The tangent must emerge from operations whose legitimacy has already been granted.

The proposition also illustrates how a visible diagram can be disciplined by formal knowledge. The line may appear to touch the circle, but appearance alone cannot establish tangency. The proof instead assembles definitions, postulates, earlier propositions, and the right-angle relation into a chain of necessity. In this sense, the construction is a compact model of the book's broader epistemology: perception suggests the configuration, construction makes it available, and demonstration explains why the configuration must have the claimed property.

Place in the Elements

Euclid III.17 belongs to the circle theory of Book III and follows the development of tangent properties in the surrounding propositions. Its reach extends beyond the individual diagram because it provides a reusable method for producing a tangent from either of the two relevant locations of the starting point. The distinction between a point on the circumference and a point outside it gives the proposition both its practical completeness and its conceptual clarity.

The action also links elementary operations to more advanced relations. A point, a centre, a radius, a circle, a straight line, and a right angle are combined into a construction whose conclusion is a statement about tangency. What begins as a request to draw a line becomes a demonstration of how geometric objects acquire exact relations through constrained action. The tangent is consequently not merely a boundary-touching line in an illustration; it is the proved outcome of the Euclidean method.