Algebraic Proportion

⚡ Key Takeaways

Algebraic proportion is the statement that two ratios are equal: $\frac{a}{b} = \frac{c}{d}$ . The key result is the cross-multiplication law — $a/b = c/d$ if and only if $ad = bc$ (for $b, d \neq 0$ ). It applies wherever quantities scale together: scaling recipes, maps, similar triangles, unit conversion, mixtures, and rates. The formal study reaches back to the ancient Greeks (Eudoxus, Euclid Book V) and is foundational to all of elementary algebra and applied science.

💡 The Core Insight

A proportion encodes a constant of proportionality. Saying $\frac{a}{b} = \frac{c}{d}$ is the same as saying both pairs share a single scaling factor $k$ : $a = kb$ and $c = kd$ . Every manipulation of proportions — cross-multiplication, inversion, alternation — is just bookkeeping around this one hidden constant. Solving a proportion means recovering an unknown that respects that constant.

DefinitionRatio

A ratio of two quantities $a$ and $b$ (with $b \neq 0$ ) is their quotient $\frac{a}{b}$ , also written $a:b$ . It expresses how many times larger (or smaller) $a$ is than $b$ . The number $a$ is the antecedent; $b$ is the consequent.

DefinitionProportion

A proportion is an equality of two ratios:

1

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

Derivation hint: This is a definition, not a derived result; the constraints $b,d\neq 0$ come from the requirement that division be defined. Here $a$ and $d$ are called the extremes (outer terms) and $b$ and $c$ the means (inner terms), reflecting the layout $a:b = c:d$ . When $b = c$ , so that $\frac{a}{b} = \frac{b}{d}$ , the proportion is continued and $b$ is the mean proportional (or geometric mean) of $a$ and $d$ .

TheoremCross-Multiplication Law

For $b, d \neq 0$ ,

2

\quad \frac{a}{b} = \frac{c}{d} \iff ad = bc.

Derivation hint: Multiply both sides of [1] by the common denominator $bd$ ; reversibility holds because $b,d\neq 0$ means $bd\neq 0$ . In words: the product of the extremes equals the product of the means. This is the workhorse equation of the entire topic, because it converts a fractional equation into a polynomial one that is easy to solve.

TheoremEquivalent Forms of a Proportion

If $\frac{a}{b} = \frac{c}{d}$ (all terms nonzero), then each of the following is also true:

3

\quad \frac{b}{a} = \frac{d}{c} \quad\text{(inversion)}

Derivation hint: Take reciprocals of both sides of [1]; valid since all terms are nonzero.

4

\quad \frac{a}{c} = \frac{b}{d} \quad\text{(alternation)}

Derivation hint: From $ad=bc$ in [2], divide both sides by $cd$ .

5

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

Derivation hint: Add 1 to both sides of [1]; common denominators give $(a+b)/b$ and $(c+d)/d$ .

6

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

Derivation hint: Subtract 1 from both sides of [1].

7

\quad \frac{a+c}{b+d} = \frac{a}{b} = \frac{c}{d} \quad\text{(addendo, with } b+d\neq 0)

Derivation hint: Set the common value to $k$ , so $a=kb,\,c=kd$ ; then $(a+c)/(b+d)=k(b+d)/(b+d)=k$ .

ProofCross-Multiplication

We prove the equivalence in equation [2]. 1. Start: Assume $\dfrac{a}{b} = \dfrac{c}{d}$ with $b, d \neq 0$ . 2. Clear denominators: Multiply both sides by $bd$ (nonzero, so this is legal and reversible):

\frac{a}{b}\cdot bd = \frac{c}{d}\cdot bd.

3. Simplify: On the left, $b$ cancels: $a\cdot d$ . On the right, $d$ cancels: $c\cdot b$ . Hence $ad = bc$ . 4. Converse: Assume $ad = bc$ . Divide both sides by $bd$ (nonzero): $\dfrac{ad}{bd} = \dfrac{bc}{bd}$ , i.e. $\dfrac{a}{b} = \dfrac{c}{d}$ . 5. Conclude: Each direction follows from the other, so the two statements are equivalent. $\blacksquare$

∎

ProofConstant of Proportionality View

1. Let $k = \dfrac{a}{b} = \dfrac{c}{d}$ denote the common value of the two ratios. 2. Then $a = kb$ and $c = kd$ by multiplying each ratio by its denominator. 3. Compute $ad = (kb)d = k(bd)$ and $bc = b(kd) = k(bd)$ . 4. Both equal $k(bd)$ , so $ad = bc$ , recovering [2] and exposing $k$ as the hidden scaling factor common to both pairs. $\blacksquare$

∎

mathematician · Eudoxus of Cnidus | c. 408 – c. 355 BCE

Eudoxus, a student in Plato's circle, created the theory of proportion preserved in Book V of Euclid's Elements. The Pythagoreans had been shaken by the discovery that the diagonal of a square is incommensurable with its side (no common unit divides both), which meant ratios could not always be expressed with whole numbers. Eudoxus's brilliant definition of equal ratios sidestepped the problem: $a:b = c:d$ precisely when, for all whole numbers $m, n$ , the multiple $ma$ compares to $nb$ exactly as $mc$ compares to $nd$ (less than, equal, or greater). This handles irrational ratios with full rigor and is structurally identical to Dedekind's nineteenth-century construction of the real numbers — a leap of abstraction unmatched for two millennia.

🧠 Intuition

Think of a proportion as a recipe held at fixed flavour. If a recipe needs 2 cups of flour to 3 eggs, the ratio $2:3$ defines the "flavour." Doubling to $4:6$ or scaling to $10:15$ keeps the flavour identical — those are all the same proportion. The number you multiply by (the constant $k$ ) is just how big a batch you are making; it never changes the relationship between flour and eggs. Cross-multiplication is the trick of "removing the fractions." Whenever three of the four terms are known, you have one equation, $ad = bc$ , with one unknown — and a linear equation in one unknown is always solvable. Geometrically, the equality of ratios is exactly the condition for similar triangles: corresponding sides are in proportion, which is why a 6-foot person and their shadow let you measure the height of a flagpole you cannot reach.

Figure

Similar triangles share a constant ratio: the person and the flagpole cast proportional shadows.

```svg

```

ExampleScaling a Recipe — Solving for the Missing Term

Given: A bread recipe uses 250 g of flour for every 150 mL of water. You have 600 mL of water. How much flour do you need to keep the same ratio?

Set up the proportion. Let $x$ be the required flour in grams:

\frac{250\text{ g}}{150\text{ mL}} = \frac{x}{600\text{ mL}}.

Cross-multiply (equation [2]):

250 \times 600 = 150 \times x \;\Rightarrow\; 150\,000 = 150\,x.

Solve:

x = \frac{150\,000}{150} = 1000.

Check the ratios match: $\frac{250}{150} = \frac{5}{3}$ and $\frac{1000}{600} = \frac{5}{3}$ . ✓

\boxed{x = 1000 \text{ g of flour}}

ExampleMap Scale — A Continued/Inverse Application

Given: On a map, a scale of $1:50\,000$ means 1 cm represents 50 000 cm in reality. Two towns are 7.4 cm apart on the map. What is the real distance in kilometres?

Set up the proportion between map distance and real distance. Let $D$ be the real distance in centimetres:

\frac{1\text{ cm}}{50\,000\text{ cm}} = \frac{7.4\text{ cm}}{D}.

Cross-multiply:

1 \times D = 50\,000 \times 7.4 \;\Rightarrow\; D = 370\,000 \text{ cm}.

Convert to kilometres ( $1\text{ km} = 100\,000\text{ cm}$ ):

D = \frac{370\,000}{100\,000} = 3.7.

\boxed{D = 3.7 \text{ km}}

⚠️ Common mistake

Adding to a ratio does not preserve it. A frequent error is to think that if $\frac{a}{b}=\frac{c}{d}$ then adding the same number $n$ to every term keeps the proportion: $\frac{a+n}{b+n}=\frac{c+n}{d+n}$ . This is generally false. Proportions are about multiplicative scaling, not additive shifts. Multiplying all terms of one ratio by the same factor is fine; adding is not. A second common slip is mismatched labelling: when setting up a word problem, the same kind of quantity must sit in corresponding positions. Writing $\frac{\text{flour}}{\text{water}} = \frac{\text{water}}{\text{flour}}$ inverts one side and gives the wrong answer. Keep units aligned diagonally consistent, or check that both ratios reduce to the same value.

Counterexample

Take the true proportion $\frac{2}{4} = \frac{3}{6}$ (both equal $\tfrac12$ ). Add $n = 2$ to every term:

\frac{2+2}{4+2} = \frac{4}{6} = \frac{2}{3}, \qquad \frac{3+2}{6+2} = \frac{5}{8}.

Since $\frac{2}{3} \approx 0.667$ but $\frac{5}{8} = 0.625$ , the two sides are no longer equal. The "add a constant" rule fails. (Contrast this with componendo, equation [5], which adds the denominator to the numerator and genuinely is valid.)

connection

Proportion sits at a crossroads of school mathematics. A proportion in which the ratio is held constant defines a Linear Function through the origin, $y = kx$ , where $k$ is the constant of proportionality — so proportional reasoning is the gateway to slope and gradient. Holding the product constant instead, $xy = k$ , gives inverse proportion, a Rational Function (a hyperbola). Equality of corresponding side ratios is the defining condition of Similar Triangles, linking proportion to geometry, and the same machinery underlies Trigonometric Ratios, where sine, cosine, and tangent are fixed ratios determined by an angle. In data, a proportion expresses a Direct Variation and is the basis of Percentage calculations.

🔬 Where this appears

⏳ History

- c. 1650 BCE — Rhind Papyrus (Egypt): Practical proportion problems solved by the "method of false position," distributing loaves and rations in fixed ratios.

- c. 530 BCE — Pythagoreans: Develop musical and numerical ratios; discover incommensurable magnitudes (

\sqrt2

), a crisis for ratio-as-whole-numbers.

- c. 360 BCE — Eudoxus of Cnidus: Formulates the rigorous definition of equal ratios valid for irrational magnitudes.

- c. 300 BCE — Euclid, Elements Book V: Systematizes Eudoxus's theory of proportion; Book VI applies it to similar figures. The terms means, extremes, and mean proportional descend from here.

- 9th century CE — al-Khwārizmī: Algebraic methods spread proportional problem-solving across the Islamic world; the "rule of three" becomes a standard commercial technique.

- 13th century — Fibonacci, Liber Abaci (1202): Brings the Rule of Three to medieval Europe for merchant arithmetic (currency, weights, interest).

- 16th–17th centuries: Symbolic algebra (Viète, Descartes) lets proportions be written as equations and manipulated by cross-multiplication rather than verbal rules.

- 1872 — Richard Dedekind: His construction of the real numbers via "cuts" is recognized as the modern realization of Eudoxus's ancient definition of proportion.

open-problem

Proportion at the introductory level is fully solved, but it opens onto deeper questions about when proportionality actually holds. Many real relationships are only approximately proportional over a limited range — Hooke's law (force proportional to extension) fails for large stretches; doubling a recipe rarely doubles baking time. Recognizing whether data are genuinely proportional, merely linear (with a nonzero intercept), or follow a power law $y = kx^n$ is a central skill of modeling and statistics, and distinguishing true proportionality from correlation is an ongoing concern in experimental science. The Eudoxan definition also raises foundational questions about the structure of the real-number continuum that occupied mathematicians until the late nineteenth century and connect to ongoing work in the foundations of analysis.

Formal Statement

Why It Holds / Derivation

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also