此條目介紹的是术语"比例"的精确定义。关于"比"的广义，请见「**比 (消歧義)**」。
  关于相似术语，请见「**比**」、「**率**」和「**比率**」。

y 正比於 x。
在数学上，要定义"比例"，必须先定义"比"。**比**（ratio）是兩個非零數量 y 與 x 之間的比較關係，記為 {\displaystyle y:x\;(x,y\in \mathbb {R} )}，在計算時則常写作：\frac{y}{x} 或 {\displaystyle y/x}。

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

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

若两个變量的关系符合：其中一个量等于另一个量乘以一个常数 k（y=kx，k 稱為 **比例常数** 或 **比例係數**），或等价地表达为：两變數的比值為一個定值（此定值或商，稱為 **比**（ratio），但比的定义不限于定值），则称两者是"成比例的"，或称两者"成正比"。

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

定义
--

若存在一常数 k，使：{\displaystyle y=kx}，（y 是因变量，x 是自变量，k 是常数，且 k{\displaystyle \neq }{\displaystyle 0}），

则称变量 y 与变量 x 成比例（有时也称为"成正比"）。当 x 和 y 成正比关系时，当x 变为原來 k 倍时，y 也会变为原來的 k 倍；此時 x, y 两个变量成**线性函数**关系或**正比例函數**關係。这種函數是一次函数 y=kx+b 取 b=0 的特殊情況；该关系通常用數學符號 \propto （正比号）表示为：y\propto x，并称该常数
k （{\displaystyle ={\frac {y}{x}}}） 为 **比例常數** 或 **比例係數** 或 比例关系中的常数。

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

### 符号和术语

数A和B的"比"可以表示为：

* A与B之比
* A比B
* {\displaystyle A:B}
* A除以B商的分数形式（有理数）
* {\displaystyle {\frac {A}{B}}}

当"两组比"相等时，表达{\displaystyle A:B}与{\displaystyle C:D}相等的形式为{\displaystyle A:B=C:D}或{\displaystyle A:B::C:D}；口头或书面的表达形式也可以为「A比B等于C比D」。而{\displaystyle A,B,C,D}有特定的名称：{\displaystyle A,D}称为比例的**外项**，B,C称为比例的**内项**。

等比关系
----

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

例如，{\displaystyle y:x=u:o}是等比關係，则：{\displaystyle xu=yo}。

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

通約性
---

如果y與x是可通約的（或称"可通分的"），那么它們之間存在一個**公约数**（），用{\displaystyle m\;(m\in \mathbb {R} )}表示。使：{\displaystyle y=mp,x=mq\;(p,q\in \mathbb {Z} )}。

此时，{\displaystyle y:x}就相等於p,q的比，即：{\displaystyle y:x=mp:mq=p:q}，

那麼，{\displaystyle y:x}就稱為**可通約比**（）（或称"**可通分比**"），{\frac {p}{q}}称為分數，其比值称為有理數；反之，若不存在公约数，{\displaystyle y:x}就稱為**不可通約比**（）（或称"**不可通分比**"），其比值稱為無理數，即"無法表示為分數的數。"

用法與歷史
-----

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

> 
> 
> 
> 比例是兩個同類數量之間的大小關係。
> 
> 
> 

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

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

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

举例
--

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

性质
--

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

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

反比关系
----

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

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

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

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

指数比例和对数比例
---------

若变量y与变量x的指数函数成正比，即：若存在非零常数k，使：{\displaystyle y=ka^{x}}，则称y与x成指数比例。

类似地，若变量y与变量x的对数函数成正比，即：若存在非零常数k，使：{\displaystyle y=k\log \_{a}{x}}，则称y与x成对数比例。

确定比例关系的实验方法
-----------

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

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

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

參考文獻
----

1. ↑  趙怡欽.. 國家教育研究院. 2002-12  [2022-03-29]. （原始内容存档于2021-03-29） （中文）.
2. ↑  U+221D（页面存档备份，存于）
3. ↑  比例系数 （页面存档备份，存于）
4. ↑  New International Encyclopedia
5. ↑  Leo Corry.. 2018-08-27  [2016-05-09]. ISBN 9780191007071. （原始内容存档于2021-02-07） （英语）.
6. ↑   歐幾里得.. 希臘. C.E.300  [2022-03-29]. （原始内容存档于2021-03-04） （古希臘語）.  请检查`|date=`中的日期值 (帮助) 引文格式1维护：未识别语文类型 (link)
7. ↑   Eduard Jan Dijksterhuis.. 普林斯頓市: 普林斯頓大學. 2014-07-14  [2022-03-29]. ISBN 9781400858613. （原始内容存档于2021-05-10） （英语）.
8. ↑   D Joyce.  (PDF). 伍斯特: 克拉克大學. 2013  [2022-03-29]. （原始内容 (PDF)存档于2022-03-08） （英语）.

扩展阅读
----

* "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 （页面存档备份，存于）
*. 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 （页面存档备份，存于）（英文）

参见
--

* 比率
* 相似性
* 比例字体
* 相关性
* 三数法则（英语：）
* 比例论

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
几何学术语 |
| --- |
|  |
| 点 | 
* 頂點
* 交點
* 中點
* 角
* 極值點
* 最值點
* 臨界點
* 驻点
* 鞍點

 |
|  |
| 直线和曲线 | 
* 线段
* 射线
* 直线
* 切线
* （主）法线
* 副法線
* 曲线
* 圆锥曲线
* 双曲线
* 抛物线
* 正弦曲線
* 蚌线
* 蜗线
* 螺线（阿基米德螺线、等角螺线……）
* 摆线（最速降線問題）
* 悬链线
* 曳物线
* 漸開線
* 渐屈线
* 渐近线
* 测地线
* 邊
* 周界
* 弦
* 弧
* 垂直平分線
* 代數曲線
* 椭圆曲线
* 超橢圓
* 星形线
* 三尖瓣线
* 方圓形
* 勒洛三角形

 |
|  |
| 平面圖形 | 
* 圆（广义圆）
* 椭圆
* 扇形
* 弓形
* 环形
* 多边形
* 三角形
* 四邊形
* 五边形
* 六边形
* 多边形
* 正多边形
* 梯形
* 平行四边形
* 菱形
* 矩形
* 正方形
* 鷂形
* 卵形线
* 梭形
* 星形
* 五角星
* 六角星

 |
|  |
| 立體圖形 | 
* 多面体
* 正多面體
* 四面體
* 長方體
* 立方體
* 平行六面体
* 棱柱
* 反棱柱
* 棱锥
* 棱台
* 圆柱体
* 圆锥
* 圆台
* 椭球（長球體、扁球體）
* 球體
* 球缺
* 球冠
* 球台
* 準線
* 母線

 |
|  |
| 曲面 | 
* 二次曲面
* 旋轉曲面
* 抛物面
* 雙曲面
* 马鞍面
* 球面
* 橢球面
* 類球面
* 环面
* 莫比乌斯带
* 流形
* 黎曼曲面

 |
|  |
| 高維空間 | 
* 超平面
* 超面
* 超曲面
* 胞
* 多胞形
* 超球體
* 超方形
* 超立方體
* 克莱因瓶
* 四維柱體柱

 |
|  |
| 圖形關係 | 
* 相似
* 全等
* 對稱
* 平行
* 垂直
* 相交
* 相切
* 相離
* 镜像
* 旋转
* 反演
* 截面
* 缩放

 |
|  |
| 三角形關係 | 
* 相似三角形
* 全等三角形

 |
|  |
| 量 | 
* 距离
* 长度
* 周长
* 弧长
* 高度
* 面积
* 表面積
* 体积
* 容積
* 角度
* 曲率
* 撓率
* 離心率
* 凹凸性
* 有向曲面
* 可展曲面
* 直紋曲面

 |
|  |
| 作圖 | 
* 尺
	+ 直尺
	+ 三角尺
* 圆规
* 尺规作图
* 二刻尺作圖

 |
|  |
| 分支 | 
* 平面幾何
* 立体几何
* 三角学
* 解析几何
* 微分几何
* 拓扑学
* 图论
* 摺紙數學
* 欧几里得几何
* 非欧几里得几何（双曲几何、球面幾何……）
* 分形

 |
|  |
| 理論 | 
* 定理
* 公理
* 定义
* 數學證明

 |
|  |
| 
* 分类**分类**
* 主题**主题**
* 共享资源页面**共享资源**
* 专题**专题**

 |

 |