Statements (35)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:appearsIn |
gptkb:Euclid's_Elements
Nicomachus's Introduction to Arithmetic |
| gptkbp:category |
gptkb:Number_theory
|
| gptkbp:defines |
A positive integer that is equal to the sum of its proper positive divisors, excluding itself
|
| gptkbp:etymology |
From Latin 'perfectus', meaning complete
|
| gptkbp:first_known_perfect_number |
6
|
| gptkbp:form |
If 2^p − 1 is prime, then 2^{p−1}(2^p − 1) is a perfect number
|
| gptkbp:fourth_known_perfect_number |
8128
|
| gptkbp:has_divisor_function |
σ(n) = 2n for perfect number n
|
| gptkbp:has_divisors_sum_property |
Sum of divisors equals twice the number
|
| gptkbp:has_OEIS_sequence |
A000396
|
| gptkbp:hasProperty |
Abundant number
Centered nonagonal number Harmonic divisor number Hexagonal number Triangular number |
| gptkbp:open_question |
Existence of odd perfect numbers is unknown
|
| gptkbp:property |
All known perfect numbers are even
|
| gptkbp:relatedConcept |
gptkb:Mersenne_prime
Abundant number Amicable numbers Deficient number Sociable numbers |
| gptkbp:relatedTo |
gptkb:Mersenne_prime
|
| gptkbp:second_known_perfect_number |
28
|
| gptkbp:sequence |
6, 28, 496, 8128, 33550336, ...
|
| gptkbp:studiedBy |
gptkb:Euclid
gptkb:Euler |
| gptkbp:symbol |
No standard symbol
|
| gptkbp:third_known_perfect_number |
496
|
| gptkbp:bfsParent |
gptkb:Lee_Yo-won
gptkb:Perfect_Number_Problem |
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
Perfect Number
|