除法のソースを表示

{{Redirect|除|輪中地帯における堤防より低い土手|輪中#除}}
[[Image:Divide20by4.svg|right|thumb|200px|20 個のりんごを 4 つに等分配したとき、それぞれのグループにはりんごが 5 個ある。{{math|20÷4{{=}}5}}]]
'''除法'''（じょほう、{{lang-en-short|''division''}}）とは、[[乗法]]の[[逆演算]]であり[[四則演算]]のひとつに数えられる[[二項演算]]の一種である。'''除算'''（じょさん、じょざん）、'''割り算'''（わりざん）とも呼ばれる。

除法は '''÷'''（日本で一般的） や '''/'''（世界的に優勢）、'''：'''（ドイツ・フランス）、及び'''⟌'''（[[筆算]]の場合）などといった[[除算記号|記号]]を使って表される（[[#記号について]]も参照）。除算する2つの数のうち一方の項を'''被除数''' (ひじょすう、{{lang-en-short|''dividend''}}) と呼び、他方を'''除数''' ({{lang-en-short|''divisor''}}) と呼ぶ。[[有理数]]の除法について、その演算結果は被除数と除数の[[比]]を与え、[[分数]]を用いて表せられる。このとき被除数は'''分子''' ({{lang-en-short|''numerator''}})、除数は'''分母''' ({{lang-en-short|''denominator''}}) に対応する。被除数と除数は、被除数の右側に除数を置いて以下のように表される。
: ''被除数'' ÷ ''除数''

除算は'''商''' ({{lang-en-short|''quotient''}}) と'''剰余''' ({{lang-en-short|''remainder''}}) の2つの数を与え、商と除数の積に剰余を足したものは元の被除数に等しい。
: ''商'' &times; ''除数'' + ''剰余'' {{=}} ''被除数''
剰余は'''余り'''とも呼ばれ、除算によって「'''割り切れない'''」部分を表す。剰余が0である場合、「'''被除数は除数を割り切れる'''」と表現され、このとき商と除数の積は被除数に等しい。剰余を具体的に決定する方法にはいくつかあるが、[[自然数]]の除法については、剰余は除数より小さくなるように取られる。たとえば、{{math|13}} を {{math|4}} で割った余りは {{math|1}}、商は{{math|3}}となる。これらの商および剰余を求める最も原始的な方法は、引けるだけ[[減法|引き算]]を行うことである。つまり{{math|13}}を{{math|4}}で割る例では、{{math|13}}から{{math|4}}を1回ずつ引いていき（{{math|'''13''' &minus; 4 {{=}} 9, 9 &minus; 4 {{=}} 5, 5 &minus; 4 {{=}} '''1''' &lt; '''4'''}}）、引かれる数が{{math|4}}より小さくなるまで引き算を行ったら、その結果を剰余、引き算した回数を商とする。これは自然数の乗法を[[加法|足し算]]によって行うことと逆の関係にある。

剰余を与える演算に % などの記号を用いる場合がある。
: ''剰余'' {{=}} ''被除数'' % ''除数''

除数が{{math|0}}である場合、除数と商の積は必ず{{math|0}}になるため商を一意に定めることができない。従って{{math|0}}を除数とする除法の商は未定義となる（[[ゼロ除算]]を参照）。

有理数やそれを拡張した[[実数]]、[[複素数]]における除法では、整数や自然数の除法と違って剰余は使われず、
: ''商'' &times; ''除数'' {{=}} ''被除数''
という関係が除数が0の場合を除き常に成り立つ。この関係は次のようにも表される。
: ''被除数'' ÷ ''除数'' {{=}} ''商''

実数などにおける定義から離れると、除法は乗法を持つ[[代数的構造]]について「'''乗法の逆元を掛けること'''」として一般化できる。一般の乗法は[[交換法則]]が必ずしも成り立たないため、除法も左右2通り考えられる。

== 記号について ==

{{main|除算記号}}

日本では[[除算記号]]として「÷」が広く用いられるが、日本以外で「÷」が広く用いられている国は[[アメリカ]]、[[イギリス]]、[[韓国]]、[[中国]]、[[タイ王国|タイ]]など限られた国しかない。世界的には除算記号としては「／（[[スラッシュ (記号)|スラッシュ]]）」が優勢であり、[[コンピュータープログラミング]]においても[[半角]]の「/」を用いるのが一般的である。他には[[ドイツ]]や[[フランス]]では除算記号として「：（[[コロン (記号)|コロン]]）」が使用されている<ref>[https://www.esquire.com/jp/culture/column/a33212284/diamond-online-the-origin-of-the-calculation-symbols-2020-0709/ 意外と知らない、計算記号「＋」「－」「×」「÷」の由来]</ref>。また一般に除算の[[筆算]]では「÷」や「／」等を使うのではなく、記号「⟌」を用いてその右下に被除数、左に除数を書く形で書き表し、その上で商を「⟌」の上に書いて乗算と減算の組み合わせにより計算する（長除法。詳細は[[筆算#筆算による除算]]を参照）。また[[素因数分解]]や[[進法]]変換など連続して除算を行う場合などには、その「⟌」を上下反転させたような記号を使い、その右上に被除数、左に除数、下に商を書く形で書き表すことがある（短除法）。

== 整数の除法 ==
{{Calculation results}}
整数 {{mvar|m}} と {{mvar|n}} に対して、
:{{math|1=''m'' = ''qn''}} 
を満たす整数 {{mvar|q}} が唯一つ定まるとき、{{math|1=''m'' ÷ ''n'' = ''q''}} によって除算を定める。{{mvar|m}} は'''被除数'''（ひじょすう、{{lang-en-short|''dividend''}}）あるいは'''実'''（じつ）と呼ばれ、{{mvar|n}} は'''除数'''（じょすう、{{lang-en-short|''divisor''}}）あるいは'''法'''（ほう、{{lang-en-short|''modulus''}}）と呼ばれる。また {{mvar|q}} は {{mvar|m}} を {{mvar|n}} で割った'''商'''（しょう、{{lang-en-short|''quotient''}}）と呼ばれる。商 {{mvar|q}} は他に「{{mvar|m}} の {{mvar|n}} を法とする商」「法 {{mvar|n}} に関する商 ({{lang-en-short|quotient modulo {{mvar|n}}}})」 などとも言う。
またこのとき、{{mvar|m}} は {{mvar|n}} で'''整除'''（せいじょ）される、'''割り切れる'''（わりきれる、{{lang-en-short|''divisible''}}）あるいは {{mvar|n}} は {{mvar|m}} を整除する、割り切るなどと表現される。このことはしばしば[[ユークリッドの補題#定式化|記号的に]] {{math|''n'' &mid; ''m''}} と書き表される。
除数 {{mvar|n}} が {{math|0}} である場合を考えると、除数 {{mvar|0}} と任意の整数 {{mvar|q}} の積は {{math|0}} となり、被除数 {{mvar|m}} が {{math|0}} なら任意の整数 {{mvar|q}} が方程式を満たすため、商は一意に定まらない。同様に被除数 {{mvar|m}} が {{math|0}} 以外の場合にはどのような整数 {{mvar|q}} も方程式を満たさないため、商は定まらない。

整数の範囲では上述のような整数 {{mvar|q}} が定まる保証はなく、たとえば被除数 {{mvar|m}} が {{math|7}} の場合を考えると除数 {{mvar|n}} が {{math|1, 7, &minus;1, &minus;7}} のいずれかでない限り商 {{mvar|q}} は整数の範囲で定まらない。整数の範囲で商が必ず定まるようにするには、'''剰余'''（じょうよ、{{lang-en-short|''remainder'', ''residue''}}）を導入して除法を拡張する必要がある。つまり、方程式
:{{math|1=''m'' = ''qn'' + ''r''}}
を満たすような {{math|''q'', ''r''}} をそれぞれ商と剰余として与える。このような方程式を満たす整数 {{math|''q'', ''r''}} は複数存在するが（たとえばある {{math|''q'', ''r''}} に対して {{math|''q'' &minus; 1}} と {{math|''n'' + ''r''}} の組は同様に上記の方程式を満たす）、剰余 {{mvar|r}} の取り得る値に制限を与えて一意に商 {{mvar|q}} と剰余 {{mvar|r}} の組を定めることができる。よく用いられる方法は剰余 {{mvar|r}} を除数 {{mvar|n}} より[[絶対値]]が小さな[[正の数と負の数|非負の数]]と定めることである。このような除法は[[ユークリッド除法]]と呼ばれる。
:{{math|1=''m'' = ''qn'' + ''r''}} かつ{{math|0 &le; ''r'' &lt; {{mabs|''n''}}}}
これは、感覚的には被除数から除数を引けるだけ引いた残りを剰余と定めているということである。こうして定められる剰余はしばしば「{{mvar|m}} の {{mvar|n}} を法とする剰余」「{{mvar|m}} の法 {{mvar|n}} に関する剰余 ({{lang-en-short|residue modulo "{{mvar|n}}"}}) 」などと言い表される。
剰余{{mvar|r}}が{{math|0}}でないことはしばしば「{{mvar|m}}は{{mvar|n}}で'''割り切れない'''」と表され、[[ユークリッドの補題#定式化|記号的に]] {{math|''n'' &mid;&#x0338; ''m''}} と表される。
ユークリッド除法による計算例は以下の通りである。以下では除数を {{math|4, &minus;4}}, 被除数を {{math|22, &minus;22}} としている。
*{{math|0 &le; ''r'' &lt; {{mabs|''n''}}}}
:{{math|1=22 = 5 &times; 4 + 2}}：商 {{math|5}}, 剰余 {{math|2}}
:{{math|22 {{=}} (&minus;5) &times; (&minus;4) + 2}}：商 {{math|&minus;5}}, 剰余 {{math|2}}
:{{math|1=&minus;22 = (&minus;6) &times; 4 + 2}}：商 {{math|&minus;6}}, 剰余 {{math|2}}
:{{math|1=&minus;22 = 6 &times; (&minus;4) + 2}}：商 {{math|6}}, 剰余 {{math|2}}

「割り切れない」という用語はしばしば「小数点以下が無限に続く」の意で不適切に用いられることがあるが、「割り切れない」からといってそうであるとは限らない（たとえば上記の例では、「22は4で割り切れない」が、その有理数除算における商は「5.5」であり小数第一位までで表すことが出来る）。
=== 絶対的最小剰余 ===
他の剰余に対する制限方法として、剰余の絶対値が最小となるよう商を定める方法がある。この方法では、
:{{math|&minus;{{sfrac|{{mabs|''n''}}|2}} &lt; ''r'' &le; {{sfrac|{{mabs|''n''}}|2}}}} 
あるいは
:{{math|&minus;{{sfrac|{{mabs|''n''}}|2}} &le; ''r'' &lt; {{sfrac|{{mabs|''n''}}|2}}}} 
の範囲に剰余 {{mvar|r}} が含まれる。この場合、ユークリッド除法と違い {{mvar|r}} は負の値を取り得る。このように定められる剰余を'''絶対的最小剰余''' ('''絶対値最小剰余'''とも。{{lang-en-short|least absolute remainder, absolutely least residue, minimal residue}}) と呼ぶ。
絶対的最小剰余を用いる場合の計算例は以下の通りである。以下では除数を {{math|4, &minus;4}}, 被除数を {{math|22, &minus;22}} としている。
*{{math|&minus;{{sfrac|{{mabs|''n''}}|2}} &lt; ''r'' &le; {{sfrac|{{mabs|''n''}}|2}}}}
:{{math|22 {{=}} 5 &times; 4 + 2}}：商 {{math|5}}, 剰余 {{math|2}}
:{{math|22 {{=}} (&minus;5) &times; (&minus;4) + 2}}：商 {{math|&minus;5}}, 剰余 {{math|2}} 
:{{math|&minus;22 {{=}} (&minus;6) &times; 4 + 2}}：商 {{math|&minus;6}}, 剰余 {{math|2}}
:{{math|&minus;22 {{=}} 6 &times; (&minus;4) + 2}}：商 {{math|6}}, 剰余 {{math|2}}
*{{math|&minus;{{sfrac|{{mabs|''n''}}|2}} &le; ''r'' &lt; {{sfrac|{{mabs|''n''}}|2}}}}
:{{math|22 {{=}} 6 &times; 4 &minus; 2}}：商 {{math|6}}, 剰余 {{math|&minus;2}}
:{{math|22 {{=}} (&minus;6) &times; (&minus;4) &minus; 2}}：商 {{math|&minus;6}}, 剰余 {{math|&minus;2}}
:{{math|&minus;22 {{=}} (&minus;5) &times; 4 &minus; 2}}：商 {{math|&minus;5}}, 剰余 {{math|&minus;2}}
:{{math|&minus;22 {{=}} 5 &times; (&minus;4) &minus; 2}}：商 {{math|5}}, 剰余 {{math|&minus;2}}

いずれの方法であっても、除数 {{mvar|n}} が{{math|0}}の場合、剰余 {{mvar|r}} は{{math|0}}でなければならず、被除数 {{mvar|m}} がどんな数であっても商{{mvar|q}}を一意に定めることはできない。
'''絶対的最小剰余'''とユークリッド除法によって定められる'''最小非負剰余'''、あるいは別の方法のいずれを用いるかは自由であり、与えられる剰余がそのいずれかであるかは予め決められた規約に従う。この規約は、計算する対象や[[計算機]]の機種、あるいは[[プログラミング言語]]により、まちまちである。簡単な分析とサーベイが {{en|"Division and Modulus for Computer Scientists"}} という文献にまとめられている<ref>{{Harvnb|Leijen|2003}}</ref>。

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

任意の被除数 {{mvar|a}} の {{math|0}} でない除数 {{mvar|b}} による除算は、有理数 {{mvar|c}} をただ一つ与える。
:<math>a \div b = c</math>
この有理数 {{mvar|c}} は
:<math>c \times b = b \times c = a</math>
を満たす。また、除算は、除数の逆数の乗算に置き換えることができる。
:<math>a \div b = a \times \frac{1}{b}</math>
したがって、除算および乗算の順序は入れ替えることができる。
:<math>\begin{align}
(a \div b) \times c 
&= \left(a \times \frac{1}{b}\right) \times c 
= (a \times c) \times \frac{1}{b} 
= (a \times c) \div b, \\
(a \div b) \div c 
&= \left(a \times \frac{1}{b}\right) \times \frac{1}{c} 
= \left(a \times \frac{1}{c}\right) \times \frac{1}{b} 
= (a \div c) \div b
\end{align}</math>
また、2つの除算は乗算を用いてまとめることができる。
:<math>(a \div b) \div c = a \div (b \times c)</math>
しかし、除数と被除数とを入れ替えることは'''できない'''。
:<math>a \div b \ne b \div a</math>
:<math>(a \div b) \div c \ne a \div (b \div c)</math>
2番目の例のように括弧の位置を変えると計算結果が変わってしまうので、
:<math>a \div b \div c</math>
と書かれた場合には特別な解釈を与える必要がある。一般的には左側の演算が優先され、次式の右辺の意味に解釈される。
:<math>a \div b \div c = (a \div b) \div c</math>

有理数の除算について、除数を被除数に対して[[分配法則|分配]]することができる。
:<math>(a + b) \div c = a \div c + b \div c</math>
ただし、被除数を除数に対して分配することは'''できない'''。
:<math>a \div (b + c) \ne a \div b + a \div c</math>

有理数の除算の結果は、[[分数]]を用いて表すことができる。
:<math>a \div b = \frac{a}{b}</math>
ある有理数に対応する分数の表し方は無数に存在する。たとえば {{math|0}} でない有理数 {{mvar|c}} を用いて、
:<math>a \div b = \frac{ac}{bc} = \frac{\frac{a}{c}}{\frac{b}{c}}</math>
と表してもよい。
また、有理数は分母と分子がともに整数である分数を用いて表すことができる。2つの有理数 {{math|''a'', ''b''}} をそれぞれ整数 {{math|''p'', ''q'', ''r'', ''s''}} を用いて分数表記する。
:<math>a=\frac{p}{q},\quad b=\frac{r}{s}</math>
すると、それらの除算は次のように計算することができる。
:<math>\frac{p}{q} \div \frac{r}{s} = \frac{p}{q} \times \frac{s}{r} = \frac{p \times s}{q \times r} = \frac{ps}{qr}</math>
この表示から明らかなように、有理数を有理数で割った商はまた有理数である。次のように計算してもよい。
:<math>\frac{p}{q} \div \frac{r}{s} = \frac{p \div r}{q \div s} = \frac{\frac{p}{r}}{\frac{q}{s}}</math>

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

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

== 複素数の除法 ==
[[#実数の除法|実数の除法]]を用いれば[[複素数]]の除法が、被除数が {{math|0}} の場合を除いた任意の 2 つの複素数について定義できる。
2 つの複素数 {{math|''z'', ''w''}} について、{{mvar|w}} の[[複素共役|共役複素数]] {{math|{{overline|''w''}}}} を用いれば、複素数の除法 {{math|''z''/''w''}} は次のように計算できる（ただし除数 {{mvar|w}} は {{math|0}} でないとする）。
:<math>\frac{z}{w} = \frac{z}{w}\frac{\overline{w}}{\overline{w}} = \frac{z\overline{w}}{\left|w\right|^2}.</math>

また、複素数 {{math|''z'', ''w''}} の実部と虚部を 4 つの実数 {{math|Re&thinsp;''z'', Im&thinsp;''z'', Re&thinsp;''w'', Im&thinsp;''w''}} を用いて {{math|''z'' {{=}} Re&thinsp;''z'' + ''i''&thinsp;Im&thinsp;''z'', ''w'' {{=}} Re&thinsp;''w'' + ''i''&thinsp;Im&thinsp;''w''}} と表せば、複素数の除法 {{math|''z''/''w''}} は次のように表せる。
:<math>\frac{z}{w} 
= \frac{\operatorname{Re}z + i\operatorname{Im}z}{\operatorname{Re}w + i\operatorname{Im}w} 
= \frac{\operatorname{Re}z\operatorname{Re}w + \operatorname{Im}z\operatorname{Im}w}{(\operatorname{Re}w)^2 + (\operatorname{Im}w)^2} 
+ i\,\frac{\operatorname{Re}z\operatorname{Im}w - \operatorname{Im}z\operatorname{Re}w}{(\operatorname{Re}w)^2 + (\operatorname{Im}w)^2}
.</math>

[[極形式]]では
: <math>\frac{z}{w}=\frac{|z|e^{i\arg z}}{|w|e^{i\arg w}}=\frac{|z|}{|w|}e^{i(\arg z-\arg w)}</math>
と書ける。やはり {{math|{{mabs|''w''}} {{=}} 0}} つまり {{math|''w'' {{=}} 0}} のところでは定義できない。

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

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

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

== 日本の算術における除法 ==

[[珠算における除法]]では、古くは江戸時代から昭和戦前まで「二一天作五」（10÷2＝5に相当し、[[そろばん]]の操作法は割られる桁の1を5に変えて商とする）に代表される[[割り算九九]]（割り声・九帰法・八算・見一）を用いた帰除法が用いられてきたが、昭和戦後からは掛け算九九を逆に使う商除法が標準的となっている。

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

== 脚注 ==
{{脚注ヘルプ}}
{{reflist|2}}

== 参考文献 ==
*{{Cite web|和書|author=鳴海風|authorlink=鳴海風|date=2007-03-31|url=http://mathsoc.jp/publication/tushin/1202/narumi.pdf|format=PDF|title=小説になる江戸時代の数学者|publisher=日本数学会|accessdate=2016-11-13|ref={{Harvid|鳴海|2007}}}}
*{{Cite web|author=Daan Leijen|date=2003-06-01|url=https://www.microsoft.com/en-us/research/publication/division-and-modulus-for-computer-scientists/|format=PDF|title=Division and Modulus for Computer Scientists|publisher=Microsoft|language=en|accessdate=2013-11-13|ref={{Harvid|Leijen|2003}}}}

== 関連文献 ==
*{{Cite book|和書|author=足立恒雄|authorlink=足立恒雄|date=2002-01-20|title=数　体系と歴史|publisher=朝倉書店|isbn=978-4-254-11088-3|url=http://www.asakura.co.jp/books/isbn/978-4-254-11088-3/|ref={{Harvid|足立|2002}}}}
*{{Cite book|和書|author=彌永昌吉|authorlink=彌永昌吉|date=1972-03-25|title=数の体系|volume=上|series=岩波新書(青版) 815|publisher=岩波書店|isbn=978-4-00-416001-4|url=http://www.iwanami.co.jp/.BOOKS/41/4/4160010.html|ref={{Harvid|彌永|1972}}}}
*{{Cite book|和書|author=彌永昌吉|date=1978-04-20|title=数の体系|volume=下|series=岩波新書(黄版) 43|publisher=岩波書店|isbn=978-4-00-420043-7|url=http://www.iwanami.co.jp/.BOOKS/42/1/4200430.html|ref={{Harvid|彌永|1978}}}}
*{{Cite book|和書|author=島内剛一|authorlink=島内剛一|origdate=1971-03-30|date=2008-12|title=数学の基礎|series=日評数学選書|publisher=日本評論社|isbn=978-4-535-60106-2|url=https://www.nippyo.co.jp/shop/book/4132.html|ref={{Harvid|島内|2008}}}} - 1971年3月に「日評数学選書」の1冊として刊行された旧著を、2008年12月に復刊。
*{{Cite book|和書|author=高木貞治|authorlink=高木貞治|others=[[高瀬正仁]] 解説|origdate=1904-06-28|date=2008-05-20|title=新式算術講義|series=ちくま学芸文庫 タ27-1 Math & Science|publisher=筑摩書房|isbn=978-4-480-09146-8|url=http://www.chikumashobo.co.jp/product/9784480091468/|ref={{Harvid|高木|2008}}}} - 1904年（明治37年）に博文館から発行された旧著の復刊。
*{{Cite book|和書|author=高木貞治|origdate=1949-08-20|date=1970|title=数の概念|edition=改版|publisher=岩波書店|isbn=978-4-00-005153-8|url=http://www.iwanami.co.jp/.BOOKS/00/9/0051530.html|ref={{Harvid|高木|1970}}}}
*{{Cite book|和書|author=エトムント・ランダウ|authorlink=エトムント・ランダウ|others=[[蟹江幸博]]|date=2014-01-30|title=数の体系　解析の基礎|series=数学クラシックス 28|publisher=丸善出版|isbn=978-4-621-08713-8|url=https://pub.maruzen.co.jp/book_magazine/book_data/search/9784621087138.html|ref={{Harvid|ランダウ|2014}}}}

== 関連項目 ==
<!--項目の50音順-->
{{Div col}}
*[[演算 (数学)|算法]]
*[[除法の原理]]
*[[素数]]
*[[体論]]
*[[ユークリッド整域]]
*[[ユークリッドの補題]]
{{Div col end}}

== 外部リンク ==
*{{MathWorld|title=Divide|urlname=Divide}}
*{{MathWorld|title=Division|urlname=Division}}
*{{MathWorld|title=Division by Zero|urlname=DivisionbyZero}}
*{{MathWorld|title=Minimal Residue|urlname=MinimalResidue}}
{{二項演算}}

{{Normdaten}}
{{DEFAULTSORT:しよほう}}
[[Category:除法|*]]
[[Category:環論]]
[[Category:算術]]
[[Category:合同算術]]
[[Category:初等数学]]
[[Category:数学に関する記事]]