90 - The Only Deficiently Perfect Imperfect Number ?

  • Context: Graduate 
  • Thread starter Thread starter Anti-Crackpot
  • Start date Start date
Click For Summary
SUMMARY

The discussion centers on the number 90, identified as the only "Deficiently Perfect Imperfect Number" under 10^8, as per the OEIS sequence A125310. Joseph Pe highlights that while all even perfect numbers are included in this sequence, the focus is on non-perfect terms, specifically 90. The conversation invites further exploration into whether additional numbers fitting this definition exist and encourages the community to extend the lower bounds of this conjecture through brute force methods or theoretical proofs.

PREREQUISITES
  • Understanding of deficient proper divisors
  • Familiarity with perfect numbers and their properties
  • Knowledge of the OEIS (Online Encyclopedia of Integer Sequences)
  • Basic concepts of number theory, including abundant numbers
NEXT STEPS
  • Research the properties of deficient proper divisors in number theory
  • Explore the implications of the OEIS sequence A125310
  • Investigate methods for proving or disproving conjectures in number theory
  • Learn about abundant numbers and their relationship to perfect and deficient numbers
USEFUL FOR

Mathematicians, number theorists, and enthusiasts interested in the properties of integers, particularly those studying perfect and deficient numbers.

Anti-Crackpot
Messages
75
Reaction score
0
90 - The Only "Deficiently Perfect Imperfect Number" ?

A125310 Numbers n such that n = sum of deficient proper divisors of n.
6, 28, 90, 496, 8128, 33550336
http://oeis.org/A125310

Joseph Pe offers the following comments:
COMMENTS 1. Since any proper divisor of an even perfect number is deficient, all even perfect numbers are (trivially) included in the sequence. 2. Hence the interesting terms of the sequence are its non-perfect terms, which I call "deficiently perfect". 90 is the only such term < 10^8.

And concludes with the following question:

"Are there any more?"

It's a question I share and I'm curious if anyone would care to extend the lower bound on this implied conjecture via brute force or offer a way to prove (or disprove) it outright and/or specify conditions such an integer would have to fulfill (such as, for instance, being abundant...)

TIA,
AC
 
Last edited:
Physics news on Phys.org


Here is one of a few very odd relationships from which this question stems...

Let...
(sigma_0(x) + sigma_1(x) + Phi(x)) = kx
(sigma_0(x') + sigma_1(x') + Phi(x')) = k'x

sigma_1|x - x'| = j|x - x'|
sigma_1|k - k'| = j'|k - k'|

x = 586, k = 2, j = 2
x' = 90, k' = 3, j' = 1
|x - x'| = 496 (a 2-Perfect Number)
|k - k'| = 1 (a 1-Perfect Number)

As 90 is the only "Deficiently Perfect Imperfect Number" < 10^8...

586 is the only n in N < 11*10^6 such that (sigma_0(x) + sigma_1(x) + Phi(x)) = 2x.
See: Numbers n such that n | Sigma(n) + d(n) + Phi(n)
1, 2, 4, 6, 90, 408, 586, 2200352, 11524640
http://oeis.org/A056012

What is the next one?

fwiw,
A) x + x', k+j and k'+j' are all Perfect Squares (26^2, 2^2, 2^2)
B) |x - x'|, |k - k'|, |j - j'| are all Triangular (T_31, T_1, T_1)

- AC
 
Last edited:

Similar threads

Replies
8
Views
5K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 18 ·
Replies
18
Views
10K
  • · Replies 4 ·
Replies
4
Views
4K
  • · Replies 55 ·
2
Replies
55
Views
6K
  • · Replies 97 ·
4
Replies
97
Views
23K
  • · Replies 41 ·
2
Replies
41
Views
8K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 13 ·
Replies
13
Views
5K