什么是互质函数？

在数论，对正整数n，欧拉函数<math>\varphi(n)</math>是少于或等于n的数中与n互质的数的数目。此函数以其首名研究者欧拉命名，它又称为Euler's totient function、φ函数、欧拉商数等。

例如<math>\varphi(8)=4</math>，因为1,3,5,7均和8互质。

从欧拉函数引伸出来在环论方面的事实和拉格朗日定理构成了欧拉定理的证明。

[编辑]φ函数的值

<math>\varphi(1)=1</math>（唯一和1互质的数就是1本身）。

若n是质数p的k次幂，<math>\varphi(n)=p^a-p^=(p-1)p^</math>，因为除了p的倍数外，其他数都跟n互质。

欧拉函数是积性函数——若m,n互质，<math>\varphi(mn)=\varphi(m)\varphi(n)</math>。证明：设A, B, C是跟m, n, mn互质的数的集，据中国剩余定理，<math>A \times B</math>和C可建立一一对应的关系。因此<math>\varphi(n)</math>的值使用算术基本定理便知，

若<math>n = \prod_{p\mid n} p^{\alpha_p}</math>，

则<math>\varphi(n) = \prod_{p\mid n} p^{\alpha_p-1}(p-1) = n\prod_{p|n}\left(1-\frac\right)</math>。

例如<math>\varphi(72)=\varphi(2^3\times3^2)=2