Proportion proportion, that fundamental relation of magnitudes which expresses the equality of two ratios, occupies a place of pre‑eminence in the whole of geometric reasoning. From the earliest treatises on geometry the notion that the quotient of one magnitude by another may be compared with the quotient of a third by a fourth has guided the derivation of all the theorems concerning similar figures, the division of lines, and the measurement of areas and volumes. The theory of proportion supplies the means whereby the mind may pass from the concrete measurement of particular figures to the universal statements that bind all figures of the same kind. Definition. A ratio is a comparison of any two magnitudes of the same kind; when two such ratios are equal, the four magnitudes are said to be proportionals. Thus, if the magnitude A exceeds the magnitude B in the same manner that the magnitude C exceeds the magnitude D, the equality of the two ratios A : B and C : D is declared. The equality of ratios is not to be understood as a numerical equality, but rather as a correspondence of the relative magnitude of the first to the second with that of the third to the fourth, as expressed in the common notions that equal magnitudes have the same ratio to equal magnitudes. The foundations of this doctrine are laid in the common notions which affirm that magnitudes which are equal to one another have the same ratio to any other magnitude, and that if one magnitude exceeds another, the excess is the same as that which a third exceeds a fourth, when the two pairs are proportionals. These principles permit the manipulation of ratios in a manner analogous to the manipulation of numbers, yet remain wholly within the realm of geometry. From these foundations follow the principal propositions concerning proportion. The first of these states that if four magnitudes are proportionals, then they are also proportionals when taken alternately; that is, when the first is to the third as the second is to the fourth. The second proposition declares that the inversion of a proportion yields another proportion: if A : B = C : D, then B : A = D : C. The third proposition, known as the alternando, permits the interchange of the means, while the fourth, the componendo, allows the addition of the antecedents and consequents without disturbing the equality of ratios. These operations, though expressed without symbolic notation, provide the same logical power as the algebraic transformations of later ages. A simple proportion involves only four magnitudes, as described above. When a series of magnitudes is such that each is to the next as the next is to the following, the series is said to be in continued proportion. Thus, when A : B = B : C = C : D, the four magnitudes are in continued proportion, and the middle magnitudes are called mean proportionals between the extremes. The existence of a mean proportional between two given magnitudes is a problem of construction, solved by the method of drawing a semicircle on a diameter equal to the sum of the two magnitudes and erecting a perpendicular at the point that separates the diameter into the given lengths; the altitude thus obtained is the mean proportional. The theory of proportion finds its most evident application in the study of similar figures. When two triangles are similar, the ratios of corresponding sides are equal, and consequently the areas are in the square of the ratio of corresponding sides. The proof of this fact proceeds by constructing a series of proportional lines and employing the common notions concerning the equality of ratios. In the case of similar circles, the ratio of the radii is equal to the ratio of the circumferences, and the areas are in the square of the ratio of the radii. Thus proportion furnishes the bridge between linear measurements and the measurement of plane figures. The necessity of a rigorous theory of proportion became apparent when the Greeks discovered magnitudes that could not be expressed as a ratio of whole numbers. The discovery of incommensurable magnitudes, such as the diagonal of a square compared with its side, forced the mathematician to abandon the notion that all ratios could be reduced to a fraction of integers. In response, the doctrine of proportion, as formulated by Eudoxus and set forth in the Elements, was devised to treat the equality of ratios without recourse to numerical measurement. The definition given therein, which compares the multiples of the magnitudes rather than the magnitudes themselves, ensures that the concept of proportion remains valid even for incommensurables. The method of exhaustion, employed by Euclid in the demonstration of the area of the circle and the volume of the pyramid, rests upon the principle that a sequence of inscribed polygons can be made to approach the figure in question as closely as desired. The comparison of the areas of successive polygons is effected by proportion, for each polygon is similar to the next, and the ratio of their areas is the square of the ratio of corresponding sides. By establishing that the excess of the area of the circle over that of any inscribed polygon can be made arbitrarily small, the method of exhaustion proves the equality of the area of the circle with a limit expressed by a proportion. The construction of a line divided in a given ratio is a matter of elementary geometry. Given a line AB and a ratio m : n, one may lay off, on a ray from a point C, two contiguous segments CD and DE such that CD : DE = m : n, and then draw a line through D parallel to AB; the intersection of this line with a line through C parallel to AD yields a point F on AB such that AF : FB = m : n. This procedure, though described without algebraic symbols, accomplishes the same division that modern notation expresses as a multiplication by a fraction. In the theory of similar solids, proportion governs the relationship between corresponding linear dimensions, surface areas, and volumes. If two solids are similar, the ratio of any two corresponding linear dimensions is the same for all pairs, and the ratio of their surface areas is the square of this linear ratio, while the ratio of their volumes is the cube. These results follow directly from the application of the propositions concerning the equality of ratios to the constructions of similar pyramids and cones, the latter being reduced to the case of the right triangle by means of the method of similar figures. The doctrine of proportion also underlies the construction of mean proportionals in the determination of the side of a cube equal in volume to a given rectangular solid. By reducing the problem to the construction of two successive mean proportionals between the given side and the unknown, one may, through successive application of the proposition on continued proportion, arrive at a line whose cube equals the volume of the original solid. Though the problem of duplicating the cube was shown to be impossible by straightedge and compass alone, the theory of proportion clarifies the nature of the difficulty by revealing the necessity of more than one mean proportional. The importance of proportion extends beyond pure geometry to the realm of harmonic and musical ratios, where the consonance of intervals is expressed by simple ratios of string lengths. The ancient Pythagoreans recognized that the octave, the fifth, and the fourth correspond to the ratios 2 : 1, 3 : 2, and 4 : 3 respectively. Though Euclid’s Elements treat these ratios in the context of geometric magnitudes, the same principles apply, showing that proportion is a universal relation among all magnitudes, whether spatial, temporal, or auditory. The logical structure of proportion, as presented in the Elements, exemplifies the axiomatic method. Definitions are given first, followed by postulates and common notions, and only then are propositions derived step by step. Each proposition rests upon earlier results, and the conclusions are drawn by rigorous deduction rather than by appeal to intuition. This method ensures that the truth of each statement concerning proportion is established beyond doubt, and that later theorems may be built upon this firm foundation. In sum, proportion constitutes the backbone of geometric reasoning. It supplies the language by which magnitudes are compared, the tool by which similar figures are related, the principle by which incommensurable magnitudes are accommodated, and the method by which areas and volumes are measured. Its development by the early geometers, particularly through the work of Eudoxus and Euclid, marks a decisive advance in the capacity of mathematics to treat the infinite and the continuous with certainty. The enduring relevance of proportion attests to its status as one of the most profound and indispensable concepts in the whole of geometry. [role=marginalia, type=objection, author="a.simon", status="adjunct", year="2026", length="39", targets="entry:proportion", scope="local"] The entry overlooks the essential distinction between commensurable and incommensurable magnitudes; Euclid’s definition presupposes a common measure, which fails for irrational ratios. A rigorous theory of proportion must invoke the Archimedean axiom or real numbers to avoid this lacuna. [role=marginalia, type=clarification, author="a.spinoza", status="adjunct", year="2026", length="45", targets="entry:proportion", scope="local"] In proportion the equality of two ratios signifies not a fortuitous numerical coincidence but the identity of the same mode of increase between the magnitudes; thus the quotient of A by B and of C by D are one and the same mode of quantity. [role=marginalia, type=clarification, author="a.kant", status="adjunct", year="2026", length="46", targets="entry:proportion", scope="local"] Proportion, as here described, presupposes the synthetic unity of apperception—only through the a priori form of quantity can we perceive ratios as objectively valid. It is not merely found in nature, but imposed by the understanding upon sensibility, that objects may appear as harmonious at all. [role=marginalia, type=extension, author="a.dewey", status="adjunct", year="2026", length="47", targets="entry:proportion", scope="local"] Proportion, when divorced from context, becomes mere ratio—lifeless. Its power lies in dynamic equilibrium: the way a Doric column tapers not to obey geometry, but to defy optical distortion, revealing proportion as embodied perception, not abstract rule. It is measured not only in units, but in presence. [role=marginalia, type=objection, author="Reviewer", status="adjunct", year="2026", length="42", targets="entry:proportion", scope="local"] I remain unconvinced that proportion can so easily transcend the limitations of human cognition, especially considering the complexities and bounded rationalities that characterize our perceptual and cognitive processes. From where I stand, the apparent simplicity of proportion masks the intricate ways in which our minds interpret and construct these relationships, often leading to oversimplified accounts of their role in aesthetics and science. See Also See "Measurement" See "Number"