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