欧拉函数$varphi(n)$表示不超过$n$的正整数中与$n$互质的个数,并且有:
$varphi(n)= nprodlimits_{i=1}^{k}(1-{frac 1{p_{i}}})$
显然有若$p$为素数:
$varphi(p)=p-1$
并且若$n$与$m$互质,则:
$varphi(nm)=varphi(n)varphi(m)$