prove sum of divisors of a square number is odd Don't know how to prove that sum of all divisors of a square number is always odd.
ex: $27 \vdots 1,3,9,27$; $27^2 = 729 \vdots 1,3,9,27,81,243,729$; $\sigma_1 \text{(divisor
 function)} =  1 + 3 + 9 + 27 + 81 + 243 + 729 = 1093$ is odd;
I think it somehow connected to a thing that every odd divisor gets some kind of a pair when a number is squared and 1 doesn't get it, but i can't formalize it. Need help.

Sum of divisors =$\prod_{p_i\mid n}(1+p_i+p_i^2+\cdots+p_i^{2P_i})$ where $p_i$s are distinct primes and $p_i^{P_i}\mid\mid n$
Now, $p_i^r+p_i^{2P_i+1-r}$ is even for all the prime divisor $p_i$ of $n$ for $0< r\le 2P_i+1-r\implies 0<r\le P_i$ leaving $p_i^0=1$ unpaired.

Alternatively, $p_i^k\equiv p_i\pmod 2$ for $k\ge 1$
So, $1+p_i+p_i^2+\cdots+p_i^{2P_i}\equiv 1+\sum_{1\le s\le 2P_i}p_i\pmod 2\equiv 1+2P_is\pmod 2\equiv 1$
