Let n be a natural number with unique prime factorization $p^m$... $q^k$ . Show that n can be written as a square if and only if all (m, ...k) are even
Prime factorization of square numbers
-
6Don't you mean "can be written as a square of a natural number"? What does it mean that a natural number "can be written as a fraction"? – 2011-02-23
2 Answers
Assuming you mean written as a square, if $m,\dots,k$ are all even, m=2m',\dots,k=2k' for some m',\dots, k'\in\mathbb{Z} then n=p^m\cdots q^k=p^{2m'}\cdots q^{2k'}=(p^{m'}\cdots q^{k'})^2.
If $n$ can be written as a square, then for some $m$ with factorization $r_1^{a_1}\cdots r_n^{a_n}$, $ n=m^2=(r_1^{a_1}\cdots r_n^{a_n})^2=(r_1^{2a_1}\cdots r_n^{2a_n})=p^m\cdots q^k. $
Then for any prime $s$ in the factorization of $n$, $s|r_1^{2a_1}\cdots r_n^{2a_n}$, which implies there is a unique $r_i$ such that $s|r_i^{2a_i}\implies s|r_i\implies s=r_i$, since $s$ and $r_i$ are both prime. By uniqueness of the factorization, if $s$ has power $t$ in the factorization of $n$, $s^t=r_i^{2a_i}$, which implies $t=2a_i$, so all the powers in $p^m\dots q^k$ are even.
If $n = \prod_{i = 1}^\infty {p_i}^{\alpha_i} \in \mathbb Z,$ where $p_i$ are the primes in order by $i$ and $\alpha_i$ are the corresponding exponents which may be $0$ as needed, we then have $\sqrt n = \sqrt{\prod_{i = 1}^\infty {p_i}^{\alpha_i}} = \prod_{i = 1}^\infty {p_i}^{\frac{\alpha_i}{2}}.$ But if any of the $\alpha_i$ are odd, then $\frac{\alpha_i}{2}$ is not an integer and neither is ${p_i}^{\frac{\alpha_i}{2}}$.
For example, consider $129600 = 2^6 \times 3^4 \times 5^2 \times 7^0 \times \ldots$. The square root is found thus: $\sqrt{129600} = 2^3 \times 3^2 \times 5^1 \times 7^0 \times \ldots$
Now compare $648000 = 2^6 \times 3^4 \times 5^3 \times 7^0 \times \ldots$. The square root is found thus: $\begin{align}\sqrt{648000} & = 2^3 \times 3^2 \times 5^{\frac{3}{2}} \times 7^0 \times \ldots \\ & = 2^3 \times 3^2 \times 5 \sqrt 5 \\ & = 360 \sqrt 5 \\ & \approx 804.98447\end{align}$
-
0$p_i^{\frac{ \alpha_i} 2}$ may not be an integer but how would you know no product of $p_i^{\frac {\alpha_i} 2}p_k^{\frac {\alpha_k} 2}$ is not an integer? After all $\sqrt{75}$ is not an integer and $\sqrt 3$ is not an integer but $\sqrt{75}\sqrt{3}$ is an integer. – 2018-10-20