Ratio and Proportion

Ratio and Proportion describe relationships between quantities by relative size. A ratio compares two or more quantities (

a : b

), while a proportion states that two ratios are equal (

a : b = c : d

). Used everywhere — from recipes and maps to physics, finance, and chemistry. Foundational since antiquity (Euclid, Book V), and still central to all quantitative reasoning.

A ratio is a comparison of two quantities of the same kind by division, written $a : b$ or $\frac{a}{b}$ , expressing how many times one quantity contains another. A proportion is the statement that two ratios are equal, the equality $\frac{a}{b} = \frac{c}{d}$ being the workhorse of scaling problems. These concepts matter because they let us reason about relative magnitude independent of absolute size — a map can shrink a continent to a page while preserving every shape. A surprising fact: the entire theory of proportion was developed rigorously by the ancient Greeks (via Eudoxus) for incommensurable magnitudes like $2$ , centuries before real numbers were formally defined.

The Core Insight

A ratio strips away absolute units and keeps only relative size: $6 : 4$ , $3 : 2$ , and $1.5 : 1$ all encode the same relationship. A proportion exploits this by letting you transfer a known relationship to a new scale — if you know three of four proportional quantities, the fourth is forced. This single idea, "equal ratios determine the missing term," underlies scaling, similarity, unit conversion, and percentages.

Formal Statement

Ratio

A ratio of a quantity $a$ to a nonzero quantity $b$ (both of the same kind) is the quotient that compares them, written $a : b$ or $\frac{a}{b}$ .

r = \frac{a}{b}, b \neq = 0

⟳A ratio is defined directly as a quotient; the restriction

b \neq = 0

comes from the impossibility of division by zero.

$a$ = antecedent (first term)
$b$ = consequent (second term)
$r$ = the value of the ratio (a pure, dimensionless number when $a, b$ share units)

A ratio is in simplest form when $a$ and $b$ are integers with $g cd (a, b) = 1$ .

Proportion

A proportion is an equality of two ratios:

\frac{a}{b} = \frac{c}{d}, b, d \neq = 0

⟳A proportion is by definition the assertion that two ratios share the same value

r

$a, d$ = extremes (outer terms)
$b, c$ = means (inner terms)
We say " $a$ is to $b$ as $c$ is to $d$ ," written $a : b :: c : d$ .

Cross-Multiplication (Means–Extremes Property)

For nonzero $b, d$ , the proportion in equation [2] holds if and only if

a d = b c

⟳Multiply both sides of [2] by the common denominator

b d

That is, the product of the extremes equals the product of the means. This is the single most useful operational fact about proportions: it converts a fractional equation into a polynomial one and lets you solve for any unknown term.

Mean Proportional / Geometric Mean

If $a : x = x : b$ (a continued proportion), then $x$ is the mean proportional between $a$ and $b$ , and

x = a b, a, b > 0

⟳From

a / x = x / b

, cross-multiply to get

x^{2} = ab

, then take the positive root.

Why It Holds / Derivation

Cross-Multiplication

We prove equation [3] from equation [2].

Start with the proportion $\frac{a}{b} = \frac{c}{d}$ , where $b \neq = 0$ and $d \neq = 0$ .
Multiply both sides by $b$ : $a = \frac{c b}{d}$ .
Multiply both sides by $d$ : $a d = c b = b c$ .
This gives $a d = b c$ , equation [3]. ∎ (forward direction)

Converse: Suppose

a d = b c

with

b, d \neq = 0

. Divide both sides by

b d

\frac{a d}{b d} = \frac{b c}{b d} ⟹ \frac{a}{b} = \frac{c}{d} .

Hence the proportion is recovered, establishing the "if and only if." ∎

Derived Proportions

From any valid proportion $\frac{a}{b} = \frac{c}{d}$ , the following are also valid (for nonzero denominators):

\frac{b}{a} = \frac{d}{c} (invertendo), \frac{a}{c} = \frac{b}{d} (alternendo)

⟳Invertendo = reciprocate both sides; alternendo = cross-multiply

a d = b c

then divide by

c d

\frac{a + b}{b} = \frac{c + d}{d} (componendo), \frac{a - b}{b} = \frac{c - d}{d} (dividendo)

⟳Add (or subtract) 1 to both sides of the original proportion and combine over a common denominator.

\frac{a + b}{a - b} = \frac{c + d}{c - d} (componendo et dividendo)

⟳Divide the componendo result [6, left] by the dividendo result [6, right].

Eudoxus of Cnidus | c. 408–355 BCE

Eudoxus, a student in Plato's circle, created the rigorous theory of proportion preserved in Book V of Euclid's Elements. His genius was handling incommensurable magnitudes — ratios like the diagonal of a square to its side ( $2 : 1$ ) that cannot be expressed as a ratio of whole numbers. His definition: $a : b = c : d$ exactly when, for all positive integers $m, n$ , the comparisons $ma ≶ nb$ and $m c ≶ n d$ always agree. This idea anticipates Dedekind's 19th-century construction of the real numbers by more than two millennia.

Building Intuition

Think of a ratio as a recipe, not a count. " $2 : 3$ flour to sugar" does not say "2 cups and 3 cups" — it says whatever amount of flour you use, use 1.5 times as much sugar. The numbers are placeholders for a relationship.

A proportion is then a machine for scaling that recipe up or down. If 2 cups flour needs 3 cups sugar, then 10 cups flour needs $x$ cups, and the proportion $\frac{2}{3} = \frac{10}{x}$ instantly delivers $x = 15$ . Cross-multiplication is just the algebraic gearbox that keeps the relationship locked while you change the absolute amounts.

The deepest point: ratios are dimensionless when the quantities share units, so they survive any rescaling. This is why a tiny map and the real terrain can be "the same shape" — they share all the same ratios.

Two similar right triangles: corresponding sides are in proportion

<svg viewBox="0 0 480 300" xmlns="http://www.w3.org/2000/svg">
  <rect width="480" height="300" fill="#0a0e17"/>
  <!-- small triangle -->
  <polygon points="40,240 160,240 40,160" fill="none" stroke="#94a3b8" stroke-width="2"/>
  <text x="92" y="262" fill="#e2e8f0" font-size="14">a = 3</text>
  <text x="10" y="205" fill="#e2e8f0" font-size="14">b = 4</text>
  <text x="108" y="195" fill="#d4a853" font-size="14">c = 5</text>
  <line x1="40" y1="160" x2="160" y2="240" stroke="#d4a853" stroke-width="2.5"/>
  <!-- large triangle -->
  <polygon points="260,260 460,260 260,120" fill="none" stroke="#94a3b8" stroke-width="2"/>
  <text x="345" y="282" fill="#e2e8f0" font-size="14">A = 6</text>
  <text x="222" y="200" fill="#e2e8f0" font-size="14">B = 8</text>
  <text x="370" y="190" fill="#d4a853" font-size="14">C = 10</text>
  <line x1="260" y1="120" x2="460" y2="260" stroke="#d4a853" stroke-width="2.5"/>
  <text x="120" y="40" fill="#e2e8f0" font-size="16">a:b:c = A:B:C = 3:4:5</text>
  <text x="120" y="64" fill="#94a3b8" font-size="13">scale factor k = 2 (each side doubled)</text>
</svg>

Worked Examples

Scaling a Recipe (direct proportion)

Given: A bread recipe uses flour : water in the ratio

5 : 3

. You have

750

g of flour. How much water is needed, and what is the total dough mass? Steps:

Set up the proportion with unknown water $w$ :

\frac{5}{3} = \frac{750}{w} .

Cross-multiply (equation [3]): $5 w = 3 \times 750 = 2250$ .
Solve: $w = \frac{2250}{5} = 450$ g.
Total mass $= 750 + 450 = 1200$ g.

w = 450 g water, total = 1200 g dough

Sharing in a Given Ratio + Mean Proportional

Given (a): Divide \

\,4200$ among Anna, Ben, and Cara in the ratio $2:3:5$. **Steps:** 1. Total parts $= 2+3+5 = 10$. 2. Value of one part $= \dfrac{4200}{10} = 420$. 3. Anna $= 2 \times 420 = 840$; Ben $= 3 \times 420 = 1260$; Cara $= 5 \times 420 = 2100$.

\boxed{\text{Anna} = \

840, Ben =

1260,\ \ \text{Cara} = \

2100}%%MATH_D1%%\boxed{x = 10}

Common Misconceptions

A ratio is not a fraction of the total — until you say so. In a ratio

3 : 5

, the "

3

" is 3 out of 8 parts, not "3 out of 5." Students routinely compute

\frac{3}{5}

of the whole when the correct share is

\frac{3}{8}

. Always sum the parts first. Adding ratios term-by-term is illegal.

\frac{a}{b}

and

\frac{c}{d}

do not combine to

\frac{a + c}{b + d}

as a proportion. (Though that "mediant" does lie between the two ratios — a separate fact about Farey sequences, not equality.) Units must match inside a ratio. A ratio of

2 m

50 cm

is not

2 : 50

; convert first to

200 cm : 50 cm = 4 : 1

. Claim (false): "If

a : b = c : d

, then

a + c : b + d

has nothing to do with the original ratio." But: Take

\frac{2}{4} = \frac{3}{6} = \frac{1}{2}

. Then

\frac{2 + 3}{4 + 6} = \frac{5}{10} = \frac{1}{2}

— the ratio is preserved when the two component ratios are equal. This is the Addendo rule:

\frac{a}{b} = \frac{c}{d} \Rightarrow \frac{a + c}{b + d} = \frac{a}{b}

. The misconception that "ratios never add" is itself wrong; the truth is that they add only when already equal. This is why mixing two solutions of the same concentration preserves that concentration.

Connections

Ratio and proportion sit at the hub of school mathematics:

Similar Triangles are defined by proportional sides; the geometric meaning of equation [2].
Percentages are simply ratios with consequent fixed at $100$ : $35% = 35 : 100$ .
Linear Functions $y = k x$ express direct proportion, where $k$ is the constant ratio $y : x$ .
Inverse Proportion ( $x y = k$ ) is the dual case where the product, not the quotient, is constant.
Trigonometric Ratios (sine, cosine, tangent) are ratios of triangle sides, generalising the mean proportional.
The Golden Ratio $φ = \frac{1 + 5}{2}$ arises from a self-similar continued proportion $\frac{a + b}{a} = \frac{a}{b}$ .

Real-World Applications

Cartography & scale models — A 1:50000 map means 1 cm represents 500 m; all distances scale by the constant ratio.
Cooking & chemistry — Recipes and stoichiometric mole ratios (e.g. $2 H_{2} : 1 O_{2}$ ) scale by proportion.
Currency & unit conversion — Exchange rates ( $1 USD = 0.92 EUR$ ) and conversions ( $1 mi = 1.609 km$ ) are proportions.
Finance — Gear ratios, price-to-earnings ratios, debt-to-equity ratios, and simple-interest scaling all use proportional reasoning.
Medicine & pharmacology — Drug dosages scale with body mass (mg per kg), a direct proportion critical to patient safety.
Photography & screens — Aspect ratios (16:9, 4:3) preserve image shape across device sizes.
Engineering & mechanics — Lever balance ( $F_{1} d_{1} = F_{2} d_{2}$ ) is an inverse proportion; gear trains multiply by ratio.

Historical Development

c. 1650 BCE — The Egyptian Rhind Papyrus solves "false position" problems that are essentially proportions.
c. 530 BCE — The Pythagoreans link ratios to musical harmony: octave $2 : 1$ , perfect fifth $3 : 2$ .
c. 450 BCE — Discovery of incommensurables (the diagonal of a unit square) shatters the Pythagorean belief that all ratios are whole-number ratios.
c. 360 BCE — Eudoxus develops the rigorous theory of proportion for incommensurable magnitudes.
c. 300 BCE — Euclid codifies it in Elements Book V; Book VI applies it to similar figures.
c. 250 CE — Diophantus advances symbolic methods for proportional equations.
1202 CE — Fibonacci's Liber Abaci spreads the "Rule of Three" (solving proportions) across Europe with Hindu-Arabic numerals.
1585 CE — Simon Stevin introduces decimal fractions, letting ratios be written as decimals.
1872 CE — Richard Dedekind rigorously constructs real numbers via "cuts," vindicating Eudoxus's ancient definition of proportion.

Subtleties & Limits

The notion of ratio is so basic it rarely poses open research questions, but its boundaries hold genuine subtlety:

Ratios of incommensurable magnitudes required the full apparatus of real analysis to ground. Whether two ratios of irrational numbers are "equal" is a question about real-number equality, decidable in principle but subtle in practice.
Continued fractions express any ratio as a nested sequence; rational ratios terminate, irrationals (like $φ$ ) do not — a bridge between ratio and number theory with deep results (Hurwitz's theorem on rational approximation).
Dimensional ratios in physics (the fine-structure constant $α \approx 1/137$ , ratios of fundamental masses) are measured, not derived, and why they take their values remains an unsolved problem in physics.
Mediants and Farey sequences turn the "illegal" term-by-term addition of fractions into a rich structure (the Stern–Brocot tree) underlying best rational approximations.