2014年4月18日 (金) 03:46に211.5.111.121による

2014-04-18T03:46:03Z

新規ページ

[[File:Subtraction01.svg|right|thumb|180px|"5 − 2 = 3"]]
'''減法'''（げんぽう、{{lang-en-short|''subtraction''}}) は、一方から一部として他方を取り去る（'''引く'''）ことにより両者の間の差異を求める[[二項演算]]で、[[算術]]の[[四則演算|四則]]と呼ばれるものの 1 つ。計算することの側面を強調して'''引き算'''（ひきざん）、'''減算'''（げんさん、げんざん）などとも言う。しばしば、減法の演算結果は'''差'''（さ、{{lang-en-short|''difference''}}) と呼ばれる。

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

== 定義 ==
二つの数 ''a'', ''b'' の[[加法]]と呼ばれる演算 "+" に対して、数 ''c'' が
: ''a'' + ''b'' = ''c''
という関係を満足するとき、[[演算子]] "−" を導入して
: ''b'' = ''c'' − ''a'' あるいは ''a'' = ''c'' − ''b''
と記し、''c'' '''から''' ''a'' '''を引いた差'''は ''b'' であるとか ''b'' と ''c'' の差は ''a'' であるなどという。

例えば、2 + 3 = 5 であるので
: 5 − 3 = 2, 5 − 2 = 3
のような計算が成立する。

== 正負の数の計算方法 ==
2 数 ''a'', ''b'' が以下の条件の場合、''a'' − ''b'' は次のように計算する。
; 2 数の符号が同じ場合
* ''a'' の絶対値が ''b'' の絶対値より大きい場合
** ''a'', ''b'' ともに正の数のとき
*** ''a'' の絶対値から ''b'' の絶対値を引き、正の符号をつける。
** ''a'', ''b'' ともに負の数のとき
*** ''a'' の絶対値から ''b'' の絶対値を引き、負の符号をつける。
* ''a'' の絶対値が ''b'' の絶対値より小さい場合
** ''a'', ''b'' ともに正の数のとき
*** ''b'' の絶対値から ''a'' の絶対値を引き、負の符号をつける。
** ''a'', ''b'' ともに負の数のとき
*** ''b'' の絶対値から ''a'' の絶対値を引き、正の符号をつける。
* ''a'', ''b'' の絶対値が等しい場合
** 差は 0 である。

{| class="wikitable" style="float:right; text-align: center;"
|-
!符号!!<nowiki>|</nowiki>''a''<nowiki>|</nowiki>><nowiki>|</nowiki>''b''<nowiki>|</nowiki>!!<nowiki>|</nowiki>''a''<nowiki>|</nowiki><<nowiki>|</nowiki>''b''<nowiki>|</nowiki>!!<nowiki>|</nowiki>''a''<nowiki>|</nowiki>=<nowiki>|</nowiki>''b''<nowiki>|</nowiki>
|-
!''a''≥0,''b''≥0
|''a''-''b''||-(''b''-''a'')||0
|-
!''a''<0,''b''<0
| -{(-''a'')-(-''b'')}||(-''b'')-(-''a'')||0
|-
!''a''≥0,''b''<0
| colspan="3"| ''a''+(-''b'')
|-
!''a''<0,''b''≥0
| colspan="3"| -{(-''a'')+''b''}
|}

; 2 数の符号が異なる場合
* ''a'' が正の数（''b'' が負の数）のとき
** ''a'' の絶対値と ''b'' の絶対値を足し、正の符号をつける。
* ''a'' が負の数（''b'' が正の数）のとき
** ''a'' の絶対値と ''b'' の絶対値を足し、負の符号をつける。

この結果から、減法
:''a'' − ''b''
は、
''a'' と、''b'' と絶対値が等しく符号が異なる数である −''b'' との加法と捉えなおすことができる。すなわち、
: ''a'' − ''b'' = ''a'' + (−''b'')
である。減法には[[交換法則]]、[[結合法則]]は成り立たない
:''cf''. ''a'' − ''b'' ≠ ''b'' − ''a'', (''a'' − ''b'') − ''c'' ≠ ''a'' − (''b'' − ''c'')
が、加法と捉えなおすことによって、加法の交換法則・結合法則が成り立つ。すなわち、
: ''a'' − ''b'' = ''a'' + (−''b'') = (−''b'') + ''a'', ''a'' − ''b'' − ''c'' = {''a'' + (−''b'')} + (−''c'') = ''a'' + {(−''b'') + (−''c'')}
とすることができる。

== 関連項目 ==
* [[プラス記号とマイナス記号]]
* [[整数]]
* [[差集合]]

{{二項演算}}

{{デフォルトソート:けんほう}}
[[Category:算術]]
[[Category:算数]]
[[Category:初等教育]]
[[Category:数学に関する記事]]

減法 - 版の履歴

2014年4月18日 (金) 03:46に211.5.111.121による