6. [5] The elliptic curve $y^{2}=x^{3}+1$ is tangent to a circle centered at $(4,0)$ at the point $\left(x_{0}, y_{0}\right)$. Determine the sum of all possible values of $x_{0}$.
Answer: $\frac{1}{3}$. Note that $y^{2} \geq 0$, so $x^{3} \geq-1$ and $x \geq-1$. Let the circle be defined by $(x-4)^{2}+y^{2}=c$ for some $c \geq 0$. Now differentiate the equations with respect to $x$, obtaining $2 y \frac{\mathrm{d} y}{\mathrm{~d} x}=3 x^{2}$ from the given and $2 y \frac{\mathrm{d} y}{\mathrm{~d} x}=-2 x+8$ from the circle. For tangency, the two expressions $\frac{\mathrm{d} y}{\mathrm{~d} x}$ must be equal if they are well-defined, and this is almost always the case. Thus, $-2 x_{0}+8=3 x_{0}^{2}$ so $x_{0}=-2$ or $x_{0}=4 / 3$, but only the latter corresponds to a point on $y^{2}=x^{3}+1$. Otherwise, $y_{0}=0$, and this gives the trivial solution $x_{0}=-1$