I've just read this mathematical puzzle :

If α, β, γ are the roots of the cubical polynomial x³ + 5x - 2, what is the value of α⁴+β⁴+γ⁴?

apparently it is a direct application of the Newton-Girard identities .

do we have them in mathcomp?

I don't think so.

Last updated: Feb 08 2023 at 08:02 UTC