剰余のソースを表示

{{redirectlist|余り|[[会計]]の剰余金|剰余金|一般的な意味|wikt:余り}}
{{Calculation results}}
[[数学]]において'''剰余'''（じょうよ、{{lang-en-short|remainder}}）とは、ある種の計算を実行した後の「あまり」の量を指す。[[算術]]においては、剰余とはある[[整数]]を別の整数で割って（[[除法]]、割り算）[[商 (数学)|商]]を得る際に「あまる」整数のことを指す（[[除法の原理|整数除法]]）。多項[[代数学]]においては、剰余とはある多項式を別の多項式で割った際の「あまり」を指す。[[剰余演算]]は被除数（{{lang|en|dividend}}）と除数（{{lang|en|divisor}}）が与えられた際にそのような乗除を得るような演算である。

他に、ある数から別の数を引いた（[[減法]]、引き算）際に残された数のことも剰余と呼ばれるが、こちらは「差」という言い方がより正確である。この用法はいくつかの初歩的な教科書で見られる。会話では「2[[ドル]]を私に返して、残りはそちらで持っておいてくれ」といったようにしばしば「残り」（{{lang|en|rest}}）という語に置き換えられる<ref>{{harvnb|Smith|1958|loc=p. 97}}</ref>。しかしながら、「剰余」という用語はこの用法であっても、[[函数]]を{{仮リンク|級数展開|en|Series expansion}}する際に「誤差」が[[剰余項]]として使われる。

== 整数除法 ==
{{mvar|a}} を[[整数]]、{{mvar|d}} を0でない整数とすると、式 {{math|1=''a'' = ''qd''&nbsp;+&nbsp;''r''}}（{{math|1=0&nbsp;≤&nbsp;''r''&nbsp;<&nbsp;{{mabs|''d''}}}}）を満たすただ一組の整数 {{mvar|q}} および {{mvar|r}} が存在する。ここで {{mvar|q}} は「[[商 (数学)|商]]」、{{mvar|r}} は「剰余」とそれぞれ呼ばれる。

（この結果の証明は [[:en:Euclidean division]] を参照。どのように剰余を計算するかのアルゴリズムについては[[除算 (デジタル)]]を参照。）

上で定義されたような剰余は「最小正剰余」あるいは単に「剰余」と呼ばれる<ref>{{harvnb|Ore|1988|loc=p. 30}}. ただし剰余が0の（すなわち、正の数でない）場合でも「正剰余」と呼ばれる。</ref>。整数 {{mvar|a}} は {{mvar|d}} の倍数か、（{{mvar|q}} を正として）{{math|''q''⋅''d''}} と {{math|(''q'' + 1)''d''}} の間にある数のどちらかである。

いくつかの場合、{{mvar|a}} ができる限り {{mvar|d}} の整数倍になるようにすると便利である。このとき、いくつかの整数 {{mvar|k}} に対して
:{{math|''a'' {{=}} ''k⋅d'' + ''s''}}（ただし {{math|<nowiki>|</nowiki>''s''<nowiki>|</nowiki> ≤ <nowiki>|</nowiki>''d''/2<nowiki>|</nowiki>}}）
となる。

この場合、{{mvar|s}} は「最小絶対剰余」と呼ばれる<ref>{{harvnb|Ore|1988|loc=p. 32}}</ref>。商および剰余と同様に、{{math|''d'' {{=}} 2''n''}} かつ {{math|''s'' {{=}} ± ''n''}} の場合を除き、{{mvar|k}} と {{mvar|s}} は一意に定まる。例外の場合、
:{{math|''a'' {{=}} ''k⋅d'' + ''n'' {{=}} (''k'' + 1)''d'' − ''n''}}
となる。
固有の剰余はいくつかの条件（例えば {{mvar|s}} は正に限る）などの条件を付け加えた場合に得られる。

== 例 ==
43を5で割る場合、
:{{math|43 {{=}} 8 × 5 + 3}}
となり、3が最小正剰余となる。また
:{{math|43 {{=}} 9 × 5 − 2}}
となるから、−2が最小絶対剰余となる。

これらの定義は {{mvar|d}} が負の場合も有効である。例えば43を−5で割ると
:{{math|43 {{=}} (−8) × (−5) + 3}}
より3が最小正剰余となり、一方
*{{math|43 {{=}} (−9) × (−5) + (−2)}}
より−2が最小絶対剰余となる。

42を5で割ると
:{{math|42 {{=}} 8 × 5 + 2}}
となり、{{math|2 < 5/2}} であるから、2は最小正剰余かつ最小絶対剰余となる。

これらの例において、（負の）最小絶対剰余は最小正剰余から5、すなわち {{mvar|d}} を引くことで得られる。このことは一般に成り立つ。{{mvar|d}} で割った際、両方の剰余は正でそれゆえ等しくなるか、あるいは正負が真逆になる。正剰余を {{math|''r''<sub>1</sub>}} とし、負のものを {{math|''r''<sub>2</sub>}} とすると
:{{math|''r''<sub>1</sub> {{=}} ''r''<sub>2</sub> + ''d''}}
となる。

== 浮動小数点数 ==
{{mvar|a}} および {{mvar|d}} が浮動小数点数で、かつ {{mvar|d}} がゼロでない時、{{mvar|a}} は {{mvar|d}} によって剰余なしで割り切れ、その商は別の浮動小数点数となる。しかしながら、商を整数値に制限するとき、剰余の概念が必要となる。{{math|''a'' {{=}} ''qd'' + ''r''}}（ただし {{math|0 ≤ ''r'' < <nowiki>|</nowiki>''d''<nowiki>|</nowiki>}}）を満たすような唯一つの整数商 {{mvar|q}} および浮動小数点数剰余 {{mvar|r}} が存在することを示せる。

上記のような、剰余の概念を浮動小数点数へ拡張することは数学の理論上重要ではない。しかしながら、多くの[[プログラミング言語]]はこの定義を実装している（[[剰余演算]]を参照）。

== プログラミング言語 ==
{{main|剰余演算}}
定義そのものは困難ではないが、剰余を計算する際に負の数が関わることによる実装の問題が存在する。プログラミング言語ごとに異なる慣習が採用されている。以下に例を示す。
* [[Pascal]] は ''mod'' 演算の結果が正になるよう選び、{{mvar|d}} が負や0になるのを許容していない（それゆえ {{math|''a'' {{=}} (''a div d'' ) × ''d'' + ''a mod d''}} は必ずしも成り立たない）<ref name="iso/iec 7185:1990 6.7.2.2">[http://pascal-central.com/iso7185.html Pascal ISO 7185:1990] 6.7.2.2</ref>。
* [[C99]] は剰余が被除数 {{mvar|a}} と同じ符号になるよう選ぶ<ref>{{cite web |title=C99 specification (ISO/IEC 9899:TC2) |url=http://www.open-std.org/jtc1/sc22/wg14/www/docs/n1124.pdf |access-date=16 August 2018 |location=6.5.5 Multiplicative operators |date=2005-05-06}}</ref>。（C99より前では、C言語は他の選択肢を許容していた）
* [[Perl]] と [[Python]]（{{どれ範囲|date=2024-06|新しい版}}のみ）は剰余が除数 {{mvar|d}} と同じ符号になるよう選ぶ<ref>{{cite web |title=Built-in Functions — Python 3.10.7 documentation |url=https://docs.python.org/3.10/library/functions.html#divmod |access-date=10 September 2022 |date=2022-09-09}}</ref>。
* {{要出典範囲|date=2024-06|[[Scheme]]は2つの関数<!-- プログラミング言語の文脈で「函数」を使うべきではない。 --><code>remainder</code>と<code>modulo</code>を提供している。[[Ada]]と[[PL/I]]は<code>mod</code>と<code>rem</code>を、[[Fortran]]は<code>mod</code>と<code>modulo</code>を持っている。それぞれ、前者が被除数に、後者が除数に符号を合わせる。[[Common Lisp]]と[[Haskell]]も<code>mod</code>と<code>rem</code>を持っているが、<code>mod</code>は除数の符号を使用し、<code>rem</code>は被除数の符号を使用する。}}

== 多項式の除法 ==
{{main|en:Euclidean division of polynominals}}
多項式のユークリッド除法は整数の[[ユークリッド除法]]とよく似ており、多項式剰余が導かれる。その存在は次の定理に基づく。ある体（特に[[実数]]あるいは[[複素数]]）上で定義された一変数多項式 {{math|''a''(''x'')}} および {{math|''b''(''x'')}}（{{math|''b''(''x'')}} は非零多項式）が与えられたとき、
:<math>\deg(r(x)) < \deg(b(x))</math>
であるような式
:<math>a(x) = b(x)q(x) + r(x)</math>
を満たす2つの多項式 {{math|''q''(''x'')}}（商）および {{math|''r''(''x'')}}（剰余）が存在する<ref>{{harvnb|Larson|Hostetler|2007|loc=p. 154}}</ref>。ただし「{{math|deg(...)}}」は多項式の次数を表す（値が常に0となるような定数多項式の次数は負と定義できることから、この次数条件は剰余に関して常に成り立つ）。さらに、それぞれの関係から {{math|''q''(''x'')}} および {{math|''r''(''x'')}} は一意に定まる。

ユークリッドの整数除法との違いとして、次数条件が剰余 {{mvar|r}} の境界（非負かつ除数より小さい、このことによって {{mvar|r}} の一意性が保たれる）に置き換わることがあげられる。整数除法と多項式の除法の類似性から、ユークリッド除法が成立するもっとも一般的な代数学的条件の追求が促されている。このような定理が存在する環を[[ユークリッド環|ユークリッド整域]]と呼ぶが、この一般性では商および剰余の一意性は保証されていない<ref>{{harvnb|Rotman|2006|loc=p. 267}}</ref>。

多項式の除法から[[剰余の定理]]（多項式 {{math|''f''(''x'')}} を {{math|''x'' − ''k''}} で割るとき、その剰余は定数 {{math|''r'' {{=}} ''f''(''k'')}} となる）と呼ばれる結果が導かれる<ref>{{harvnb|Larson|Hostetler|2007|loc=p. 157}}</ref><ref>{{Cite web|last=Weisstein|first=Eric W.|title=Polynomial Remainder Theorem|url=https://mathworld.wolfram.com/PolynomialRemainderTheorem.html|access-date=2020-08-27|website=mathworld.wolfram.com|language=en}}</ref>。特に、{{math|''r'' {{=}} ''f''(''k'') {{=}} 0}}ならば、{{math|''f''(''x'')}}は{{math|''x'' − ''k''}}を因数に持つ（[[因数定理]]）。

== 関連項目 ==
{{div col}}
* [[中国の剰余定理]]
* {{仮リンク|倍数判定法|en|Divisibility rule}}
* {{仮リンク|エジプト式乗法・除法|en|Egyptian multiplication and division}}
* [[ユークリッドの互除法]]
* {{仮リンク|長除法|en|Long division}}
* [[合同算術]]
* {{仮リンク|多項式の長除法|en|Polynomial long division}}
* {{仮リンク|組立除法|en|Synthetic division}}
* {{仮リンク|ルフィニ法|en|Ruffini's rule}}ー組立除法の特殊例
* [[テイラーの定理]]
*[[剰余環]]
*[[剰余群]]、[[巡回群]]
{{div col end}}

== 出典 ==
<References />

== 参考文献 ==
* {{citation|first1=Ron|last1=Larson|first2=Robert|last2=Hostetler|title=Precalculus:A Concise Course|year=2007|publisher=Houghton Mifflin|isbn=978-0-618-62719-6|url-access=registration|url=https://archive.org/details/precalculusconci00lars}}
* {{citation|first=Oystein|last=Ore|year=1988|orig-year=1948|title=Number Theory and Its History|publisher=Dover|isbn=978-0-486-65620-5|url-access=registration|url=https://archive.org/details/numbertheoryitsh0000orey}}
* {{citation|first=Joseph J.|last=Rotman|year=2006|title=A First Course in Abstract Algebra with Applications|edition=3rd|publisher=Prentice-Hall|isbn=978-0-13-186267-8}}
* {{citation|last=Smith|first=David Eugene|title=History of Mathematics, Volume 2|year=1958|orig-year=1925|publisher=Dover|location=New York|isbn=0486204308}}

== 関連図書 ==
* {{cite book |author=Davenport, Harold |title=The higher arithmetic: an introduction to the theory of numbers |publisher=Cambridge University Press |location=Cambridge, UK |year=1999 |page=25 |isbn=0-521-63446-6}}
* {{cite book|editor-last=Katz|editor-first=Victor|title=The mathematics of Egypt, Mesopotamia, China, India, and Islam : a sourcebook|year=2007|publisher=Princeton University Press|location=Princeton|isbn=9780691114859}}
* {{cite encyclopedia|last=Schwartzman|first=Steven|title=remainder (noun)|encyclopedia=The words of mathematics : an etymological dictionary of mathematical terms used in english|year=1994|publisher=Mathematical Association of America|location=Washington|isbn=9780883855119|url-access=registration|url=https://archive.org/details/wordsofmathemati0000schw}}
* {{cite book |author=Zuckerman, Martin M |title=Arithmetic: A Straightforward Approach |publisher=Rowman & Littlefield Publishers, Inc |location=Lanham, Md |isbn=0-912675-07-1}}
{{DEFAULTSORT:しようよ}}
[[Category:除法]]
[[Category:数論]]
[[Category:数学に関する記事]]