比例

曖昧さ回避 この項目では、数学用語について説明しています。選挙制度については「比例代表制」をご覧ください。

比例(ひれい、: proportionality)とは、変数を用いて書かれる二つの量に対し一方が他方の定数倍であるような関係のことである。

定義

変数 xy0 でない定数 a を用いて

y = a x {\displaystyle y=ax}

と書かれるとき、yx比例する、または正比例(せいひれい、directly proportional)するという。

このときの係数

a = y x {\displaystyle a={\frac {y}{x}}}

比例定数proportionality constant) という。

特に比例定数 a の具体的な値に言及する必要の無いときなどは

y x {\displaystyle y\varpropto x}

と、比例記号 ∝(U+221D)を用いて書くこともある。

yx に比例しているときに xy に関する式で表せば

x = 1 a y {\displaystyle x={\frac {1}{a}}\,\,y}

となる。つまり yx に比例するとも xy に比例するとも見ることができる。また、後者の比例係数は 前者の比例係数の逆数となる。

比例関係は同値関係の一つである。実数や複素数のように結合的可除代数においては、比例による同値関係は 0以外の元を全て一つの類に分類してしまうが、(次元が 2以上の)線形空間に対しては幾何学が展開されるような豊かな構造をもつ同値類集合を形作る(射影空間と呼ぶ)。

性質

以下で、xy が正比例し、比例係数は k であるとする。

  • xy)は一定である。(定義)
  • xa 倍になれば、ya 倍になる。(必要十分条件)
  • 正比例という関係は一次関数の特殊な場合である。特に直交座標を取ってグラフにすれば、そのグラフは原点を通過する直線を描く。
    • xy相互相関関数は、比例係数の符号(|k|)に等しい。
    • xa 増えれば、yka 増える。
    • x : y=1 : kとなる。

yx逆数に比例する、つまり

y = k × 1 x {\displaystyle y=k\times {\frac {1}{x}}}

のとき、yx反比例するという。このとき同時に、xy に反比例するともいえる。

yx自乗に比例する、つまり

y = k × x 2 {\displaystyle y=k\times x^{2}}

とき、yx に自乗比例するという。

yx指数関数に比例する、つまり

y = k × a x {\displaystyle y=k\times a^{x}}

とき、yx に指数比例する、xy に対数比例するという。ただし逆に、yx に対数比例する、xy に指数比例するということもある。

比例関係の例

固有の名前がついている比例係数

など

関連項目