What can we say about \(\varphi (mn) \) for \(m\) and \(n\) in general?

In class we proved that if \(m\) and \(n\) are coprimes (i.e. \(gcd(m,n)=1\)),  then \(\varphi(mn) = \varphi(m)\varphi(n)\).

In this article we will discuss what will happen for \(m\) and \(n\) in general. In other words, given \(gcd(m,n)=d\) for some \(d\in\mathbb{N}\), what can we say about \(\varphi(mn)\)?

Let's first do prime factorization for both \(m\) and \(n\), then
$$m = p_1^{e_1}p_2^{e_2}...p_k^{e_k}$$
$$n = q_1^{r_1}q_2^{r_2}...q_j^{r_j}$$

Consider \(gcd(m,n)=d \geq 2\). Then \(m\) and \(n\) have at least one common prime factors. Assume the prime factorization expressions for \(m\) and \(n\) above are written in the way that \(m\) and \(n\)'s common prime factors are written at the beginning and aligned correspondingly. i.e. \(p_i = q_i\) for all \(1\leq i \leq c\) for some \(c\leq min(j,k)\). Then we can say the prime factors for \(m\) and \(n\)'s common divisor, \(d\), are \(p_i\)'s where  \(1\leq i \leq c\).

Then
$$\begin{eqnarray}
\varphi(mn) &=& mn(1-\frac{1}{p_1})(1-\frac{1}{p_2})...(1-\frac{1}{p_c})[(1-\frac{1}{p_{c+1}})...(1-\frac{1}{p_k})][(1-\frac{1}{q_{c+1}})...(1-\frac{1}{q_j})]\\
&=&\frac{\varphi(m)\cdot\varphi(n)}{(1-\frac{1}{p_1})(1-\frac{1}{p_2})...(1-\frac{1}{p_c})}\\
&=&\frac{\varphi(m)\cdot\varphi(n)}{\varphi(d)/d}\\
&=&\frac{\varphi(m)\varphi(n)d}{\varphi(d)}
\end{eqnarray}
$$

Finally let's verify whether this equation, \(\varphi(mn)=\frac{\varphi(m)\varphi(n)d}{\varphi(d)}\), also holds for \(d=1\). When \(d=1\), \(\varphi(d)=\varphi(1)=1\). So the equation will give us \(\varphi(mn)=\frac{\varphi(m)\varphi(n)\cdot 1}{1}\), which we already proved to be true.

Therefore we can conclude that, if \(gcd(m,n)=d\), then  \(\varphi(mn)=\frac{\varphi(m)\varphi(n)d}{\varphi(d)}\).

Comments

Popular posts from this blog

Common counting techniques

"Pyramid Numbers" Fun Fact!

Parallelogram Identity Proof (Using Stars and Bars Technique)