Proving that an angle in a semicircle is a right angle

Proving that an angle in a semicircle is a right angle is the decisive claim of Euclid III.31: when an angle is formed by joining a point on a semicircular circumference to the two ends of the diameter, the angle at that point is a right angle. The proposition is presented not as an empirical observation about a drawn circle but as a theorem whose certainty arises from definitions, postulates, construction, and demonstration. Its importance lies in making the semicircle a reliable source of perpendicularity: a curved figure yields a fixed right angle through the relations among its centre, circumference, diameter, and chords.

The Theorem and Its Three Cases

The text states a broader classification before isolating the principal case. In a circle, an angle in a semicircle is a right angle; an angle in a segment greater than a semicircle is acute; and an angle in a segment less than a semicircle is obtuse. The three cases are therefore related by the size of the intercepted portion of the circle. The semicircle is the boundary condition at which the angle is exactly half of two right angles, while the larger and smaller segments move the angle respectively below and above that right-angle measure.

The first figure gives the proposition in its clearest form: the angle in a semicircle is marked as a right angle. The second figure treats a segment greater than a semicircle and identifies its angle as acute. The third treats a segment less than a semicircle and identifies its angle as obtuse. This arrangement makes the right angle neither an isolated diagrammatic curiosity nor a memorized rule; it is the middle state in a systematic variation controlled by the arc or segment.

Construction and Demonstration

The proof works through the standard operations of Euclidean plane geometry. The relevant figure is built from straight lines drawn between points and from relations within the circle. The accompanying construction refers to equal lengths, including the equality of two radii or corresponding segments, and then invokes the result that the half of two right angles is a right angle. The conclusion follows when the component angles are shown to combine into that exact measure.

This procedure exemplifies the distinction between a problem and a theorem. A problem proposes that something be done, such as drawing a line or describing a circle, and its solution must show how the permitted instruments accomplish the construction. A theorem instead asserts a principle whose truth must be deduced from definitions, postulates, axioms, or propositions already established. Euclid III.31 depends on that accumulated structure: the diagram supplies visible relations, but the demonstration turns those relations into necessity.

The proof also belongs to a restricted instrumental world. The text expressly identifies the straightedge and compass as the only instruments permitted in Euclid or plane geometry. The straightedge supplies the straight joins used in the figure, while the compass supports the circle and equal-distance relations on which the argument depends. Yet the instruments do not themselves prove the right angle. They make the configuration available; definitions, axioms, and previous propositions establish why the configuration has the stated consequence.

Visual Form and Geometric Meaning

The book defines a point as that which has no parts and treats all lines in the first six books as lying in the same plane. Within that ideal plane, the circle is not merely a coloured image but a controlled geometric object. A radius is the line drawn from the centre of a circle to its circumference, and the lines enclosing a figure are its sides. These definitions give the semicircle theorem a precise vocabulary: the angle is formed by sides that meet at a point of the circumference, while the diameter and radii organize the equal lengths used in the proof.

The work also explains superposition as the process by which one magnitude may be conceived as placed upon another so that every part coincides. That idea belongs to the book’s larger account of geometric equality and comparison. In the semicircle proof, visible coincidence and equal segments help translate the drawing into demonstrable relations. The right angle is consequently not inferred from the appearance of the coloured figure alone. Appearance initiates recognition; superposition, equality, and deduction secure the result.

Relation to the Geometry of Construction

The theorem’s practical force becomes clearer beside the book’s construction problems. Euclid begins with the problem of constructing an equilateral triangle on a given finite straight line, later treats the drawing of a perpendicular to a given indefinite straight line from a given point, and distinguishes such operations from theorems that prove geometric principles. The semicircle result connects these two modes of work. It is a theorem about an angle, but it also provides a dependable geometric mechanism for producing or recognizing perpendicularity through a circle.

That connection is consistent with the postulates. One postulate grants that a straight line may be drawn from any one point to any other, while another grants that a circle may be described with any centre at any distance from that centre. Such permissions establish the field of possible construction. The theorem then shows that a particular construction carries a necessary angular property. A semicircle is therefore more than half a drawn circumference: it is a structural device through which straight-line operations reveal a right angle.

Significance Within Euclid’s System

The proposition condenses several defining habits of Euclidean reasoning. It begins with an ideal configuration, separates the cases according to the size of the segment, uses established equalities and angle relations, and ends with a conclusion that is independent of the particular scale of the drawing. Its force comes from the fact that the same relation holds whenever the stipulated configuration is reproduced.

The result also illustrates the educational purpose attributed to geometry in the surrounding text. Geometry is presented as a means of teaching people how to think rather than merely what to think. The semicircle theorem embodies that purpose in miniature: the learner is asked to move from a visible arrangement to a chain of reasons, distinguishing what the eye suggests from what the demonstration establishes. The right angle is memorable because it is visually clear, but it becomes mathematical knowledge only when the construction and proof make its necessity explicit.