数字根
数字根（すうじこん、）とは、正の整数値の各位の和（数字和）を求め、結果の数字和を求め、という操作を繰り返し、最終的に得られる 1 桁の数を指す。
例えば、65536 の数字根は 7 である。（6 + 5 + 5 + 3 + 6 = 25 → 2 + 5 = 7）
一般に正の整数値 "n" の数字根は "n" を 9 で割った余りに等しいので、全ての桁の数字を加算するのではなく、9 を法とする合同式によって計算可能であり、巨大な数の数字根を求める際に時間を節約できる。
数字根はチェックサムの一種としても利用できる。例えば、加算において和の数字根と被加数の数字根の和の数字根は常に等しい。これを利用した検算方法として九去法がある。
特定の数の数字根の特殊例として、次のようなものがある。
以下の表は、十進数の九九の表から数字根を求めたものである。最初の行と列はかける数である。例えば、2x5 = 1 となるが、これは積である 10 の数字根が 1 であることを意味する。
この表には対称性のある面白い数字のパターンが表れている。例えば、9 をかけた結果の数字根は常に 9 である。このパターンは、9 の倍数ごとのブロックとして無限に繰り返される。
9 番目の行と列を無視すれば、半群 {J/(9), X} が残る。J/(9) とは、9 を法とする剰余類で分けられた整数の集合であり、X はこの半群上の元の間の抽象乗算を意味する。"a" と "b" が {J/(9), X} の元であるとき、"aXb" は "mod" ("a"x"b", 9) であり、"a"x"b" は通常の乗算を表す。言い換えれば、次の式の c を求めていることに他ならない。
もちろん、c は "a"x"b" の数字根であり、(a,b) は共に J と {J/(9), X} の元である。
formula_1 の各位の和（数字和）を求める関数を formula_2 とする。formula_3 と計算していくと、最終的に定数値に収束する。この定数値（formula_1 の数字根）を求める関数を formula_5 とする。
formula_6 の数字根は次のように求められる。
したがって、formula_7 となる。
formula_3 が最終的に定数となることの証明は以下の通り。
formula_9 とし、formula_10 とする（全ての formula_11 について formula_12 は 0 以上、10 未満の整数である）。すると、formula_13 となる。つまり formula_14 でない限り formula_15 が成り立ち、formula_14 であるということは、formula_17 が 1 桁であることを意味する。従って formula_18 を繰り返し適用していくと formula_17 は小さくなっていき、最終的に 1 桁の数になり、その時点で formula_20 なので定数となる。
合同式による定義は次の通りである。
基数 "b" が異なる位取り記数法の数字根では、上記の式の 9 を "b" - 1 に置き換えればよい。