Given this natural number
2 5 0 0 0 0 0 0 0 0 0 0 0 9 7 8 × 4 9 2 9 8 5 0 9 8 4 3 9 5 × 2 9 9 0 8 7 5 6 4 8 9 7 3 8
Is it a perfect number(a positive integer which is equal to sum of its proper divisors)?
Bonus: Prove it!
This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try
refreshing the page, (b) enabling javascript if it is disabled on your browser and,
finally, (c)
loading the
non-javascript version of this page
. We're sorry about the hassle.
Observe the number:
2 5 0 0 0 0 0 0 0 0 0 0 0 9 7 8 ⋅ 4 9 2 9 8 5 0 9 8 4 3 9 5 ⋅ 2 9 9 0 8 7 5 6 4 8 9 7 3 8
Obviously, it's an even number. Now, analyze the sum of its proper divisors. Because 29 is an odd prime number, so the given number has:
9 0 8 7 5 6 4 8 9 7 3 8 + 1 = 9 0 8 7 5 6 4 8 9 7 3 9 odd proper divisors
As we know, sum of an odd number of odd numbers is an odd number. Furthermore, sum of an odd number and an even number is an odd number. Therefore, sum of the given number's proper divisors is an odd number. But the given number is an even number, so it isn't a perfect number.
Problem Loading...
Note Loading...
Set Loading...
Let A be the natural number such that A = 2 5 0 0 0 0 0 0 0 0 0 0 0 9 7 8 ⋅ 4 9 2 9 8 5 0 9 8 4 3 9 5 ⋅ 2 9 9 0 8 7 5 6 4 8 9 7 3 8
Then we get that A = 2 5 0 0 0 0 0 0 0 0 0 0 0 9 7 8 ⋅ ( 2 2 ) 9 2 9 8 5 0 9 8 4 3 9 5 ⋅ 2 9 9 0 8 7 5 6 4 8 9 7 3 8
⇒ A = 2 5 0 0 0 0 0 0 0 0 0 0 0 9 7 8 + 2 ⋅ 9 2 9 8 5 0 9 8 4 3 9 5 ⋅ 2 9 9 0 8 7 5 6 4 8 9 7 3 8
⇒ A = 2 x ⋅ 2 9 y (no need to write the exponents...)
So since 2 and 2 9 are both prime numbers, every single divisor of A is of the form: 2 n ⋅ 2 9 k for n ∈ 0 , 1 , 2 , . . . ( x − 1 ) , x and k ∈ 0 , 1 , 2 , . . . ( y − 1 ) , y
Thus by using some simple combinatorics we get that A has ( x + 1 ) ⋅ ( y + 1 ) divisors including itself.
Hence all the divisors are: ( 2 0 ⋅ 2 9 0 ) , ( 2 0 ⋅ 2 9 1 ) , ( 2 0 ⋅ 2 9 2 ) , . . . ( 2 x ⋅ 2 9 y − 2 ) , ( 2 x ⋅ 2 9 y − 1 ) , ( 2 x ⋅ 2 9 y )
Now, by the definition of the perfect number ("A number is perfect when the sum of its divisors (except the number itself) equals the given number.") we assume that the following equation is true:
2 ⋅ A = ( 2 0 ⋅ 2 9 0 ) + ( 2 0 ⋅ 2 9 1 ) + ( 2 0 ⋅ 2 9 2 ) + . . . + ( 2 x ⋅ 2 9 y − 2 ) + ( 2 x ⋅ 2 9 y − 1 ) + ( 2 x ⋅ 2 9 y )
⇒ 2 ⋅ A = 2 0 ⋅ ( 2 9 0 + 2 9 1 + . . . + 2 9 y − 1 + 2 9 y ) + 2 1 ⋅ ( 2 9 0 + 2 9 1 + . . . + 2 9 y − 1 + 2 9 y ) + . . . + 2 x ⋅ ( 2 9 0 + 2 9 1 + . . . + 2 9 y − 1 + 2 9 y )
⇒ 2 ⋅ A = ( 2 9 0 + 2 9 1 + . . . + 2 9 y − 1 + 2 9 y ) ⋅ ( 2 0 + 2 1 + . . . + 2 x − 1 + 2 x )
So by the sum formula of geometric progression we get:
2 ⋅ A = 1 − 2 9 1 ⋅ ( 1 − 2 9 y + 1 ) ⋅ 1 − 2 1 ⋅ ( 1 − 2 x + 1 )
⇒ 2 ⋅ A = 2 8 ( 2 9 y + 1 − 1 ) ⋅ ( 2 x + 1 − 1 )
⇒ 8 ⋅ A = 7 ( 2 9 y + 1 − 1 ) ⋅ ( 2 x + 1 − 1 )
And it's true that [ 2 9 y + 1 − 1 ] ≡ 0 ( m o d 7 ) ⇒ [ ( 2 8 + 1 ) y + 1 − 1 ] ≡ 0 ( m o d 7 ) and we can prove this through the binomial theorem such that: ( 2 8 + 1 ) y + 1 = ( 0 y + 1 ) 2 8 y + 1 ⋅ 1 0 + ( 1 y + 1 ) 2 8 y ⋅ 1 1 + . . . + ( y y + 1 ) 2 8 1 ⋅ 1 y + ( y + 1 y + 1 ) 2 8 0 ⋅ 1 y + 1
⇒ ( 2 8 + 1 ) y + 1 = ( 0 y + 1 ) 2 8 y + 1 ⋅ 1 0 + ( 1 y + 1 ) 2 8 y ⋅ 1 1 + . . . + ( y y + 1 ) 2 8 1 ⋅ 1 y + 1
And by substituting we get: [ ( 0 y + 1 ) 2 8 y + 1 ⋅ 1 0 + ( 1 y + 1 ) 2 8 y ⋅ 1 1 + . . . + ( y y + 1 ) 2 8 1 ⋅ 1 y + 1 − 1 ] ≡ 0 ( m o d 7 )
2 8 ⋅ [ ( 0 y + 1 ) 2 8 y ⋅ 1 0 + ( 1 y + 1 ) 2 8 y − 1 ⋅ 1 1 + . . . + ( y y + 1 ) 2 8 0 ⋅ 1 y ] ≡ 0 ( m o d 7 ) which is true since 7 ∣ 2 8 and 7 ( 2 9 y + 1 − 1 ) = 4 ⋅ z for z = ( 0 y + 1 ) 2 8 y ⋅ 1 0 + ( 1 y + 1 ) 2 8 y − 1 ⋅ 1 1 + . . . + ( y y + 1 ) 2 8 0 ⋅ 1 y
Thus in the main equation we get:
8 ⋅ A = 4 ⋅ z ⋅ ( 2 x + 1 − 1 )
⇒ 2 ⋅ A = z ⋅ ( 2 x + 1 − 1 )
However 2 ⋅ A is an even number while z ⋅ ( 2 x + 1 − 1 ) is not since both z and ( 2 x + 1 − 1 ) are odd numbers:
2 x + 1 ≡ 0 ( m o d 2 ) ⇒ ( 2 x + 1 − 1 ) ≡ 1 ( m o d 2 ) and...
z = ( 0 y + 1 ) 2 8 y ⋅ 1 0 + ( 1 y + 1 ) 2 8 y − 1 ⋅ 1 1 + . . . + ( y − 1 y + 1 ) 2 8 1 ⋅ 1 y − 1 + ( y y + 1 ) 2 8 0 ⋅ 1 y
z = 2 8 ⋅ ( ( 0 y + 1 ) 2 8 y − 1 ⋅ 1 0 + ( 1 y + 1 ) 2 8 y − 2 ⋅ 1 1 + . . . + ( y − 1 y + 1 ) 2 8 0 ⋅ 1 y − 1 ) + ( y y + 1 ) 2 8 0 ⋅ 1 y
z = 2 8 ⋅ ( ( 0 y + 1 ) 2 8 y − 1 ⋅ 1 0 + ( 1 y + 1 ) 2 8 y − 2 ⋅ 1 1 + . . . + ( y − 1 y + 1 ) 2 8 0 ⋅ 1 y − 1 ) + ( y + 1 ) and because y is even ( 2 ⋅ 5 + 8 ≡ 8 ( m o d 1 0 ) <--last digits of the exponents ) then z is odd.
Hence, since the above equation is not true then A is not as perfect as it seems!