Let $P$ be a nonconstant polynomial with constant term equal $0$ such that $\lim_{n\to\infty}\sin(P(n)\pi)$ and $\lim_{n\to\infty}\cos(P(n)\pi)$ exist.
Prove or disprove: all coefficients of $P$ are rational.
The problem is based on my own investigations. Related. Both might be known, but I couldn't find results of that sort.