Given an elliptic curve $E=\{ (x,y) \in \mathbb{F}_q^2 | y^2=x^3+ax+b \}$. Now deduce the general equation for doubling a point $P:=(x,y) \in E$.
---
Firstly I constructed the function f $f(x,y)=y^2-x^3-ax-b$. Then I tried to calculate there $\nabla f = (-3x^2-a,2y)$. The tangent line in $(x,y)$ is $(x+t*(-3x^2-a),y+t*2y)$ for a $t\in\mathbb{R}$. Then for a suitable t one gets $-(2P)=(x+t*(-3x^2-a),y+t*2y)$ and then by multiplicating the y-coordinate by -1 the double of P.
But when I plug the point -(2P) into the equation of the elliptic curve $y^2=x^3+ax+b$ I don't get a unique t out. I doubt if my solution works at all. How can I solve this?