# If $\cos\theta$ is rational, then is $\cos k\theta$ also rational?

If $\cos\theta$ is rational, then is $\cos k\theta$ also rational, where $k$ is a positive integer? I tried a few simple cases, and they worked. Is it true? And if it is then how do I go about rigorously proving this?

I've tried using the identity of $\cos(A+B)$ with induction, but am not able to prove it.

Thanks.

We have $$\cos k\theta=T_k(\cos\theta)$$ where $T_k$ is the $k$th Chebyshev polynomial of the first kind. Since all Chebyshev polynomials have integral coefficients and $\cos\theta$ is rational, $\cos k\theta$ must also be rational.
For a lower-level proof, de Moivre's formula gives $\cos k\theta$ as the real part of $(\cos\theta+i\sin\theta)^k$, expanding to $$\cos k\theta=\sum_{l=0}^{\lfloor k/2\rfloor}\binom k{2l}\sin^{2l}\theta\cos^{k-2l}\theta$$ Since $\sin^2x=1-\cos^2x$: $$\cos k\theta=\sum_{l=0}^{\lfloor k/2\rfloor}\binom k{2l}(1-\cos^2\theta)^l\cos^{k-2l}\theta$$ Since binomial coefficients are integers, the RHS is an integer polynomial in $\cos\theta$, so $\cos k\theta$ is rational. In fact, this polynomial is one way to define the $T_k$.
{"ft_lang_label":"__label__en","ft_lang_prob":0.661349,"math_prob":0.9999672,"size":757,"snap":"2019-26-2019-30","text_gpt3_token_len":267,"char_repetition_ratio":0.17662683,"word_repetition_ratio":0.0,"special_character_ratio":0.31571993,"punctuation_ratio":0.071428575,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":1.0000098,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2019-07-19T08:25:30Z\",\"WARC-Record-ID\":\"<urn:uuid:c14e2721-b882-418a-b4ee-ed31fed94100>\",\"Content-Length\":\"143400\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:9c322b28-0b95-4990-ad85-5530c69462bf>\",\"WARC-Concurrent-To\":\"<urn:uuid:94eea4f3-6a8f-40f5-8ef9-2b89fff514bc>\",\"WARC-IP-Address\":\"151.101.129.69\",\"WARC-Target-URI\":\"https://math.stackexchange.com/questions/2641534/if-cos-theta-is-rational-then-is-cos-k-theta-also-rational\",\"WARC-Payload-Digest\":\"sha1:O36BWEBSTUEPRM43YYQGEPX4NLUMXNON\",\"WARC-Block-Digest\":\"sha1:GVTI4JQVNAADP2Z3HY76Z5ZYT6ZIQNIP\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2019/CC-MAIN-2019-30/CC-MAIN-2019-30_segments_1563195526153.35_warc_CC-MAIN-20190719074137-20190719100137-00060.warc.gz\"}"}