$P_k(n) $ is the product of all positive divisors of $n$ that are divisible by $k$ (the empty product is equal to $1$). Show that $P_1(n)P_2(n)\cdots P_n(n)$ is a perfect square, for any positive integer $n$.
Source:
Tags: number theory unsolved, number theory, Kazakhstan
$P_k(n) $ is the product of all positive divisors of $n$ that are divisible by $k$ (the empty product is equal to $1$). Show that $P_1(n)P_2(n)\cdots P_n(n)$ is a perfect square, for any positive integer $n$.