是一个定义在整数集的函数，的值等于序列 中与互素的数的个数． 　　当为素数时， 　　当为合数时， 　　若 则 //为什么？ 　　下面将给出计算的一般公式和的一些性质． 定理：设 ,则　　　 证明：由的定义知，的值等于序列中与　　　互素的数的个数 　　　的值等于序列中与互素的数的个数． 　　　 的值等于从减去中与不互素的数　　　　 的个数． 　　　是素数　 若 则 　　　　 即是的倍数 　　　中与不互素的数的个数等于中是　　　　 的倍数的数的个数. 即 　　　 　　又 为素数， 　　　 　　　　　　　 　　　　　　　 　　　　　　　

评论