2014年4月18日 (金) 03:46時点における版編集 211.5.111.121 (会話) 編集の要約なし ← 古い編集		2014年12月27日 (土) 20:23時点における版編集取り消し Glayhours (会話 \| 投稿記録) 拡張承認された利用者 6,274 回編集 m編集の要約なし新しい編集 →
1行目: [[File:Subtraction01.svg\|right\|thumb\|~~180px~~240px\|"5~~ ~~ 個あるりんごから 2 個を取り除くと 3 個のりんごが残る。{{math\|5 −~~ ~~ 2 {{=}} 3"}}.]] '''減法'''（げんぽう、{{lang-en-short\|''subtraction''}}) ）は、一方から一部として他方を取り去る~~（'''引く'''）~~ことにより両者の間の差異分を求める[[二項演算]]で、[[算術]]のにおける[[四則演算~~\|四則~~]]~~と呼ばれるもの~~の 1 つ。計算することの側面を強調して'''引き算'''（ひきざん）、'''減算'''（げんさん、げんざん）などとも言う。~~しばしば~~また、引き算を行うことを「（{{mvar\|a}} から）{{mvar\|b}} を引く」{{en\|({{mvar\|b}} is subtracted from {{mvar\|a}})}} と表現する。引く数を'''減数'''（げんすう、{{lang-en-short\|subtrahend}}）と呼び引かれる数を'''被減数'''（ひげんすう、{{lang-en-short\|minuend}}）と呼ぶ。また、減~~法の演~~算の結果は'''差'''（さ、{{lang-en-short\|''difference''}}) ）と呼ばれる。抽象[[代数学]]において減法は多くの場合、加法の[[逆演算]]として定式化されて加法に統合される。たとえば[[自然数]]の間の減法は、[[整数]]への[[数]]の拡張により、数を引くことと負の数を加えることとが同一視されて、減法は加法の一部となる。またこのとき、常に大きいものから小さいものを減算することしかできない自然数の体系に対して、整数という体系では減算が自由に行えるようになる（整数の全体は、逆演算として減法を内包した加法に関して[[アーベル群]]になる）。 == 定義 == 二つの数 {{math\|''a'', ''b''}} の[[加法]]と呼ばれる演算 "+" に対して、数 ''{{mvar\|c''}} が : {{math\|''a'' + ''b'' {{=}} ''c''}} という関係を満足するとき、[[演算子]] "−" を導入して : {{math\|''b'' {{=}} ''c'' − ''a''}} あるいは {{math\|''a'' {{=}} ''c'' − ''b''}} と記し、''{{mvar\|c''}} '''から''' ''{{mvar\|a''}} '''を引いた差'''は ''{{mvar\|b''}} であるとか ''、{{mvar\|b''}} と ''{{mvar\|c''}} の差は ''{{mvar\|a''}} であるなどという。例えば、{{math\|2 + 3 {{=}} 5}} であるので : {{math\|5 − 3 {{=}} 2, 5 − 2 {{=}} 3}} のような計算が成立する。数 {{mvar\|a}} に対して以下の関係を満たす数 {{mvar\|b}} を、加法に関する {{mvar\|a}} の[[逆元]]という。 : {{math\|''a'' + ''b'' {{=}} 0.}} この逆元を特別に {{math\|−''a''}} と表すと、これは以下の関係を常に満たす。 : {{math\|''a'' + (− ''ba'') {{=}} 0.}}▼ 一方で、 : {{math\|''a'' − ''ba'' {{=}} ~~''a'' + (−''b'')~~0}}▼ という関係が成り立つから、ある数 {{mvar\|c}} から {{mvar\|a}} を引く演算は、 :~~''cf''.~~ {{math\|''ac'' − ''ba'' ~~≠~~{{=}} ''bc'' + (− ''a'',) + (''a'' − ''ba'') ~~−~~{{=}} ''c'' ~~≠ ''a'' −~~+ (~~''b''~~ − ''ca'')}}▼ と置き換えることができる。つまり、減法は減数の逆元の加法として扱うことができる。ただしこのような計算が可能なのは {{mvar\|a}} の加法の逆元 {{math\|−''a''}} が定まる限りにおいてであり、実際に[[自然数]]の範囲では（0 を除いて）そのような数は存在しない。 == 性質 == 基本的な性質は[[加法]]の性質による。任意の 2 数の間の減算は、 :{{math\|''a'' − ''b'' {{=}} ''a'' + (−''b'')}} と減数 {{mvar\|b}} の加法の[[逆元]] {{math\|−''b''}} を用いた加算に置き換えられる。従って、減数が {{math\|0}} の減算はそのまま被減数を与え、被減数が {{math\|0}} の減算は減数の加法の逆元を与える。 :{{math\|''a'' − 0 {{=}} ''a'',}} :{{math\|0 − ''a'' {{=}} (−''a'').}} また、以下のような入れ替えは可能であり、 :{{math\|(''a'' − ''b'') − ''c'' {{=}} (''a'' − ''c'') − ''b''}} 複数の減算は 1 つにまとすめることができる。▼ :{{math\|(''a'' − ''b'') − ''c'' {{=}} ''a'' − (''b'' + ''c'').}} しかしながら、被減数と減数を入れ替えるような操作は許されない。 :{{math\|''a'' − ''b'' ≠ ''b'' − ''a'', (''a'' ≠ ''b''),}} : {{math\|(''a'' − ''b'') ~~= ''a'' + (~~− ''bc'') ~~= (~~&~~minus~~ne;~~''b'') + ''a'',~~ ''a'' − (''b'' − ''c~~'' = {''a'' + (−''b~~'')~~} +~~, (~~−~~''c'') ~~= ''a'' + {(~~&~~minus~~ne;~~''b'')~~ ~~+ (−''c''~~0).}}▼ つまり減法については[[交換法則]]、[[結合法則]]が成り立たない。結合に関する規約として、左側の演算を優先する。従って、 :{{math\|''a'' − ''b'' − ''c''}} は通常、▼ :{{math\|(''a'' − ''b'') − ''c''}} の意味で用いられる。減法を加法で置き換えることで加法の交換法則や結合法則を利用することは可能であり、以下の関係が成り立つ。 :{{math\|''a'' − ''b'' {{=}} (−''b'') − (−''a''),}} :{{math\|(''a'' − ''b'') − ''c'' {{=}} ''a'' − (''b'' − (−''c'')).}} == 正負の数の計算方法 == 2 数 {{math\|''a'', ''b''}} が以下の条件の場合、{{math\|''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> !\| {{math\|{{mabs\|''a''}} > {{mabs\|''b''}}}} !\| {{math\|{{mabs\|''a''}} < {{mabs\|''b''}}}} !\| {{math\|{{mabs\|''a''}} {{=}} {{mabs\|''b''}}}} \|- !\| {{math\|''a'' ≥ 0, ''b'' ≥ 0}} \|\| {{math\|{{mabs\|''a''~~-''b''~~}} − {{mabs\|~~\|-(~~''b''~~-''a'')\|\|0~~}}}} \|\| {{math\|−({{mabs\|''b''}} − {{mabs\|''a''}})}} \|\| {{math\|0}} \|- !\| {{math\|''a'' < 0, ''b'' < 0}} \|\| -{{math\|−(-{{mabs\|''a''~~)-(-''b'')~~}} − {{mabs\|~~\|(-~~''b''}})~~-(-''a'')\|\|0~~}} \|\| {{math\|{{mabs\|''b''}} − {{mabs\|''a''}}}} \|\| {{math\|0}} \|- !\| {{math\|''a'' ≥ 0, ''b'' < 0}} \| colspan="3"\| {{math\|{{mabs\|''a''}} +(- {{mabs\|''b'')}}}} \|- !\| {{math\|''a'' < 0, ''b'' ≥ 0}} \| colspan="3"\| -{{math\|−(-{{mabs\|''a'')}} + {{mabs\|''b''}})}} \|} ; 2 数の符号が~~異なる~~同じ場合 * {{mvar\|a}} の絶対値 {{math\|{{mabs\|''a''}}}} が {{mvar\|b}} の絶対値 {{math\|{{mabs\|''b''}}}} より大きい場合 {{math\|({{mabs\|''a''}} > {{mabs\|''b''}})}} * ''a'' が正の数（''b'' が負の数）のとき {{math\|''a'', ''b''}} ともに正の数なら {{math\|(''a'' > 0, ''b'' > 0)}} ''a'' の絶対値と ''b'' の絶対値を足し、正の符号をつける。▼ ▲*** ~~''b''~~{{mvar\|a}} の絶対値から {{math\|{{mabs\|''a''}}}} から {{mvar\|b}} の絶対値 {{math\|{{mabs\|''b''}}}} を引き、正の符号 + をつける。 * ''a'' が負の数（''b'' が正の数）のとき {{math\|''a'', ''b''}} ともに負の数なら {{math\|(''a'' < 0, ''b'' < 0)}} ''a'' の絶対値と ''b'' の絶対値を足し、負の符号をつける。▼ ▲*** ~~''b''~~{{mvar\|a}} の絶対値から {{math\|{{mabs\|''a''}}}} から {{mvar\|b}} の絶対値 {{math\|{{mabs\|''b''}}}} を引き、負の符号 − をつける。 * {{mvar\|a}} の絶対値 {{math\|{{mabs\|''a''}}}} が {{mvar\|b}} の絶対値 {{math\|{{mabs\|''b''}}}} より小さい場合 {{math\|({{mabs\|''a''}} < {{mabs\|''b''}})}} {{math\|''a'', ''b''}} ともに正の数なら {{math\|(''a'' > 0, ''b'' > 0)}} ▲* ~~''a''~~{{mvar\|b}} の絶対値から {{math\|{{mabs\|''b''}}}} から {{mvar\|a}} の絶対値 {{math\|{{mabs\|''a''}}}} を引き、負の符号 − をつける。 {{math\|''a'', ''b''}} ともに負の数なら {{math\|(''a'' < 0, ''b'' < 0)}} ▲* ~~''a''~~{{mvar\|b}} の絶対値から {{math\|{{mabs\|''b''}}}} から {{mvar\|a}} の絶対値 {{math\|{{mabs\|''a''}}}} を引き、正の符号 + をつける。 ▲* {{math\|''a'' ~~の絶対値が~~, ''b''}} の絶対値~~より大き~~が等しい場合 ▲** 差は {{math\|0}} である。 ▲; 2 数の符号が同じ異なる場合 ~~この結果から、減法~~ * {{mvar\|a}} が正の数で {{mvar\|b}} が負の数なら {{math\|(''a'' > 0, ''b'' < 0)}} ▲:''a'' − ''b'' ▲** {{mvar\|a}} の絶対値 {{math\|{{mabs\|''a''}}}} と {{mvar\|b}} の絶対値と {{math\|{{mabs\|''b''}}}} ~~の絶対値~~を足し、正の符号 + をつける。 ▲は、 * {{mvar\|a}} が負の数で {{mvar\|b}} が正の数なら {{math\|(''a'' < 0, ''b'' > 0)}} ~~''a'' と、''b'' と絶対値が等しく符号が異なる数である −''b'' との加法と捉えなおすことができる。すなわち、~~ ▲** {{mvar\|a}} の絶対値 {{math\|{{mabs\|''a''}}}} と {{mvar\|b}} の絶対値と {{math\|{{mabs\|''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'')} ▲とすることができる。 == 関連項目 ==

「減法」の版間の差分