I’m studying high school math and encountered this question in the extension section for derivatives. The text says an algebraic solution to the problem is harder but possible. There is also a similar question:
Show that every point on the plane of the graph $y = ax^3 + bx^2 + cx + d$ lies on at least one tangent to this cubic.
I would appreciate any solutions/methods that are within the grasp of high school math.
If (as in the other answer) you find two different tangents for parameter values $a\neq b$ of the parametrization $(t,t^3),$ they intersect in $$(\frac23(a+b-\frac{ab}{a+b}),-2 a b (-\frac{ab}{a+b}))\quad (\star),$$ then you also find a third different tangent for $c=-\frac{ab}{a+b}$: $(\frac23 (a+b+c),- 2 a b c).$ You need the second question answered (see below) to conclude all points of the plane are on a tangent for $y-x^3=0,$ so the ones not of the form $(\star)$ have exactly one tangent to the curve through them. And $(\star)$ or $(\frac23(\frac{a^2+ab+b^2}{a+b}),2\frac{a^2b^2}{a+b})$ only fills the first quadrant below the curve and the third quadrant above the curve, as we can see by $$(\zeta-a)(\zeta-b)(\zeta-c)=\zeta^3-(a+b+c) \zeta^2+ (ab+ac+bc)\zeta-abc\\=\zeta^3-\frac32 x_0 \zeta^2+0\zeta+\frac12 y_0$$ having discriminant $$-27 y_0 (y_0-x_0^3),$$ and remembering that the discriminant is zero if and only if at least two roots are equal. If the coefficients are real numbers, and the discriminant is not zero, the discriminant is positive if the roots are three distinct real numbers, and negative if there is one real root and two complex conjugate roots (see wikipedia).
For the second question: For $y = ax^3 + bx^2 + cx + d$ the tangent at $(t,at^3 + bt^2 + ct + d)$ is $y-(3at^2+2bt+c)x+2at^3+bt^2-d=0$ i.e. for a given $(x_0,y_0)$ we get $x = x_0, 0 = -2at^3+(3x_0a-b)t^2+2x_0bt+d+x_0c-y_0=p(t)$ we only need the existence of a root and since this is a degree three polynomial in $t$ we always find a parameter value for which there is a tangent though $(x_0,y_0)$ by the MVT and the fact that for sufficiently big values of $R,$ $p$ has different sign of the values $p(-R)$ and $p(R)$.