HMIC 2025 Problem 2

Find all polynomials $P$ with real coefficients for which there exists a polynomial $Q$ with real coefficients such that for all real $t$ ,

$\cos (P(t)) = Q(\cos t).$

Dataset text NuminaMath olympiads. Quoted with source.

Show the answer

P(x) = a x + b\pi

Solutions

No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.