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

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

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

電卓やコンピュータの普及により、九去法は最近ではあまり使われなくなった。日本では安永4年（1775年）に出版された和算書『算法少女』の第八問に九去法が取り上げられている[1]。この本によれば「阿波の人が浪花にきてこの術〔九去法〕を十金で売っていた．好事家が争って求めていたという．」と解説されている[2]。
例

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

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

乗法 5 4 8 {\displaystyle {\mathit {5}}{\mathit {4}}8\,} ⇒ {\displaystyle \Rightarrow } 8 {\displaystyle 8\,} 各乗数の数値から 9 そのものと、足して 9 になる数字（イタリック体）を除く。
× 62 9 _ {\displaystyle {\underline {\times 62{\mathit {9}}}}\,} ⇒ {\displaystyle \Rightarrow } 8 {\displaystyle 8\,} 残った数字を足し合わせ、最終的に1つの数字を得る。
3 44 69 2 {\displaystyle {{\mathit {3}}44{\mathit {69}}2}\,} ⇓ {\displaystyle {\bigg \Downarrow }} 2つの excess をかけて、結果に同様の操作を行って1つの数字を得る。
⇓ {\displaystyle \Downarrow } 同じように積からも excess を求める。
1 {\displaystyle {1}\,} ⇔ {\displaystyle \Leftrightarrow } 1 {\displaystyle 1\,} *積の excess と 乗数の excess から得られた数字は等しくなければならない。
*8 × 8 = 64; 6 + 4 = 10; 1 + 0 = 1
除法 8 × {\displaystyle 8\times } 4 + {\displaystyle 4+\,} 3 {\displaystyle 3\,} ⟹ {\displaystyle \Longrightarrow } 8 {\displaystyle 8\,} 法数、商、余りのそれぞれについて、9 と足して 9 になる数を除く。
⇑ {\displaystyle {\bigg \Uparrow }} ⇑ {\displaystyle \Uparrow } ⇑ {\displaystyle \Uparrow } 残った数字を足し合わせて1つの数字を得る。
877 {\displaystyle 877\,} r .84 {\displaystyle r.84\,} 法数と商の excess をかけて、余りの excess をそれに加算する。
314 {\displaystyle 314\,} ) 2754 62 ¯ {\displaystyle {\overline {){\mathit {2754}}62}}\,} ⟹ {\displaystyle \Longrightarrow } 8 {\displaystyle 8\,} 同様に被除数からも excess を求める。
（9 と 9 になる数字はイタリック体で表す）
被除数の excess は他の数値の excess から求められる数字と等しくなければならない。

何故うまくいくのか

九去法は合同式の性質を利用した検算方法である。9 を法とする計算において、x と x'（および y と y'）が合同であれば、x + y と x' + y' も合同であり、x − y と x' − y' も合同であり、x × y と x' × y' も合同となる。 x ≡ x ′ ( mod 9 ) ,   y ≡ y ′ ( mod 9 ) ⟹ { x + y ≡ x ′ + y ′ ( mod 9 ) , x − y ≡ x ′ − y ′ ( mod 9 ) , x × y ≡ x ′ × y ′ ( mod 9 ) . {\displaystyle x\equiv x'{\pmod {9}},\ y\equiv y'{\pmod {9}}\implies {\begin{cases}x+y\equiv x'+y'{\pmod {9}},\\x-y\equiv x'-y'{\pmod {9}},\\x\times y\equiv x'\times y'{\pmod {9}}.\end{cases}}}

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