比例

 
比例（ひれい、）とは、変数を用いて書かれる二つの量に対し一方が他方の定数倍であるような関係のことである。
定義.
変数 と が でない定数 を用いて
と書かれるとき、 は に比例する、または正比例（せいひれい、）するという。
このときの係数
を比例定数（） という。
特に比例定数 の具体的な値に言及する必要の無いときなどは
と、比例記号 ∝（U+221D）を用いて書くこともある。
 が に比例しているときに を に関する式で表せば
となる。つまり が に比例するとも が に比例するとも見ることができる。また、後者の比例係数は 前者の比例係数の逆数となる。
比例関係は同値関係の一つである。実数や複素数のように結合的な可除代数においては、比例による同値関係は 0以外の元を全て一つの類に分類してしまうが、（次元が 2以上の）線形空間に対しては幾何学が展開されるような豊かな構造をもつ同値類集合を形作る（射影空間と呼ぶ）。
性質.
以下で、 と が正比例し、比例係数は であるとする。
 が の逆数に比例する、つまり
のとき、 は に反比例するという。このとき同時に、 は に反比例するともいえる。
 が の自乗に比例する、つまり
とき、 は に自乗比例するという。
 が の指数関数に比例する、つまり
とき、 は に指数比例する、 は に対数比例するという。ただし逆に、 は に対数比例する、 は に指数比例するということもある。
固有の名前がついている比例係数.
など