Ratio and Proportion

⚡ Key Takeaways

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.

💡 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.

DefinitionRatio

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 $\dfrac{a}{b}$ .

1

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

Derivation hint: 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 $\gcd(a,b)=1$ .

DefinitionProportion

A proportion is an equality of two ratios:

2

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

Derivation hint: 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$ .

TheoremCross-Multiplication (Means–Extremes Property)

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

3

\quad a\,d = b\,c

Derivation hint: Multiply both sides of [2] by the common denominator $bd$ . 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.

TheoremMean Proportional / Geometric Mean

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

4

\quad x = \sqrt{a\,b}, \qquad a,b > 0

Derivation hint: From $a/x = x/b$ , cross-multiply to get $x^2 = ab$ , then take the positive root.

ProofCross-Multiplication

We prove equation [3] from equation [2]. 1. Start with the proportion $\dfrac{a}{b} = \dfrac{c}{d}$ , where $b \neq 0$ and $d \neq 0$ . 2. Multiply both sides by $b$ : $\;a = \dfrac{c\,b}{d}$ . 3. Multiply both sides by $d$ : $\;a\,d = c\,b = b\,c$ . 4. This gives $a\,d = b\,c$ , equation [3]. ∎ (forward direction)

Converse: Suppose $ad = bc$ with $b,d\neq 0$ . Divide both sides by $bd$ :

\frac{ad}{bd} = \frac{bc}{bd} \;\Longrightarrow\; \frac{a}{b} = \frac{c}{d}.

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

∎

TheoremDerived Proportions

From any valid proportion $\tfrac ab = \tfrac cd$ , the following are also valid (for nonzero denominators):

5

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

Derivation hint: Invertendo = reciprocate both sides; alternendo = cross-multiply $ad=bc$ then divide by $cd$ .

6

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

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

7

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

Derivation hint: Divide the componendo result [6, left] by the dividendo result [6, right].

mathematician · 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 ( $\sqrt 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 \lessgtr nb$ and $mc \lessgtr nd$ always agree. This idea anticipates Dedekind's 19th-century construction of the real numbers by more than two millennia.

🧠 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 $\tfrac{2}{3} = \tfrac{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.

Figure

Two similar right triangles: corresponding sides are in proportion

```svg

```

ExampleScaling 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: 1. Set up the proportion with unknown water $w$ :

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

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

\boxed{w = 450\ \text{g water}, \quad \text{total} = 1200\ \text{g dough}}

ExampleSharing 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,\ \ \text{Ben} = \$1260,\ \ \text{Cara} = \$2100}

Given (b): Find the mean proportional between $4$ and $25$ . 4. By equation [4]: $\;x = \sqrt{4 \times 25} = \sqrt{100} = 10$ .

\boxed{x = 10}

⚠️ Common mistake

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 $\tfrac{3}{5}$ of the whole when the correct share is $\tfrac{3}{8}$ . Always sum the parts first.

Adding ratios term-by-term is illegal. $\tfrac{a}{b}$ and $\tfrac{c}{d}$ do not combine to $\tfrac{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\text{ m}$ to $50\text{ cm}$ is not $2:50$ ; convert first to $200\text{ cm}:50\text{ cm} = 4:1$ .

Counterexample

Claim (false): "If $a:b = c:d$ , then $a+c : b+d$ has nothing to do with the original ratio."

But: Take $\tfrac{2}{4} = \tfrac{3}{6} = \tfrac12$ . Then $\tfrac{2+3}{4+6} = \tfrac{5}{10} = \tfrac12$ — the ratio is preserved when the two component ratios are equal. This is the Addendo rule: $\tfrac ab=\tfrac cd \Rightarrow \tfrac{a+c}{b+d}=\tfrac ab$ . 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.

connection

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 = kx$ express direct proportion, where $k$ is the constant ratio $y:x$ .
Inverse Proportion ( $xy = 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 $\varphi = \tfrac{1+\sqrt5}{2}$ arises from a self-similar continued proportion $\tfrac{a+b}{a}=\tfrac ab$ .

🔬 Where this appears

⏳ History

- 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.

open-problem

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 $\varphi$ ) 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 $\alpha \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.

Formal Statement

Why It Holds / Derivation

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also