Mathematical Theory: Proportion Solving, GCD Reduction & Dimensional Scaling
A ratio is a mathematical comparison of two or more quantitative magnitudes expressing how many times one value is contained within another. When two distinct ratios are declared algebraically equivalent, they establish a proportion. The mathematical principles governing ratios and proportions trace back to Book V of Euclid's Elements and form the bedrock of stoichiometry, coordinate geometry, dimensional scaling, architectural blueprints, financial leverage analysis, and digital computer graphics.
1. Formal Definition & The Fundamental Cross-Multiplication Theorem
A proportion between four real numbers $a, b, c, d$ (with $b \neq 0$ and $d \neq 0$) is formally expressed in colon notation as $a : b = c : d$, or in fractional form as:
$$\frac{a}{b} = \frac{c}{d}$$
Here, $a$ and $d$ are designated as the extremes, while $b$ and $c$ are designated as the means. The Fundamental Law of Proportions asserts that the product of the extremes is unconditionally equal to the product of the means:
$$\frac{a}{b} = \frac{c}{d} \iff a \cdot d = b \cdot c$$
This allows the analytic isolation of any single unknown parameter $x$ in a four-term proportion through direct cross-multiplication:
- $$\text{Solving for } a: \quad a = \frac{b \cdot c}{d}$$
- $$\text{Solving for } b: \quad b = \frac{a \cdot d}{c}$$
- $$\text{Solving for } c: \quad c = \frac{a \cdot d}{b}$$
- $$\text{Solving for } d: \quad d = \frac{b \cdot c}{a}$$
2. Ratio Simplification & The Euclidean GCD Algorithm
A ratio $a : b$ where $a, b \in \mathbb{Z}^+$ is expressed in its irreducible simplest canonical form when its terms are coprime, meaning their Greatest Common Divisor satisfies $\gcd(a, b) = 1$. The reduction is accomplished by dividing each term by their mutual GCD:
$$\text{Simplified Ratio} = \left(\frac{a}{\gcd(a, b)}\right) : \left(\frac{b}{\gcd(a, b)}\right)$$
Computationally, $\gcd(a, b)$ is determined in logarithmic time $O(\log(\min(a, b)))$ via the recursive Euclidean algorithm:
$$\gcd(a, b) = \begin{cases} a & \text{if } b = 0 \\ \gcd(b, a \pmod b) & \text{if } b > 0 \end{cases}$$
For continuous empirical scales (such as chemical dilutions or currency exchange rates), ratios are alternatively standardized into unit representations ($1 : n$ or $n : 1$) where $n = \frac{b}{a}$ or $n = \frac{a}{b}$.
3. Partitive Proportion: Partitioning a Whole Quantity
In commercial partnerships, inheritance distribution, and chemical blending, a finite aggregate quantity $S$ must be divided among $k$ entities in accordance with a specified multi-part ratio $r_1 : r_2 : \dots : r_k$. The fractional allocation coefficient for component $i$ is determined by summing all ratio parts:
$$R_{\text{total}} = \sum_{j=1}^k r_j = r_1 + r_2 + \dots + r_k$$
The discrete portion $S_i$ awarded to partition $i$ is given by:
$$S_i = S \times \left(\frac{r_i}{R_{\text{total}}}\right) \quad \text{such that} \quad \sum_{i=1}^k S_i = S$$
4. Aspect Ratio & Geometric Dimensional Scaling
In digital display engineering, cinematography, and responsive web design, the aspect ratio characterizes the proportional relationship between image width ($W$) and height ($H$):
$$\text{Aspect Ratio} = \frac{W}{H}$$
When resizing digital assets while strictly preserving geometric similarity without optical distortion or anamorphic stretching, scaling one dimension enforces an automatic proportional transformation upon the other:
$$H_{\text{new}} = W_{\text{new}} \times \left(\frac{H_{\text{orig}}}{W_{\text{orig}}}\right), \quad W_{\text{new}} = H_{\text{new}} \times \left(\frac{W_{\text{orig}}}{H_{\text{orig}}}\right)$$
Standard industry aspect ratios include $16:9$ (High Definition video, $1.778$), $4:3$ (Standard definition, $1.333$), $21:9$ (Ultrawide cinematic, $2.333$), and $1:1$ (Square social media formats).