Euclid's common notions

Euclid's common notions form the general reasoning framework of Euclidean geometry. Unlike a definition, which fixes the meaning of a geometrical object, or a proposition, whose truth must be established by reasoning, a common notion is presented as self-evident. It supplies the logical permissions by which magnitudes can be compared, combined, separated, doubled, halved, or identified. The rules therefore make geometrical demonstration possible without themselves becoming the conclusions of demonstrations.

Place in the Geometrical System

The book places the common notions after the definitions and postulates. Definitions establish the basic language of geometry, including the point, straight line, plane, angle, and parallel straight lines. The postulates then grant particular geometrical constructions, such as drawing a straight line from one point to another and describing a circle with any centre and radius. The common notions operate at a more general level: they express relations of equality and magnitude that can be applied throughout reasoning.

This position gives the system a layered structure. A geometrical figure is described through definitions; permitted constructions rest on postulates; and the conclusions of problems and theorems are justified through common notions together with what has already been established. The book explicitly describes the axioms of geometry as general propositions whose truth is taken to be self-evident and incapable of being established by demonstration. In that sense, Euclid's common notions are not decorative preliminaries. They are the accepted ground beneath the chain of proof.

Rules of Equality and Addition

The first common notion states that magnitudes equal to the same magnitude are equal to one another. Equality is thus treated transitively: if two magnitudes each equal a third, their equality follows without a separate construction. The rule turns a shared standard into a bridge between otherwise distinct objects and allows a proof to move from one comparison to another.

The second common notion states that if equals are added to equals, the sums will be equal. This principle governs the preservation of equality under addition. Once two magnitudes have been shown equal, the same added magnitude may be attached to each without disturbing the relation. The rule is especially important for geometrical arguments in which composite figures or lengths are assembled from parts; it permits a conclusion about a larger magnitude to inherit the equality of its components.

The third common notion gives the corresponding rule for subtraction: if equals are taken away from equals, the remainders will be equal. Together, the second and third notions establish a reversible arithmetic pattern within geometrical reasoning. Equality survives both the addition of a common magnitude and the removal of one. The book also records the contrasting rule that if equals are added to unequals, the sums will be unequal, preventing an equality from being manufactured by applying the same operation to quantities that were unequal at the outset.

Inequality, Multiplication, and Coincidence

The rule concerning subtraction from unequal magnitudes states that if equals are taken away from unequals, the remainders will be unequal. It preserves difference under a common removal, just as the preceding rules preserve equality. These paired statements distinguish operations that maintain an existing relation from operations that might alter it; the common notions therefore regulate not only sameness but also the persistence of inequality.

Two further notions address multiplication and division in elementary form. The doubles of the same or equal magnitudes are equal, and the halves of the same or equal magnitudes are equal. These rules extend equality beyond the original magnitude while retaining the relation between the objects. They also show that the system is concerned with practical transformations of geometrical quantities, not merely with static declarations that two things coincide.

Another common notion identifies equality through coincidence. Magnitudes that coincide with one another, or exactly fill the same space, are equal. This rule gives spatial superposition a logical consequence. The book defines superposition as conceiving one magnitude placed upon another so that every part of each exactly coincides. Coincidence is therefore both a visual and conceptual test: when two magnitudes occupy precisely the same space, their equality is recognized. The principle links the sensory clarity of a diagram with the formal language of proof.

Limits and Geometrical Consequences

The common notion that the whole is greater than its part supplies a basic ordering principle for figures and magnitudes. It appears simple, but it prevents a geometrical argument from treating a complete object and one of its proper components as equivalent. Alongside the rules governing addition, subtraction, doubling, and halving, it gives demonstrations a controlled vocabulary for comparing composite figures with the pieces from which they are formed.

The system also includes specifically geometrical common notions. Two straight lines cannot include a space, and all right angles are equal. The first limits what can count as a boundary: two straight lines alone cannot enclose an area. The second establishes the uniformity of the right angle, so that a right angle does not become a different kind of angle merely because it occurs in another figure or position. These rules connect abstract comparison with the characteristic behavior of straight lines and angles.

The book's surrounding explanations clarify why such principles matter. Geometry has as its principal objects the exposition and explanation of the properties of figure, while the first six books treat plane figures. The lines considered there are assumed to lie in the same plane, and the perimeter is the entire length of the line or lines enclosing a figure. Within that setting, the common notions allow relations among sides, enclosed figures, angles, and magnitudes to be carried from one step to the next.

Role in Problems and Theorems

Euclid's common notions support both kinds of proposition recognized by the book. A problem proposes that something be done, such as drawing a line, describing a circle, or constructing a figure under given conditions. Its solution shows how the required action may be performed with the straightedge and compass, while its demonstration proves that the indicated process really attains the required end. A theorem, by contrast, asserts the truth of a principle and must deduce it from definitions, common notions, postulates, or truths already established.

This distinction makes the common notions the quiet connective tissue of the entire method. The straightedge and compass are the only instruments permitted in Euclid's plain geometry, but an instrument alone does not establish a conclusion. Construction produces the figure; definitions identify its parts; postulates authorize the basic actions; and common notions permit the resulting magnitudes and relations to be compared. Demonstration converts those coordinated steps into justified knowledge.

Their authority is therefore both formal and educational. The book argues that Euclid's Elements have become the basis of mathematical science across the civilized globe and that geometry strengthens inquiry, elevates the mind, and develops the reasoning faculties needed by arithmetic, land-surveying, mensuration, engineering, navigation, mechanics, hydrostatics, pneumatics, optics, and physical astronomy. It also presents coloured diagrams as an aid to the mind's search after truth rather than as entertainment. In that pedagogical vision, the common notions model a discipline of thought: they teach learners which transformations preserve equality, which preserve inequality, and which conclusions follow from shared principles. They thus belong to the book's larger ambition to teach people how to think, rather than merely what to think.