Rational points on the elliptic curve $y^2=x^3 -x$ [duplicate]

I've been trying to find rational points on the elliptic curve $y^2=x^3 -x$ but I can't find anything else apart from $(-1,0), (0,0), (1,0)$. I have like an 'edgy' proof that it may not be possible to find rational points on this curve(apart from the ones already mentioned), but I'm unsure about it. Can anyone help?

• See lmfdb.org/EllipticCurve/Q/32/a/3 . As ever, the rational points can be verified using descent. – Angina Seng Aug 12 '18 at 15:14
• Wow thanks so much for that amazing website – Dean Yang Aug 12 '18 at 15:24
• You can also install Sage (sagemath.org) in your computer or create an account in CoCalc (cocalc.com) which you can use to answer your question and you can do experiments with other curves. – Angelos Koutsianas Aug 12 '18 at 17:56

On the website SageMath Cell server. Switch the language to "GP". Enter the lines

ellfromeqn(-y^2 + x^3 - x);
print("torsion = ",elltors(E));
print("generators = ",ellgenerators(E));


Click on "Evaluate" and the output is

torsion = [4, [2, 2], [[-1, 0], [0, 0]]]
generators = []


This tells you that the order of the torsion group is $4$, which is the product of two cyclic groups, and two generators of the torsion group is $(-1,0)$ and $(0,0)$. The Mordell-Weil group of $E$ is trivial and thus has no generators.