For which primes $p$ is $$p^{p+1}+(p+1)^p-1$$ a perfect square?

Context:

Once again a modified problem, this time from $p^{p+1}+(p+1)^p$ a perfect square, for which the answer is no such $p$ exist. For the modified form above, however, $p=2,3$ work, the main trouble I've had being that one can't easily find prime divisors of the above number that aren't already divisors of $p$ or $p+1$.

Edit:

I forgot to say that I have already tested this statement up to $p=19$ or as far as the calculators on a computer will go without finding any other examples apart from $2$ and $3$


Solution 1:

This is my experience :

$A=P^{p+1}+(p+1)^p -1$

$p^{p+1}=(p^2)^\frac{p+1}{2}=k_1 p^2$

$(p+1)^p=∑ C^p_r p^r +1= k_2 p^2 +1$

$⇒A=P^{p+1}+(p+1)^p -1=(k_1+k_2)p^2 $

Also:

$P^{p+1}=(p+1-1)^{p+1}=∑ C^{p+1}_r (p+1)^r +1=t_1 (p+1)^2+1$

$(p+1)^p = (p+1)^2 (p+1)^{p-2}= t_2(p+1)^2$

$⇒A=P^{p+1}+(p+1)^p -1=(t_1+t_2)(p+1)^2 $

$⇒A=P^{p+1}+(p+1)^p -1=m p^2(p+1)^2 $

Where m is a composite integer; for example:

$7^8+8^7-1=23 . 109 . 56^2$

It can be seen that for Fermat primes a power of $2$ is also among the factors of m:

$(2^{2^n}+1)^{2^{2^n}+2}+(2^{2^n}+2)^{2^{2^n}+1}-1= k . (2^{2^n}+1)^2. (2^{2^n}+2)^2.2^{2^n}$

For example:

$17^{18} +18^{17}-1= k .2^4 . 17^2 . 18^2 $

There may exist primes of form $(x^{2^n}-1)x^{2^n}+1$ which result in A such that a composite factor like $m$, composed of even powers of some prime factors of $x$, arises; for example:

$p=15 . 16 + 1= 241$; $ 241^{241}+242^{241}-1=k . 2^4 . 241^2 . 242^2$

Conclusion: We may conclude that;

a : The solutions are only $p=2$ and $p=3$ because m has square free prime factors.

b: Conjecture: There are primes other than 2 and 3 so that $A=P^{p+1}+(p+1)^p -1$ is perfect square.