y2=(x−p)(x)(x+p).
We split the analysis into the following cases.
Case p∤y. In this case, we have (x−p,x)=(x,x+p)=1. If x is even, then (x−p,x+p)=1, so it follows that x−p,x and x+p are all squares. This is not possible since x+p≡3(mod8). Thus, x has to be odd. In this case we have (x−p,x+p)=2. So we get
x(x−p)(x+p)=r2,=2s2,=2t2.
The last two equations imply (t2−s2)=p solving which we get t=(p+1)/2 and s=(p−1)/2. Now,
r2=x=(x−p)+p=(p−1)2/2+p=(p2+1)/2=((8k+3)2+1)/2(here p=8k+3)=(64k2+48k+10)/2≡5(mod8)
which is not possible. Thus there are no solutions in case p∤y.
Case p∣y. We first note that if y=0 then x=0,p or −p, and this gives us three solutions. Now, assume that y=0. Since p∣y it follows that (x−p,x,x+p)=p. Thus, p2∣y. Canceling p3 from both the sides, we have
pb2=(a−1)(a)(a+1),
where a=x/p and b=y/p2. Note that a−1,a and a+1 are all positive since y=0. Now, p divides exactly one of (a−1),a and (a+1). If p divides (a−1) then, a and (a+1) have to be squares, which is not possible since a=0. So, p∤(a−1). Similarly, p∤(a+1). Thus, it should be the case that p∣a.
If a=0 is even, then (a−1),a/p and (a+1) are relatively prime to each other, so they all have to be squares. But it is not possible that (a−1) and (a+1) are both squares. Thus, a should be odd.
Now, (a−1,a+1)=2, so (a−1)=2r2 and (a+1)=2s2. This gives s2−r2=1 which implies s=1 and r=0. This gives a=1 which is not divisible by p. Thus there are no solutions in this case.