九去法
10 ≡ 1 ( mod 9 ) ⟹ 10 k ≡ 1 ( mod 9 ) for k ≧ 1. { x = a n 10 n + a n − 1 10 n − 1 + ⋯ + a 0 ⟹ x ≡ a n + a n − 1 + ⋯ + a 0 ( mod 9 ) . {\displaystyle 10\equiv 1{\pmod {9}}\implies 10^{k}\equiv 1{\pmod {9}}\ {\textrm {for}}\ k\geqq 1.{\begin{cases}&x=a_{n}10^{n}+a_{n-1}10^{n-1}+\cdots +a_{0}\\\implies &x\equiv a_{n}+a_{n-1}+\cdots +a_{0}{\pmod {9}}.\end{cases}}}
簡単に要約すると、計算結果が正しければ 9 で割った余りも必ず一致するので、それを確かめているのである。
計算式が正しければ、両辺は等しく、両辺に上記の操作を施した結果も等しくなる。しかし、1/9 の確率で元の数値が違っていても 9 を法とした値が同じになる場合もある。 計算結果が誤っていても正しい値と誤った値の差がちょうど 9 の倍数であれば 9 で割った余りが一致してしまうからである。
分数の計算は、分数を小数で表現したとき有限小数になる場合は九去法を使えるが、循環小数になる場合は九去法を使えない。
九去法(きゅうきょほう、くきょほう、英: casting out nines)とは、整数の四則演算の検算の一種である。入力と出力の数字根を求めることで、その計算が正しいかどうかを確認するテストになる。非常に単純な方法なので、その数学的意味を理解できなくても活用可能である。
九去法という名称は、検算過程で 9 を無視することを意味している。ある数値の各桁の数字を足し合わせるが、9 および合計が 9 になる数字は無視して加算しない。各数値について1桁の数字を求め、本来の計算と同じ計算(加法なら足し算)をその数字について行う(この場合も 9 を無視した数字根を求める)。入力となる各数値についてこのようにして求められた数字と出力について求めた数字が一致しなければ、計算が間違っていることになる。
この方法は電卓なしでもできるほど単純であるが、問題がないわけではない。九去法は整数や小数以外では使えず、分数や冪乗には使えない。また、元々の計算結果が全くのでたらめであった場合に、九去法では偶然正しいと判定される可能性がある。また、九去法の過程で計算間違いをする可能性も当然ながら存在する。
電卓やコンピュータの普及により、九去法は最近ではあまり使われなくなった。日本では安永4年(1775年)に出版された和算書『算法少女』の第八問に九去法が取り上げられている。この本によれば「阿波の人が浪花にきてこの術〔九去法〕を十金で売っていた.好事家が争って求めていたという.」と解説されている。