i chekced a few perfect numbers with module 6 and, a nice property is that all mod 6 equal 4 (at least for those i checked), i guees that if an odd perfect number would exist then its mod 6 would be different.
i wonder how to prove that for every even perfect number greater than 6, its mod 6 equal 4?
i guess because its even it's divisble by 2, and then the question becomes how to prove that mod 3 equal 2, then how do you prove/disprove the assertion?
David.sh why this "2^(n - 1) * (2^n - 1) = (-1)^(n - 1) * ((-1)^n - 1)"?
or you were reffering to conguerence here, and even if you did refer to conguernece shouldn't it be mod2
because:
2^(2n-1)-2^(n-1)-(-1)^(2n-1)-(-1)^n=2^(2n-1)-2^(n-1)+(-1)^2n+(-1)^(n+1)=2^(2n-1)-2^(n-1)+2=0mod2
Huh? 2^(2n-1)-2^(n-1)+2 is a number, one can perform calculations with it modulo 3 without needing to know that the number itself "is mod 3" (which makes no sense anyway...).