除法の原理
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2024/02/21 14:15 UTC 版)
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。(2012年5月) |
除法の原理に基づき、自然数や整数に対する剰余付き除法(じょうよつきじょほう、英: division with remainder)を定義できる。剰余付き除法はユークリッド除法(ユークリッドじょほう、英: Euclidean division)、整除法(せいじょほう、英: entire division)とも呼ばれる。
剰余付き除法の商と剰余を求めるアルゴリズムが知られている。たとえば長除法は十進記数法(あるいは任意の位取り記数法)で表された整数に対するアルゴリズムである。
整数に対する除法の原理は、初等算術における定理の基盤であり、二整数の最大公約数を求めるユークリッドの互除法のような他の算法や整数の間のある種の合同関係を定める合同算術などに対する重要な要件になっている。
剰余付き除法は多項式などに対しても定義することができる。適当な意味において「被除数と非零除数が与えられたとき商と剰余が存在して剰余は除数よりも小さくできる」という「除法の原理」は、抽象代数学においても余り付き割り算の定義されるもっとも一般の数学的構造としてのユークリッド環に定義要件として明示的に要請される条件である。
- 1 除法の原理とは
- 2 除法の原理の概要
- 3 自然数に対する除法の原理
- 4 多項式に対する除法の原理
- 除法の原理のページへのリンク