Dejemos que $n=2^e m$ donde $m$ es impar. Tenga en cuenta que $\sigma(2^e)$ es impar. Así que por la multiplicidad de $\sigma$ , $\sigma(n)$ es impar si $\sigma(m)$ es impar. Cualquier poder de $2$ es un cuadrado o dos veces un cuadrado. Así que sólo tenemos que demostrar que si $\sigma(m)$ es impar para el número impar $m$ entonces $m$ es un cuadrado perfecto.
Si $m$ es pas un cuadrado perfecto, hay un primo $p$ , necesariamente impar, de manera que la mayor potencia de $p$ que divide $m$ es $p^t$ , donde $t$ es impar.
Pero por multiplicidad, $1+p+\cdots+p^t$ divide $\sigma(m)$ . Y $1+p+\cdots+p^t$ es par, ya que es la suma de un número par de números Impares. Esto contradice el hecho de que $\sigma(m)$ es impar.
Observación: Lo contrario es sencillo: Si $n$ tiene forma $w^2$ o $2w^2$ entonces $\sigma(n)$ es impar.