数論 2020年9月5日 オイラーのトーシェント関数の定義 \[ \varphi(n) =\#\left\{ k\in\mathbb{N};1\leq k\leq n,\gcd(k,n)=1\right\} \]