Pythagorean theorem

The Pythagorean theorem states that, in a right-angled triangle, the square on the hypotenuse is equal to the sum of the squares on the two sides that contain the right angle. Its decisive significance in this book lies in the way it turns a visual relation among three sides into a necessary geometrical truth: a figure constructed on the longest side is accounted for by the two corresponding figures constructed on the shorter sides. The theorem therefore joins construction, measurement, and deduction, making the right triangle a central instrument of geometrical reasoning.

Statement and Geometrical Meaning

The book gives the relation in explicit algebraic-geometrical language: the square of one side is equal to the sum of the squares of the other two sides. In the fuller statement of the right-triangle theorem, the square on the hypotenuse is equal to the sum of the squares on the sides. The hypotenuse is defined as the side opposite the right angle, so the theorem depends first on identifying the right angle and then on distinguishing the opposite side from the two sides that form it.

This wording describes areas rather than merely lengths. A square is constructed on each side, and the theorem compares the area of the square on the hypotenuse with the combined areas of the other two squares. The relation is thus visible in the figure before it is completed by proof. The book also presents the same properties through colour, expressing the parts of the diagram as coloured magnitudes. Colour does not replace the geometrical argument; it separates the relevant regions so that the equality can be followed by sight as well as by reasoning.

Place Within the System of Geometry

The theorem belongs to a formal structure that begins with definitions. The book defines a point as that which has no parts and treats the objects of the first six books as lying in one plane. It distinguishes the side opposite a right angle as the hypotenuse and defines the perimeter, radius, and sides of a figure, supplying the vocabulary required for propositions about triangles and squares.

That formal vocabulary is supported by postulates and axioms. Among the postulates is the permission to draw a straight line from any one point to any other point, and another permits a circle to be described with any centre and at any distance from that centre. The axioms are described as general propositions whose truth is taken to be self-evident and incapable of being established by demonstration. The Pythagorean theorem consequently does not stand as an isolated observation: its proof is presented as a result deduced from definitions, accepted starting points, and truths established earlier.

The method also imposes a material discipline on geometrical work. The straightedge and compass are the only instruments permitted in Euclidean plane geometry, and the statement of this restriction is identified as the purpose of the postulates. The right-triangle relation therefore emerges from constructions that can be carried out under those limits, not from an unrestricted numerical procedure. The instruments create the figure; the demonstration establishes what the figure must mean.

Construction, Proof, and Demonstration

The book sharply distinguishes a problem from a theorem. A problem proposes that something be done, such as drawing a line under given conditions, describing a circle, or constructing a figure. Its solution shows how the required object may be made with the straightedge and compass, while its demonstration proves that the indicated process actually attains the required end.

A theorem, by contrast, asserts the truth of a principle. That principle must be deduced from axioms and definitions or from truths previously and independently established, and demonstration is the act of showing this deduction. The Pythagorean theorem is therefore exemplary of the book's larger epistemology: the diagram may make the relation intelligible, but only the chain of geometrical reasoning gives it necessity.

The earlier propositions supply the constructive grammar on which this proof depends. The work includes the problem of constructing an equilateral triangle on a given finite straight line, the problem of drawing a perpendicular to a given indefinite straight line from a given point, and the theorem concerning a straight line standing on another straight line. These procedures establish the control of equal lengths, perpendicularity, and angles needed to identify and manipulate right-angled figures. The Pythagorean result is consequently the culmination of a sequence rather than a beginning: it gathers earlier operations into one relation among areas.

Converse and Diagnostic Use

The theorem is paired with a converse. The converse begins from the square relation rather than from a known right angle: when the square on one side equals the sum of the squares on the other two sides, the angle opposite that side is shown to be a right angle. The ordinary theorem moves from right angle to equality of squares; the converse moves from equality of squares to right angle.

This reversal changes the theorem from a description into a test. A right angle guarantees the area equality, while the area equality can establish that an angle is right even when the figure is not introduced with that fact already known. The book records the conclusion that the relevant angle is a right angle and closes the demonstration with “Q. E. D.”, marking the result as completed within the deductive system.

The converse also shows why the theorem has a broader role than the calculation of an unknown side. It supplies a criterion for recognizing perpendicularity from relations among lengths. In this respect the theorem and its converse form a two-way bridge between figure and proof: angular information produces metric equality, and metric equality returns an angular conclusion.

Similarity, Proportion, and Wider Significance

Later geometry connects the right-triangle theorem with similar rectilinear figures. The book considers similar figures described on the sides of a right-angled triangle, so the relation is no longer confined to three isolated squares. Similarity allows a common form to be reproduced at different scales, while proportional reasoning explains how the corresponding figures retain a controlled relationship when their sizes change.

The theorem's deepest importance in the work therefore lies in its combination of visual intelligibility and deductive force. The introduction presents geometry as a discipline capable of calling forth inquiry, elevating the mind, and strengthening the reasoning faculties; it also identifies geometry as foundational to arithmetic, land surveying, mensuration, engineering, navigation, mechanics, hydrostatics, pneumatics, optics, and physical astronomy. The Pythagorean theorem embodies that educational ambition. It begins with a precisely defined right angle, uses constructions permitted by straightedge and compass, organizes coloured and uncoloured regions into an equality, and ends in a proposition whose converse can identify right angles and whose later relations extend into similarity. Its power is not only that it gives a numerical rule, but that it demonstrates how a visible configuration can become permanent knowledge through proof.