n次式で表される関数f(x)がn個の相違なる実数解(α(1),α(2),α(3)…α(n))を持つ。

f(x)=(x-α(1))(x-α(2))(x-α(3))…(x-α(n))となることを検証しろ。