比例

File:Disambig gray.svg此条目介绍的是术语“比例”的精确定义。关于“比”的广义，请见“比 (消歧义)”。

File:Disambig gray.svg关于相似术语，请见“比”和“率”。

File:Variables proporcionals.png

y 正比于 x。

在数学上，要定义“比例”，必须先定义“比”。比（ratio）是两个非零数量 <math>y</math> 与 <math>x</math> 之间的比较关系，记为 <math>y:x \; (x, y \in \mathbb{R})</math>，在计算时则常写作：<math>\frac{y}{x}</math> 或 <math>y/x</math>。

比例（proportion）或比例式、等比式，是“两个比”相等的式子；表示同类型（相同单位）的“两个比之间”的关系。因此，比值相等的两个比才能组成比例，且比例必须以等式的形式呈现。例如：<math>\frac{y}{x} = \frac{b}{a}</math> 或 <math>y:x = b:a</math> 才能称作比例，而 <math>\frac{y}{x}</math> 或 <math>y:x</math> 只能称作比。

比值（ratio value，ratio）强调比的数值，是由比的关系所导引出的前项除以后项的数值（即“商”）；在某些语境下，比值也称占比（proportion，share）、比例、比率。比值按字面的原义，是两者的倍数关系，进而引申为一个数或变量除以另一个数或变量的商值。由于比的数学的定义是数或同类量相除，所以所得之商——比值——无单位。

组成比例的四个数，称为比例的项；等式最两端的两项称为外项，等式中央的两项称为内项。与比不同的是：比由两个数组成；比例由四个数组成。

若两个变量的关系符合：其中一个量等于另一个量乘以一个常数 <math>k</math>（<math>y=kx</math>，<math>k</math> 称为 比例常数 或 比例系数），或等价地表达为：两变数的比值为一个定值（此定值或商，称为 比（ratio），但比的定义不限于定值），则称两者是“成比例的”，或称两者“成正比”。

若几对变量共享相同的直接比例常数，则表示这些比值相等的方程称为比例式（proportion）或等比关系。例如：b/a = y/x = ⋯ = k 。比例性（proportionality）则与线性关系（linearity）密切相关。

定义

若存在一常数 <math>k</math>，使：<math>y = kx</math>，（<math>y</math> 是因变量，<math>x</math> 是自变量，<math>k</math> 是常数，且 <math>k</math><math>\neq</math><math>0</math>），

则称变量 <math>y</math> 与变量 <math>x</math> 成比例（有时也称为“成正比”）。当 <math>x</math> 和 <math>y</math> 成正比关系时，当<math>x</math> 变为原来 <math>k</math> 倍时，<math>y</math> 也会变为原来的 <math>k</math> 倍；此时 <math>x, y</math> 两个变量成线性函数关系或正比例函数关系。这种函数是一次函数 <math>y=kx+b</math> 取 <math>b = 0</math> 的特殊情况；该关系通常用数学符号 <math>\propto</math>（正比号）表示为：<math>y \propto x</math>，并称该常数 <math>k</math> （<math>= \frac{y}{x}</math>） 为 比例常数 或 比例系数 或 比例关系中的常数。

在日常生活中，正比这个词的使用并不严格局限于线性函数，一般来说，一个变量随着另一个变量的增大而增大（或因一个变量的减小而减小），近似地满足线性关系时，我们就可以说这两个变量成正比。

符号和术语

数<math>A</math>和<math>B</math>的“比”可以表示为：

• <math>A</math>与<math>B</math>之比
• <math>A</math>比<math>B</math>
• <math>A : B</math>
• <math>A</math>除以<math>B</math>商的分数形式（有理数）
• <math>\frac{A}{B}</math>

当“两组比”相等时，表达<math>A : B</math>与<math>C : D</math>相等的形式为<math>A : B = C : D</math>或<math>A : B :: C : D</math>；口头或书面的表达形式也可以为“<math>A</math>比<math>B</math>等于<math>C</math>比<math>D</math>”。而<math>A, B, C, D</math>有特定的名称：<math>A, D</math>称为比例的外项，<math>B, C</math>称为比例的内项。

等比关系

两个比例之间也可以互相比较，若两个比例相等（即其比值相同），则称这个相等关系为等比关系。

例如，<math>y:x=u:o</math>是等比关系，则：<math>xu=yo</math>。

需要注意的是：如果第二项等于第三项，例如：<math>y:x=x:z</math><math>(x,z\neq0)</math>，则：<math>x^2 = yz \rightarrow x = \sqrt{yz}</math>，或<math>x =- \sqrt{yz}</math>，<math>x</math>称为<math>y</math>与<math>z</math>的几何平均数（geometric mean）。

通约性

如果<math>y</math>与<math>x</math>是可通约的（或称“可通分的”），那么它们之间存在一个公约数（common measure），用<math>m \; (m \in \mathbb{R})</math>表示。使：<math>y = mp, x = mq \; (p, q \in \mathbb{Z})</math>。

此时，<math>y:x</math>就相等于<math>p,q</math>的比，即：<math>y:x = mp:mq = p:q</math>，

那么，<math>y:x</math>就称为可通约比（commensurable ratio）（或称“可通分比”），<math>\frac{p}{q}</math>称为分数，其比值称为有理数；反之，若不存在公约数，<math>y:x</math>就称为不可通约比（incommensurable ratio）（或称“不可通分比”），其比值称为无理数，即“无法表示为分数的数。”

用法与历史

现代数学对于比例的用法并没有严格限制，例如，在一个班级里面，我们可以说：“男孩与女孩的比例是2比1”。然而，在古希腊数学中，由于比例是用来表示倍数关系，所以必须是相同种类的数量才能构成比例，例如，欧几里得在《几何原本》第五册中如此定义比例：

λόγος ἐστὶ δύο μεγεθῶν ὁμογενῶν ἡ κατὰ πηλικότητά ποια σχέσις.

A ratio is a sort of relation in respect of size between two magnitudes of the same kind.

比例是两个同类数量之间的大小关系。

阿基米德使用这个定义来叙述均匀运动（uniform motion）的等比关系

在一个均匀运动中，两段距离的比例相等于它们所需时间的比例。

阿基米德所要描述的，就是匀速运动，但是古希腊数学并不接受距离与时间的比例 （亦即速率），因为它们是不一样的数量，所以他没有办法直接说：“均匀运动就是每一点上的速率皆相等”。当采用古希腊的比例论来叙述时，必须取两段距离<math>L_1</math>与<math>L_2</math>以及所需时间<math>T_1</math>与<math>T_2</math>，均匀运动（匀速运动）就是<math>L_1 : L_2 = T_1 : T_2</math>。

举例

• 假设某人以匀速运动，则其运动的距离是和运动的时间成正比的，所以速度就是当中的比例常数。
• 圆的周长与其直径成正比，当中的比例常数就是π。
• 在按比例尺绘制的地图上，地图上任意两点间的距离是和该两点所代表的实际地点之间的距离成比例的，当中的比例常数即是绘制该地图所使用的比例尺系数。
• 物理学中，地球的重力对在海平面上的某物体的作用力的数值与该物体的质量成正比，当中的比例常数是地球的重力加速度。

性质

因为： <math>y = kx</math> ，等同于 <math>x = \frac{y}{k} ,(k\neq0)</math>；因此可推出，若 <math>y</math> 与 <math>x</math> 之间存在正比关系，则 <math>x</math> 与 <math>y</math> 之间也存在正比关系。<math>y</math> 与 <math>x</math> 的正比关系也可以被解读为一条在二维直角坐标系穿过原点的直线，其斜率为比例常数<math>k</math>。

比例关系中，位于两端的两数（外项）之积等于位于中间的两数（内项）之积。即：<math>\frac{a}{b} = \frac{c}{d} \iff ad = bc</math>

反比关系

File:Rectangular hyperbola.svg

<math>y=\frac{1}{x}</math>的函数图像

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

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

反比例关系的概念基本上说明的是这样一种关系，即：当一个变量的值变大时，另一变量的值相应变小，且两者之积总是保持为一常数（即比例常数）。举例来说：运动中的车辆走完一段路程所花费的时间是和这辆车运动的速度成反比的；在地上挖个坑所花的时间也（大致地）和雇来挖坑的人数成反比的。

在笛卡尔坐标平面上，两个具有反比例关系的变量的图形是一对双曲线，该图线上的每一点的 X 和 Y 坐标值之积总是等于比例常数<math>k</math>。由于<math>k</math>非零，所以图线不会与坐标轴相交。

指数比例和对数比例

若变量<math>y</math>与变量<math>x</math>的指数函数成正比，即：若存在非零常数<math>k</math>，使：<math>y = k a^x</math>，则称<math>y</math>与<math>x</math>成指数比例。

类似地，若变量<math>y</math>与变量<math>x</math>的对数函数成正比，即：若存在非零常数<math>k</math>，使：<math>y = k \log_a{x}</math>，则称<math>y</math>与<math>x</math>成对数比例。

确定比例关系的实验方法

用实验方法确定两个物理量是否具有正比关系，可采用这样的办法：

即进行多次测量，并在笛卡尔坐标系中将这些测量结果用多个点来表示，以此绘制出这些点的分布图形；

如果所有点完全（或接近）地落在一条穿过原点<math>(0, 0)</math>的直线上，则这两个变量（很有可能）具有比例常数等于该直线斜率的正比关系。

扩展阅读

• "Ratio" The Penny Cyclopædia vol. 19 （页面存档备份，存于互联网档案馆）, The Society for the Diffusion of Useful Knowledge (1841) Charles Knight and Co., London pp. 307ff
• "Proportion" New International Encyclopedia, Vol. 19 2nd ed. (1916) Dodd Mead & Co. pp270-271 （页面存档备份，存于互联网档案馆）
• "Ratio and Proportion" Fundamentals of practical mathematics, George Wentworth, David Eugene Smith, Herbert Druery Harper (1922) Ginn and Co. pp. 55ff （页面存档备份，存于互联网档案馆）
• The thirteen books of Euclid's Elements, vol 2. trans. Sir Thomas Little Heath (1908). Cambridge Univ. Press. : 112ff [2013-05-14]. （原始内容存档于2020-08-03）. 
• D.E. Smith, History of Mathematics, vol 2 Dover (1958) pp. 477ff
• Development of Multiplicative Reasoning in the Learning of Mathematics, p.189, Ratio vs. Rate （页面存档备份，存于互联网档案馆）

外部链接

• Khan Academy: Ratios and rational expressions, free online micro lectures （页面存档备份，存于互联网档案馆）（英文）

参见

• 比率
• 相似性
• 比例字体
• 相关性
• 三数法则
• 比例论