Perfect numbers: Difference between revisions

Content added Content deleted
(make the math prominent)
m (added whitespace before the TOC (table of contents), added a ;See also: (bold) header, used a larger font for showing the formulae.)
Line 1: Line 1:
{{task|Discrete math}}Write a function which says whether a number is perfect.
{{task|Discrete math}}

Write a function which says whether a number is perfect.


<br>
<br>
[[wp:Perfect_numbers|A perfect number]] is a positive integer that is
[[wp:Perfect_numbers|A perfect number]] is a positive integer that is the sum of its proper positive divisors excluding the number itself.
the sum of its proper positive divisors excluding the number itself.
Equivalently, a perfect number is a number that is half the sum
of all of its positive divisors (including itself).


Equivalently, a perfect number is a number that is half the sum of all of its positive divisors (including itself).
Note: The faster [[Lucas-Lehmer test]] is used to find primes of the form 2<sup>''n''</sup>-1, all ''known'' perfect numbers can be derived from these primes
using the formula (2<sup>''n''</sup> - 1) × 2<sup>''n'' - 1</sup>.
It is not known if there are any odd perfect numbers (any that exist are larger than 10<sup>2000</sup>).



'''See also'''
Note: &nbsp; The faster &nbsp; [[Lucas-Lehmer test]] &nbsp; is used to find primes of the form &nbsp; <big> 2<sup>''n''</sup>-1</big>, &nbsp; all ''known'' perfect numbers can be derived from these primes
using the formula &nbsp; <big> (2<sup>''n''</sup> - 1) × 2<sup>''n'' - 1</sup></big>.
It is not known if there are any odd perfect numbers (any that exist are larger than <big>10<sup>2000</sup></big>).


;See also:
* [[Rational Arithmetic]]
* [[Rational Arithmetic]]
* [[oeis:A000396|Perfect numbers on OEIS]]
* [[oeis:A000396|Perfect numbers on OEIS]]
* [http://www.oddperfect.org/ Odd Perfect] showing the current status of bounds on odd perfect numbers.
* [http://www.oddperfect.org/ Odd Perfect] showing the current status of bounds on odd perfect numbers.
<br>
<br><br>


=={{header|Ada}}==
=={{header|Ada}}==