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

出典:wikipedia