$\textbf{How to attempt proving that $4x^3-3z^2=1$ has no positive integer solutions?} $
I want to show there is no positive integer solution to this equation other than $(1,1)$. How to do that? Is there a procedure or theorem that could be used here?
The above equation could be transformed to a Mordell Elliptic curve:
$$ t^3-s^2=432 $$ $$ s=36x,\ t=12z $$ Hence $(s,t)=(36,12)$ is a solution. Also due to Mordell, this has been shown that this type of curve can only have finitely many integer points. How to show there is only one in this case?
My reasoning used Hall's conjecture. But could it be done in any other way?
