比例

在數學上，要定義「比例」，必須先定義「比」。比（ratio）是兩個非零數量 $y$ 與 $x$ 之間的比較關係，記為 $y:x\;(x,y\in \mathbb {R} )$ ，在計算時則常寫作： ${\frac {y}{x}}$ 或 $y/x$ 。

比例（proportion）或比例式，是「兩個比」相等的式子；表示同類型（相同單位）的「兩個比之間」的關係。因此，比值相等的兩個比才能組成比例，且比例必須以等式的形式呈現。例如： ${\frac {y}{x}}={\frac {b}{a}}$ 或 $y:x=b:a$ 才能稱作比例，而 ${\frac {y}{x}}$ 或 $y:x$ 只能稱作比。

組成比例的四個數，稱為比例的項；等式最兩端的兩項稱為外項，等式中央的兩項稱為內項。與比不同的是：比由兩個數組成；比例由四個數組成。

若兩個變量的關係符合：其中一個量等於另一個量乘以一個常數 $k$ （ $y=kx$ ， $k$ 稱為 比例常數 或 比例係數），或等價地表達為：兩變數的比值為一個定值（此定值或商，稱為比^[1]（ratio），但比的定義不限於定值），則稱兩者是「成比例的」，或稱兩者「成正比」。

若幾對變量共享相同的直接比例常數，則表示這些比值相等的方程稱為比例式（proportion）或等比關係。例如： $.mw-parser-output .sfrac{white-space:nowrap}.mw-parser-output .sfrac.tion,.mw-parser-output .sfrac .tion{display:inline-block;vertical-align:-0.5em;font-size:85%;text-align:center}.mw-parser-output .sfrac .num,.mw-parser-output .sfrac .den{display:block;line-height:1em;margin:0 0.1em}.mw-parser-output .sfrac .den{border-top:1px solid}.mw-parser-output .sr-only{border:0;clip:rect(0,0,0,0);height:1px;margin:-1px;overflow:hidden;padding:0;position:absolute;width:1px}b/a = y/x = ⋯ = k$ 。比例性（proportionality）則與線性關係（linearity）密切相關。

定義

若存在一常數 $k$ ，使： $y=kx$ ，（ $y$ 是因變量， $x$ 是自變量， $k$ 是常數，且 $k$ $\neq$ $0$ ），

則稱變量 $y$ 與變量 $x$ 成比例（有時也稱為「成正比」）。當 $x$ 和 $y$ 成正比關係時，當 $x$ 變為原來 $k$ 倍時， $y$ 也會變為原來的 $k$ 倍；此時 $x,y$ 兩個變量成線性函數關係或正比例函數關係。這種函數是一次函數 $y=kx+b$ 取 $b=0$ 的特殊情況；該關係通常用數學符號 $\propto$ ^[2]（正比號）表示為： $y\propto x$ ，並稱該常數 $k$ （ $={\frac {y}{x}}$ ）為 比例常數 或 比例係數^[3] 或比例關係中的常數。

在日常生活中，正比這個詞的使用並不嚴格局限於線性函數，一般來說，一個變量隨着另一個變量的增大而增大（或因一個變量的減小而減小），近似地滿足線性關係時，我們就可以說這兩個變量成正比。

符號和術語

數 $A$ 和 $B$ 的「比」可以表示為^[4]：

$A$ 與 $B$ 之比
$A$ 比 $B$
$A:B$
$A$ 除以 $B$ 商的分數形式（有理數）
${\frac {A}{B}}$

當「兩組比」相等時，表達 $A:B$ 與 $C:D$ 相等的形式為 $A:B=C:D$ 或 $A:B::C:D$ ；口頭或書面的表達形式也可以為「 $A$ 比 $B$ 等於 $C$ 比 $D$ 」。而 $A,B,C,D$ 有特定的名稱： $A,D$ 稱為比例的外項， $B,C$ 稱為比例的內項。

等比關係

兩個比例之間也可以互相比較，若兩個比例相等（即其比值相同），則稱這個相等關係為等比關係。

例如， $y:x=u:o$ 是等比關係，則： $xu=yo$ 。

需要注意的是：如果第二項等於第三項，例如： $y:x=x:z$ $(x,z\neq 0)$ ，則： $x^{2}=yz\rightarrow x={\sqrt {yz}}$ ，或 $x=-{\sqrt {yz}}$ ， $x$ 稱為 $y$ 與 $z$ 的幾何平均數（geometric mean）^[5]。

通約性

如果 $y$ 與 $x$ 是可通約的（或稱「可通分的」），那麼它們之間存在一個公約數（common measure），用 $m\;(m\in \mathbb {R} )$ 表示。使： $y=mp,x=mq\;(p,q\in \mathbb {Z} )$ 。

此時， $y:x$ 就相等於 $p,q$ 的比，即： $y:x=mp:mq=p:q$ ，

那麼， $y:x$ 就稱為可通約比（commensurable ratio）（或稱「可通分比」）， ${\frac {p}{q}}$ 稱為分數，其比值稱為有理數；反之，若不存在公約數， $y:x$ 就稱為不可通約比（incommensurable ratio）（或稱「不可通分比」），其比值稱為無理數，即「無法表示為分數的數。」

用法與歷史

現代數學對於比例的用法並沒有嚴格限制，例如，在一個班級裡面，我們可以說：「男孩與女孩的比例是2比1」。然而，在古希臘數學中，由於比例是用來表示倍數關係，所以必須是相同種類的數量才能構成比例，例如，歐幾里得在《幾何原本》第五冊中如此定義比例^[6]：

λόγος ἐστὶ δύο μεγεθῶν ὁμογενῶν ἡ κατὰ πηλικότητά ποια σχέσις.
A ratio is a sort of relation in respect of size between two magnitudes of the same kind.
比例是兩個同類數量之間的大小關係。

阿基米德使用這個定義來敘述均勻運動（uniform motion）的等比關係^[7]

在一個均勻運動中，兩段距離的比例相等於它們所需時間的比例。

阿基米德所要描述的，就是勻速運動，但是古希臘數學並不接受距離與時間的比例^[8] （亦即速率），因為它們是不一樣的數量，所以他沒有辦法直接說：「均勻運動就是每一點上的速率皆相等」。當採用古希臘的比例論來敘述時，必須取兩段距離 $L_{1}$ 與 $L_{2}$ 以及所需時間 $T_{1}$ 與 $T_{2}$ ，均勻運動（勻速運動）就是 $L_{1}:L_{2}=T_{1}:T_{2}$ 。

舉例

假設某人以勻速運動，則其運動的距離是和運動的時間成正比的，所以速度就是當中的比例常數。
圓的周長與其直徑成正比，當中的比例常數就是π。
在按比例尺繪製的地圖上，地圖上任意兩點間的距離是和該兩點所代表的實際地點之間的距離成比例的，當中的比例常數即是繪製該地圖所使用的比例尺係數。
物理學中，地球的重力對在海平面上的某物體的作用力的數值與該物體的質量成正比，當中的比例常數是地球的重力加速度。

性質

因為： $y=kx$ ，等同於 $x={\frac {y}{k}},(k\neq 0)$ ；因此可推出，若 $y$ 與 $x$ 之間存在正比關係，則 $x$ 與 $y$ 之間也存在正比關係。 $y$ 與 $x$ 的正比關係也可以被解讀為一條在二維直角坐標系穿過原點的直線，其斜率為比例常數 $k$ 。

比例關係中，位於兩端的兩數（外項）之積等於位於中間的兩數（內項）之積。即： ${\frac {a}{b}}={\frac {c}{d}}\iff ad=bc$

反比關係

y={\frac {1}{x}}

的函數圖像

在上面定義中，我們說有時稱兩個成比例的變量成正比例，這是為了和反比例關係相對應：

如果兩變量中，一個變量和另外一個變量的倒數成正比；或同樣的：若這兩變量的乘積是一個常數，則稱這兩個變量成反比例（或相反地變化)的，從而可繼續推出：若存在一非零常數 $k$ ，使： $y={\frac {k}{x}}$ $(x\neq 0)$ ，則變量 $y$ 和變量 $x$ 成反比。