Let an integer $m\geq 1$, and $\sigma(m)$ is the sum of positive divisors function, and $\phi(m)$ is Euler's totient function, counting the number of integers $1\leq k\leq m$ such that $gcd(k,m)=1$ (see [1], too for the definition of perfect numbers).
My question is
Question. Prove, or refute with a counterexample, the following statement: If $n\geq 1$ is an integer such that $$\left( -3+\sqrt{1+8n}\right)\sigma(n)=4\left(-1+\sqrt{1+8n}\right)\phi(n)$$ then is an even perfect number. Thanks in advance.
I excuse this question here because perhaps someone can solve o reference this exercise. It is possible assuming that $n=2^{a}m$, where $a\geq 0$ and $m$ an integer that we assume as odd, find the proof of previous? When in a past post I've use this trick, the computations was tedious. Can you try it and show some useful? I excuse this question, because in the following appendix I give details, perhaps useful for an student with easy computations, and perhaps in a future my questions are useful for someone. If you want say something about the appendix you are welcome. Currently, I haven't in my hand analytic tools to study previous conjecture.
I attempt integrate another factor 2 in the definition of even perfect numbers Appendix:
I believe that I haven't mistakes in my proof of following exercise, caution is the reciprocal of my question (I don't know if it is in the literature)
Proposition. If $n$ is an even perfect number then $$\left(\frac{-3+\sqrt{1+8n}}{2}\right)\sigma(n)=2\left(-1+\sqrt{1+8n}\right)\phi(n).$$
Skecth of my Proof. Really I build previous identity by comparison, when I've used that an even perfect number is a triangle number $\frac{q(q+1)}{2}$, where I was assuming that $q=2^p-1$ is the associted Mersenne prime with $n$, thus I've used Euler's statement for even perfect numbers (thus $n$ has the form $2^{p-1}(2^p-1)$, and $2^p-1$ is prime)
$$\frac{\sigma\left(\frac{q(q+1)}{2}\right)}{\phi\left(\frac{q(q+1)}{2}\right)}=\frac{4q}{q-1}.$$
And I've found a form for $q$ solving $q^2+q=2n$, thus $$q=\frac{-1+\sqrt{1-4\cdot(-2n)}}{2},$$
and this is the end of the proof.
After I write in my algorith for to run a program written in Pascal, I say find the integers $N\geq 1$ such that ... (perhaps the following condition remove illegally so many integers but I tell you what I've made below)
My algorithm to work. Find integers $N\geq 1$ such that $$\left( -3+\sqrt{1+8N}\right)\sigma(N)=4\left(-1+\sqrt{1+8N}\right)\phi(N).$$
Then
Computational fact. My program up 10000 only finds even perfect numbers (I tried up until $10^5$ but my program does not finish, I suspect that my procedures are bad).
References:
[1] This Mathematics Stack Exchange or Wikipedia pages for Perfect numbers, and cited arithmetic functions sum of divisor function and Euler's totient function.
[2] A related answer/question in This Mathematics Stack Exchange, B. Dris I attempt integrate another factor 2 in the definition of even perfect numbers
This is too long to fit as a comment, so I have written it out as an answer.
You misunderstood my comment Juan.
To illustrate my point, you can try to apply some of the inequalities referenced in the following papers from the Journal of Integer Sequences:
On the Ratio of the Sum of Divisors and Euler’s Totient Function I by Kevin A. Broughan and Daniel Delbourgo; and
On the Ratio of the Sum of Divisors and Euler’s Totient Function II by Kevin A. Broughan and Qizhi Zhou.
One such inequality is:
Perhaps using one of these inequalities, together with the assumption $n = {2^a}{m}$ (where $a \geq 0$) and $$\left( {\sqrt{1 + 8n} - 3} \right)\sigma(n) = 4\left( {\sqrt{1 + 8n} - 1} \right)\phi(n),$$ would enable you to show that $n$ is an even perfect number.
Of course, a central issue in your original question would be to find integers $N$ for which $8N + 1$ is a perfect square.