Mooie substitutie!
Samengevat:
\(x^3+Px+Q=0\)
bovenstaande substitutie (ukster):
\(\left(y + \frac{\lambda}{y} \right)^3 + P\cdot\left(y + \frac{\lambda}{y} \right) +Q = 0\)
vermenigvuldig met y³:
\((y^2 + \lambda)^3 + P\cdot\left(y^4 + \lambda\cdot y^2 \right) +Q\cdot y^3 = 0\)
werk uit:
\(y^6+3y^4\lambda+3y^2\lambda^2 + \lambda^3 + Py^4 + P\lambda y^2 + Q y^3 = 0\)
\(y^6+(3\lambda + P)y^4 + Qy^3 + (3\lambda^2+P\lambda) y^2 + \lambda^3 = 0\)
Kies λ = -P/3 en we houden over:
\(y^6 + Qy^3 - \left( \frac{P}{3} \right)^3 = 0\)
waaruit we y³ met de abc-formule kunnen oplossen (en daarmee ook x kunnen bepalen).