I was trying to solve a problem involving an Insect crawling on the Cartesian/Coordinate Plane.

We have an insect on the origin of the coordinate plane, who remembers a particular angle $theta.$ We can command the insect to move in terms of a given string of commands with $text{R’s}$ and $text{M’s}.$

The command $R$ is for “Rotate an angle $theta$ anticlockwise”, the command $M$ for “Move $1$ Step forward in whatever angle you are facing”

For example, if the insect remembers the angle $theta=90^{circ},$ and performs the string MRMRMRM, then it will trace a square path, and will finally get back to the origin.

I need to prove that if $theta$ is an angle such that all of the numbers;

$$cos{theta}$$

$$cos(2theta)$$

$$cos(3theta)$$

$$vdots$$

are irrational, then there is no such string of $text{M’s}$ and $text{R’s}.$

But this is not the real question I want help on, I have an argument that can reduce this to proving an easier fact.

We let $T_k$ denotes the $k^text{th}$ Chebyshev Polynomial $big($so that $T_k(cos{theta})=cos{(ktheta)}big),$ and let $n$ be a natural number.

**Lemma 1:** We need to prove that, for all nonnegative integers $a_0,a_1,dots,a_n,$ there exists some polynomial $p(x),$ and integers $a, b,$ and a Chebyshev Polynomial $T_m$ such that;

$$p(x)big(a_n T_n(x)+a_{n-1}T_{n-1}(x)+cdots+a_0T_0(x)big)=aT_{m}(x)+b.$$

This is what I need help on. I have tried proving this by induction, but it didn’t help.

Can you help me prove Lemma 1, since I can manage the rest. If you think it is not true, you can tell me about it. In that case you can try to answer the original question.

Thank You and Regards,

MathEagle