比例
比例（ひれい、英: proportionality）とは、変数を用いて書かれる二つの量に対し一方が他方の定数倍であるような関係の事である。
目次
1 定義
2 性質
3 xの関数との比例
4 比例関係の例
5 固有の名前がついている比例係数
6 関連項目
定義
変数 x と y が 0 でない定数 k を用いて
- y=k×x{displaystyle y=ktimes x}
と書かれるとき、 y は x に比例する、y は x に正比例（せいひれい、directly proportional）するという。
このときの係数
- k=yx{displaystyle k={frac {y}{x}}}
を比例定数(proportionality constant) という。
特に比例定数 k の具体的な値に言及する必要の無いときなどは
- y∝x{displaystyle yvarpropto x}
と、比例記号 ∝（U+221D, Proportional to, IME変換は「ひれい」）を用いて書くこともある。
y が x に比例しているときに x を y に関する式で表せば
- x=1ky{displaystyle x={frac {1}{k}},,y}
となる。つまり y が x に比例するとき同時に x は y に比例し、その比例係数は y の x に対する比例係数の逆数である。このため、一方の変数が他方の変数に対して比例するというような言い方ではなく、 y と x は比例関係にあるなどということもある。
比例関係は同値関係の一つである。実数や複素数のように結合的な可除代数においては、比例による同値関係は 0以外の元を全て一つの類に分類してしまうが、(次元が 2以上の)線形空間に対しては幾何学が展開されるような豊かな構造をもつ同値類集合を形作る（射影空間と呼ぶ）。
性質
x と y が正比例し、比例係数は k とする。
x と y の比（商）は一定である。（定義）
x が a 倍になれば、y も a 倍になる。（必要十分条件）- 正比例という関係は一次関数の特殊な場合である。特に直交座標を取ってグラフにすれば、そのグラフは原点を通過する直線を描く。
xとyの相互相関関数は、比例係数の符号（|k|{displaystyle |k|}）に等しい。
x が a 増えれば、y は ka 増える。
x:y=1:kとなる。
xの関数との比例
y が x の逆数に比例する、つまり
- y=k×1x{displaystyle y=ktimes {frac {1}{x}}}
とき、y は x に反比例するという。このとき同時に、 x は y に反比例するともいえる。
y が x の自乗に比例する、つまり
- y=k×x2{displaystyle y=ktimes x^{2}}
とき、y は x に自乗比例するという。
y が x の指数関数に比例する、つまり
- y=k×ax{displaystyle y=ktimes a^{x}}
とき、y は x に指数比例する、x は y に対数比例するという。ただし逆に、y は x に対数比例する、x は y に指数比例するということもある。
比例関係の例
- 長方形の面積は、縦の長さを一定にしたとき、横の長さに比例する。
等速直線運動では、速さが一定であるとき、移動距離は経過時間に比例する。
固定抵抗器を流れる電流は、電圧に比例する。（オームの法則より）
圧力が一定であるとき、気体の体積は温度（絶対温度）に比例する。（シャルルの法則）- 物体が全てエネルギーに変換される時、そのエネルギーは物体の質量に比例する。（相対性理論より）
固有の名前がついている比例係数
力学の係数
- 摩擦係数
反発係数（はねかえり係数）
ばね係数（弾性係数）
物性物理学の係数
熱伝導率、電気伝導率（電気伝導参照）など多数存在
原子物理学の係数
- 崩壊定数
- 吸収係数
- その他
- リスク係数
など
関連項目
- 反比例
- 一次関数
線形代数、線形性、線形写像
- 微分係数
