九去法

九去法（英: Casting out nines）は、整数の四則演算の検算の一種である。入力と出力の数字根を求めることで、その計算が正しいかどうかを確認する補助となる。非常に単純な方法なので、その数学的意味を理解できなくても活用可能である。

概要

九去法という名称は、検算過程で 9 を無視することを意味している。ある数値の各桁の数字を足し合わせるが、9 および合計が 9 になる数字は無視して加算しない。各数値について1桁の数字を求め、本来の計算と同じ計算（加法なら足し算）をその数字について行う（この場合も 9 を無視した数字根を求める）。入力となる各数値についてこのようにして求められた数字と出力について求めた数字が一致すれば、計算が正しいことになる。

この方法は電卓なしでもできるほど単純であるが、問題がないわけではない。九去法は整数以外では使えず、分数や小数や指数には使えない。また、もともとの計算結果が全くのでたらめであった場合に、九去法では偶然正しいと判定される可能性がある。また、九去法の過程で計算間違いをする可能性も当然ながら存在する。

電卓やコンピュータの普及により、九去法は最近ではあまり使われなくなった。また、特に日本ではそろばんが古くから普及していたため、九去法のような検算方法はあまり一般に知られていない。

例

言葉で説明しても分かりにくいので、以下では加法、減法、乗法、除法のそれぞれについて九去法を使った例を示す。

加法

${\mathit {3}}2{\mathit {6}}4\,$	$\Rightarrow$	${\mathit {6}}\,$*	まず、足して 9 になる数字（イタリック体で示す）を除く。
${\mathit {8415}}\,$	$\Rightarrow$	$0\,$†	残った数字を足し合わせ、最終的に一桁の数字になるまでそれを繰り返す。
$2{\mathit {9}}46\,$	$\Rightarrow$	${\mathit {3}}\,$‡	こうして得られた値を excess と呼ぶ。
${\underline {+{\mathit {3}}20{\mathit {6}}}}$	$\Rightarrow$	$2\,$**	得られた excess 群に同じ作業をして、最終的に1つの数字を得る。
${\mathit {1}}7{\mathit {8}}31\,$		${\bigg \Downarrow }$	総和結果についても同じことを行い、一桁の数字を得る。
$\Downarrow$
${2}\,$††	$\Leftrightarrow$	$2\,$	総和の excess と足される数値群の最終的な excess は等しくなければならない。

^*2 + 4 = 6

^†数字が残らないため

^‡2 + 4 + 6 = 12; 1 + 2 = 3

^**2 + 0 = 2

^††7 + 3 + 1 = 11; 1 + 1 = 2

減法

${\mathit {5643}}\,$	$\Rightarrow$	$0(9)\,$	まず、9 そのものと、足して 9 になる数字（イタリック体）を減数と被減数から除く。
${\underline {-2{\mathit {891}}}}\,$	$\Rightarrow$	$-2\,$	残った数字を足し合わせ、最終的に1つの数字を得る。
${\mathit {2}}7{\mathit {52}}\,$		${\bigg \Downarrow }$	減算結果にも同じことを行い、1つの数字を得る。
$\Downarrow$			ゼロから 2 を引くと負になるので、9 を借りてきて計算する。
${7}\,$	$\Leftrightarrow$	$7\,$	被減数と減数の excess の差は減算結果の excess と等しくなければならない。

乗法

${\mathit {5}}{\mathit {4}}8\,$	$\Rightarrow$	$8\,$	各乗数の数値から 9 そのものと、足して 9 になる数字（イタリック体）を除く。
${\underline {\times 62{\mathit {9}}}}\,$	$\Rightarrow$	$8\,$	残った数字を足し合わせ、最終的に1つの数字を得る。
${{\mathit {3}}44{\mathit {69}}2}\,$		${\bigg \Downarrow }$	2つの excess をかけて、結果に同様の操作を行って1つの数字を得る。
$\Downarrow$			同じように積からも excess を求める。
${1}\,$	$\Leftrightarrow$	$1\,$*	積の excess と 乗数の excess から得られた数字は等しくなければならない。

^*8 × 8 = 64; 6 + 4 = 10; 1 + 0 = 1

除法

$8\times$	$4+\,$	$3\,$	$\Longrightarrow$	$8\,$	法数、商、余りのそれぞれについて、9 と足して 9 になる数を除く。
${\bigg \Uparrow }$	$\Uparrow$	$\Uparrow$			残った数字を足し合わせて1つの数字を得る。
	$877\,$	$r.84\,$			法数と商の excess をかけて、余りの excess をそれに加算する。
$314\,$	${\overline {){\mathit {2754}}62}}\,$	$\Longrightarrow$		$8\,$	同様に被除数からも excess を求める。
					（9 と 9 になる数字はイタリック体で表す）
					被除数の excess は他の数値の excess から求められる数字と等しくなければならない。

何故うまくいくのか

九去法は合同式の性質を利用した検算方法である。9 を法とする計算において、x と x'（および y と y'）が合同であれば、x + y と x' + y' も合同であり、x − y と x' − y' も合同であり、x × y と x' × y' も合同となる。

整数の計算式に限れば、次が成り立つ。すなわち整数を構成する十進記数法の各数字の総和と元の数値は 9 を法として合同である。このため、数字を足し合わせた結果についても、さらに数字を足し合わせていき、最終的に一桁の数字を得たとき、その数字は元の数値と 9 を法として合同である。また、この際に 9 を除いても結果は変わらない（9 は 9 を法としたとき 0 となるため）。

簡単に要約すると、計算結果が正しければ9で割った余りも必ず一致するので、それを確かめているのである。

計算式が正しければ、両辺は等しく、両辺に上記の操作を施した結果も等しくなる。しかし、9分の1の確率で元の数値が違っていても 9 を法とした値が同じになる場合もある。 計算結果が誤っていても正しい値と誤った値の差がちょうど９の倍数であれば9で割った余りが一致してしまうからである。

分数は表現が一意に定まらないため、九去法を適用できない。

歴史

3世紀のローマの僧 Hippolytos は九去法を知っていた。その後12世紀のインドの数学者らも九去法を使っていた。

外部リンク

• "Paranormal Numbers" by Paul Niquette