ノントーティエント: nontotient)、ノントーシェントは、自然数の内、オイラーのトーシェント関数 φ値域に含まれない数であり、φ(x) = n においてどのような自然数 x もこの方程式を満たさないような自然数 n のことである。言い換えると、全ての x において「x 以下の数で互いに素である自然数の個数」(=φ(x))がn 個ではないような n がノントーシェントである。また、ノントーシェントでないものをトーシェントと呼ぶことがある。

1φ(x) = 1 において x = 1, 2 というをもつのでノントーシェントではない。しかし 1 を除く全ての奇数はノントーシェントである。偶数のノントーシェントは無数に存在し、その内最小の数である 14 から小さい順に列記すると[1]

14, 26, 34, 38, 50, 62, 68, 74, 76, 86, 90, 94, 98, 114, 118, 122, 124, 134, 142, 146, 152, 154, 158, 170, 174, 182, 186, 188, 194, 202, 206, 214, 218, 230, 234, 236, 242, 244, …

ノントーシェントの集合は密度 1 を持つ。つまり殆ど全ての数はノントーシェントである。しかし、p素数とすると、p − 1 はノントーシェントでないから、トーシェントの逆数の和は発散する。

2p がノントーシェントであることと、2p + 1 が合成数であることは同値である。つまりこの場合の"p"はソフィー・ジェルマン素数ではない。また、4p がノントーシェントであることと、2p + 1, 4p + 1 がともに合成数であることも同値である。

φ(p) = p − 1 となるため、p − 1 で表される数はノントーシェントではない。また φ(p2) = (p − 1)p であるため、(p − 1)p の形で表される矩形数もノントーシェントではない。さらに p − 1 で表される異なる数同士の積もノントーシェントにはならない。

脚注 編集

関連項目 編集