Using a very standard trigometric identity , we can easily convert the following ,
Assuming , for all reals . So,
for all . Since holds for infinitely many , it must hold for all (since is a polynomial). so we get that , is a even polynomial .
for infinitely many .
so we get ,
Again as it is a polynomial function we can extend it all . And we get , for all reals