比例

在数学上，要定义“比例”，必须先定义“比”。比（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$

反比关系

在上面定义中，我们说有时称两个成比例的变量成正比例，这是为了和反比例关系相对应：

如果两变量中，一个变量和另外一个变量的倒数成正比；或同样的：若这两变量的乘积是一个常数，则称这两个变量成反比例（或相反地变化)的，从而可继续推出：若存在一非零常数 $k$ ，使： $y={\frac {k}{x}}$ $(x\neq 0)$ ，则变量 $y$ 和变量 $x$ 成反比。