actions

減法

ファイル:Subtraction01.svg
5 個あるりんごから 2 個を取り除くと 3 個のりんごが残る。5 − 2 = 3.

減法(げんぽう、: subtraction)は、一方から一部として他方を取り去ることにより両者の間の差分を求める二項演算で、算術における四則演算の 1 つ。計算することの側面を強調して引き算(ひきざん)、減算(げんさん、げんざん)などとも言う。また、引き算を行うことを「(a から)b を引く」(b is subtracted from a) と表現する。引く数を減数(げんすう、: subtrahend)と呼び引かれる数を被減数(ひげんすう、: minuend)と呼ぶ。また、減算の結果は(さ、: difference)と呼ばれる。

抽象代数学において減法は多くの場合、加法の逆演算として定式化されて加法に統合される。たとえば自然数の間の減法は、整数へのの拡張により、数を引くことと負の数を加えることとが同一視されて、減法は加法の一部となる。またこのとき、常に大きいものから小さいものを減算することしかできない自然数の体系に対して、整数という体系では減算が自由に行えるようになる(整数の全体は、逆演算として減法を内包した加法に関してアーベル群になる)。

定義

テンプレート:Calculation results 二つの数 a, b加法と呼ばれる演算 + に対して、数 c

a + b = c

という関係を満足するとき、演算子 を導入して

b = ca

と記し、c から a を引いた数b であるという。この数 bcaと呼ばれる[1]

例えば、2 + 3 = 5 であるので

5 − 3 = 2, 5 − 2 = 3

のような計算が成立する。

a に対して以下の関係を満たす数 b を、加法に関する a逆元 (additive inverse)、あるいは反数 (opposite) という。

a + b = 0.

この逆元を特別に a と表すと、これは以下の関係を常に満たす。

a + (−a) = 0.

一方で、

aa = 0

という関係が成り立つから、ある数 c から a を引く演算は、

ca = c + (−a) + aa = c + (−a)

と置き換えることができる。つまり、減法は減数の逆元の加法として扱うことができる。 ただしこのような計算が可能なのは a の加法の逆元 a が定まる限りにおいてであり、実際に自然数の範囲では(0 を除いて)そのような数は存在しない。

性質

基本的な性質は加法の性質による。任意の 2 数の間の減算は、

ab = a + (−b)

と減数 b の加法の逆元 b を用いた加算に置き換えられる。 従って、減数が 0 の減算はそのまま被減数を与え、被減数が 0 の減算は減数の加法の逆元を与える。

a − 0 = a,
0 − a = (−a).

また、以下のような入れ替えは可能であり、

(ab) − c = (ac) − b

複数の減算は 1 つにまとめることができる。

(ab) − c = a − (b + c).

しかし、被減数と減数を入れ替えるような操作は許されない。

abba, (ab),
(ab) − ca − (bc), (c ≠ 0).

つまり減法については交換法則結合法則が成り立たない。結合に関する規約として、左側の演算を優先する。従って、

abc

は通常、

(ab) − c

の意味で用いられる。 減法を加法で置き換えることで加法の交換法則や結合法則を利用することは可能であり、以下の関係が成り立つ。

ab = (−b) − (−a),
(ab) − c = a − (b − (−c)).

正負の数の計算方法

2 数 a, b が以下の条件の場合、ab は次のように計算する。

符号 テンプレート:Mabs > テンプレート:Mabs テンプレート:Mabs < テンプレート:Mabs テンプレート:Mabs = テンプレート:Mabs
a ≥ 0, b ≥ 0 テンプレート:Mabsテンプレート:Mabs −(テンプレート:Mabsテンプレート:Mabs) 0
a < 0, b < 0 −(テンプレート:Mabsテンプレート:Mabs) テンプレート:Mabsテンプレート:Mabs 0
a ≥ 0, b < 0 テンプレート:Mabs + テンプレート:Mabs
a < 0, b ≥ 0 −(テンプレート:Mabs + テンプレート:Mabs)
2 数の符号が同じ場合
2 数の符号が異なる場合

出典

  1. 高木 2008, 第二章 四則算法 (一)減法の意義.

参考文献

  • 高木, 貞治 『新式算術講義』 筑摩書房〈ちくま学芸文庫〉、2008-5-10(原著1904-6-30)。ISBN 978-480-09146-8。

関連項目

テンプレート:二項演算