除法のソースを表示

[[Image:Divide20by4.svg|right|thumb|200px|<math>20 \div 4=5</math>]]
'''除法''' (じょほう、'''除算'''、'''割り算'''とも、 {{lang-en-short|''division''}}) とは、[[四則演算]]（加・減・乗・除）のひとつで、[[乗法]]の逆演算である。

[[二項演算]]で、日本では[[除算記号]]として「'''÷'''」を使う。左項の数を「'''被除数''' ({{lang-en-short|''dividend''}}) または「'''分子''' ({{lang-en-short|''numerator''}})」、右項の数を「'''除数''' ({{lang-en-short|''divisor''}}) 」または「'''分母''' ({{lang-en-short|''denominator''}})」と言う。演算の結果を「'''商''' ({{lang-en-short|''quotient''}})」と言い、整数の除法のように「'''割り切れない'''」場合の余りを「'''剰余''' ({{lang-en-short|''remainder''}})」と言う。与えられた被除数と除数から商と剰余を計算することを'''割り算'''、'''除算'''といい、計算法を指して'''除法'''という。

数値以外にも一般化すると、除法は、乗法を持つ[[代数的構造]]について「'''逆元を掛けること'''」として考えることができる。数値以外では一般には乗法が[[交換法則|可換]]であるとは限らないため、除法も左右 2 通り考えられる。

== 整数の除法 ==
整数 ''m'' と ''n'' に対して、''m'' = ''qn'' を満たす整数 ''q'' が唯一つ定まるとき、''m'' ÷ ''n'' = ''q'', ''q'' = ''{{sfrac|m|n}}'' などと表して、''m'' は ''n'' で'''整除'''（せいじょ）される、'''割り切れる'''（わりきれる、{{lang-en-short|''divisible''}}）あるいは ''n'' は ''m'' を整除する、割り切るなどと言う。

またこのとき、''m'' を'''被除数'''（ひじょすう、 ({{lang-en-short|''dividend''}}) あるいは'''実'''（じつ）といい、''n'' を'''除数''' ({{lang-en-short|''divisor''}}) あるいは単に'''法''' (ほう、{{lang-en-short|''modulus''}})といい、''q'' を'''商''' (しょう、{{lang-en-short|''quotient''}}) と呼ぶ。またこれらを併せて ''m'' を ''n'' で割った'''商'''は ''q'' である、''m'' の ''n'' を法とする商、あるいは法 ''n'' に関する商 ({{lang-en-short|''"quotient" modulo "n"}}) などとも言う。

''m'' が ''n'' で割り切れない場合にも、'''剰余''' (じょうよ、 {{lang-en-short|''remainder'', ''residue''}}; 余り）の概念を導入して除法を（[[0]] で割ることを除いて）整数全体での演算に拡張することができる。具体的には、整数 ''m'' を ''n'' で割ったとき、整商が ''q'' で剰余が ''r'' であることを
:''m'' = ''qn'' + ''r'' かつ 0 ≤ ''r'' < ''n''
が満たされることであると定義する。これは、感覚的には被除数から除数を引けるだけ引いた残りを剰余と定めているということである。「''r'' は ''m'' の ''n'' を法とする（法 ''n'' に関する）剰余 ({{lang-en-short|''residue modulo "n"''}}) である」などのように法を明示することもある。

このような整数 ''q'', ''r'' は、''m'', ''n'' によって唯一組にきまる（[[除法の原理]]）。また、この等式が成り立つことを除算記号 ÷ と記号 … を用いて
:''m'' ÷ ''n'' = ''q'' … ''r''
と表す。<!--この記法は日本の方言?--> 

また、 ''m'' = ''qn'' + ''r'' だが 0 ≤ ''r'' < ''n'' とは限らない ''r'' も'''剰余'''と呼ぶことがあり、 ''r'' が正の場合はこれを'''正剰余'''と呼び、負の場合は'''負剰余'''と呼ぶ。剰余としては 0 ≤ ''r'' &lt; ''n'' を満たす ''r'' とする'''最小非負剰余'''を用いるのが一般的であり、通常、''余り''とは最小非負剰余のことである。 ''m'' = ''qn'' + ''r'' が &minus;{{sfrac|''n''|2}} ≤ ''r'' < {{sfrac|''n''|2}} を満たす ''r'' は'''絶対値最小剰余'''と呼ぶ。

しかし、何の計算かにもよるが、剰余としてこれらのどれを採るかは選択の余地があり、[[計算機]]や[[コンピュータ]]の機種により、あるいは[[プログラミング言語]]やその処理系により、実際のところまちまちである。簡単な分析とサーベイが "Division and Modulus for Computer Scientists" という文献にまとまっている<ref>[http://research.microsoft.com/pubs/151917/divmodnote.pdf Division and Modulus for Computer Scientists]（PDF、2013年11月13日閲覧）</ref>。

== 有理数の除法 ==
上では考えている数（自然数もしくは整数）の範囲内で商を取り直し剰余を定義することにより、除法をその数の範囲全体で定義することができることを述べた。しかしよく知られているように、数の範囲を[[有理数]]まで拡張し、商のとり方に有理数を許すことにより、剰余の概念は取り除かれ、有理数の全体で四則演算が自由に行えるようになる。ただし、0 で割ることは常に許されない。

整数 ''m'' と ''n'' について ''m'' が ''n'' で整除されない場合にも、''m'' の ''n'' を法とした商を ''m''/''n'' などと記して用いる（[[分数|分数表記]]）。分数表記を用いた有理数の表示は一意的ではない。

:<math>\frac{p}{q}\div\frac{r}{s} = \frac{p \times s}{q \times r}.</math>

このような意味で四則演算が自由に行える集合の抽象化として[[体 (数学)|体]]の概念が現れる。すなわち、有理数の全体が作る集合 '''Q''' は体である。

== 実数の除法 ==
[[実数]]は有理数の[[極限]]として表され、それによって有理数の演算から実数の演算が矛盾なく定義される。すなわち、任意の実数 ''x'', ''y'' (''y'' ≠ 0) に対し ''x''<sub>''n''</sub> → ''x'', ''y''<sub>''n''</sub> → ''y'' (''n'' → ∞) を満たす[[数列|有理数の列]] {''x''<sub>''n''</sub>}<sub>''n''∈'''N'''</sub>, {''y''<sub>''n''</sub>}<sub>''n''∈'''N'''</sub> （例えば、''x'', ''y'' の小数表示を第 ''n'' 桁までで打ち切ったものを ''x''<sub>''n''</sub>, ''y''<sub>''n''</sub> とするような数列）が与えられたとき
:<math>x/y := \lim_{n\to\infty}x_n/y_n</math>
と定めると、この値は極限値が ''x'', ''y'' である限りにおいて数列のとり方によらずに一定の値をとる。これを実数の商として定めるのである。

== 複素数の除法 ==
実数の除法を用いれば[[複素数]]の除法が、任意の複素数 ''a'' + ''ib'', ''c'' + ''id'' （ただし ''c'' と ''d'' は同時には 0 にならない）に対して
:<math>\frac{a+ib}{c+id}:=
 \frac{ac+bd}{c^2+d^2} + i\,\frac{bc-ad}{c^2+d^2}
</math>
として定義できる。極形式では
: <math>\frac{z}{w}=\frac{|z|e^{\text{arg}\,z}}{|w|e^{\text{arg}\,w}}:=\frac{|z|}{|w|}e^{\text{arg}\,z-\text{arg}\,w}</math>
と書ける。やはり |''w''| = 0 つまり ''w'' = 0 のところでは定義できない。

== 0で割ること ==
:{{main|ゼロ除算}}
代数的には、除法は乗法の逆の演算として定義される。つまり ''a'' を ''b'' で割るという除法は
:<math>a \div b = x \iff a = b \times x</math>
を満たす唯一つの ''x'' を与える演算でなければならない。ここで、唯一つというのは簡約律
:<math>bx = by \Rightarrow x=y</math>
が成立するということを意味する。この簡約律が成立しないということは、''bx'' = ''by'' という条件だけからは ''x'' = ''y'' という情報を得たことにはならないということであり、そのような条件下で強いて除法を定義したとしても益が無いのである。

実数の乗法において、簡約が不能な一つの特徴的な例として ''b'' = 0 である場合、つまり「0 で割る」という操作を挙げることができる。実際、''b'' = 0 であるとき ''a'' = ''bx'' によって除法 ''a'' ÷ ''b'' を定めようとすると、もちろん ''a'' = 0 である場合に限られるが、いかなる ''x'', ''y'' についても 0''x'' = 0 = 0''y'' が成立してしまって ''x'' の値は定まらない。無論、''a'' ≠ 0 ならば ''a'' = 0''x'' なる ''x'' は存在せず ''a'' ÷ ''b'' は定義不能である。つまり、実数のもつ代数的な構造と 0 による除算は両立しない。

== ユークリッド除法と除算アルゴリズム ==
{{see|[[除法の原理|ユークリッド除法]]|[[除算 (デジタル)|除算アルゴリズム]]}}

== 等分除と包含除 ==
{{独自研究 | date=2013年11月}}
{{未検証|date=2013年11月}}
日本において、初等的な教育手法として、（整数の）除法においてその「意味」として'''等分除'''と'''包含除'''の 2 種類に分類し導入をはかる、というものがある。ある量が「基準となる量」の「幾つ分」に除されるかを考えるとき、「基準となる量」を求めるのが等分除、「幾つ分」になるかを求めるのが包含除である。

'''等分除'''と'''包含除'''について東京書籍算数教科書の著者の１人、加藤明（兵庫教育大学大学院教授）は、
{{Quotation|
「2年 かけ算」で述べたように、「3×4」の式の意味は、図のように「3個の集まり」が「4つ分」あること、つまり「同じ数ずつの集まり」が「いくつ分」かあるときに、全体の個数を求める計算がかけ算でした。数学的にはたし算の逆算がひき算であり、かけ算の逆算がわり算です。したがって、、わり算とは、かけ算の式の意味の「同じ数ずつ」と、「いくつ分」を求めるときに使う演算なのです。|加藤明|文溪堂 お母さんの算数ノート p78}}

として、
{{Quotation|
(ア) 12このおはじきを、同じ数ずつ4つに分ける場合（「等分除（とうぶんじょ）」といいます）|加藤明|文溪堂 お母さんの算数ノート p78}}
{{Quotation|
(イ) 12このおはじきを、3こずつ分ける場合（「包含除（ほうがんじょ）」といいます）|加藤明|文溪堂 お母さんの算数ノート p79}}
と述べている{{Sfn|加藤明|2010}}。なお、ここで「式の意味」なる語が出てくるが、『「3×4」の意味は「3個の集まり」が「4つ分」あること』といったような「式の意味」の定義（「立式」といった、やはりその世界のみの用語が使われる）は、日本の一部の初等教育の世界にだけ存在する「定義」である（[[かけ算の順序問題]]）。{{要出典|date=2013年11月}}

== 伝承 ==
割算天下一を名乗った[[毛利重能]]の著書「割算書」によれば、割算の起源は以下のように記されている。
{{Quotation|
夫割算と云は、[[ユダヤ|寿天屋]][[ベツレヘム|辺連]]と云所に[[知恵の樹|智恵万徳を備はれる名木]]有。此木に百味之含霊の菓、一生一切人間の初、[[アダムとイヴ|夫婦二人]]有故、是を其時二に割初より此方、割算と云事有|[[鳴海風]]|小説になる江戸時代の数学者<ref>{{PDFlink|[http://mathsoc.jp/publication/tushin/1202/narumi.pdf 小説になる江戸時代の数学者]}}</ref>}}

== 関連項目 ==
*[[算法]]
*[[ユークリッド整域]]
*[[体論]]

== 注記 ==
<references />

{{二項演算}}

{{DEFAULTSORT:しよほう}}
[[Category:算術]]
[[Category:初等数学]]
[[Category:環論]]
[[Category:数学に関する記事]]