Page:Shinshiki Sanjutsu Kogi 00.djvu/216

六

200

分數に關する整數論的の硏究

---

にして（前節の結尾を看よ）且 $\pm g$ は $0$ 又は $-1$ の外に出でず．よりて斯の如くにして得たる $\phi (n)$ 個の等式 (3) の右邊の分數部分は盡く相異にして，こゝに現はるゝ二つの分數はそれぞれ $a$，$b$ を分母とせる $\phi (a)$ 個 $\phi (b)$ 個の旣約眞分數一つ一つの相異なる組み合はせなり．是故に

$\phi (n)\leqq \phi (a)\cdot \phi (b)$

次に又 (3) の右邊に立てる二つの分數を逐次 $a$，$b$ を分母とせる $\phi (a)$ 個 $\phi (b)$ 個の旣約眞分數となし $\frac{a^{\prime }}{a}+\frac{b^{\prime }}{b}$ が $1$ より小なるときは $g$ を $0$ ，又此和が $1$ より大なるときは $\pm g$ を $-1$ となし行かば，斯の如くにして作らるゝ $\phi (a)\cdot \phi (b)$ 個の等式 (3) の左邊に現はれ來るものはいづれも $n$ を分母とせる盡く相異なる旣約眞分數なり．（前節の結尾を看よ）是故に

$\phi (n)\geqq \phi (a)\phi (b)$

以上二樣の結論を綜合して次の定理を得，

$a$，$b$ が相素なる整數なるときは

(4)

$\phi (ab)=\phi (a)\cdot \phi (b)$