Zulip Chat Archive

Stream: Is there code for X?

Topic: Niven's theorem

Violeta Hernández (Jul 30 2022 at 22:07):

Do we have the characterization of rational multiples of π with rational sines/cosines?

Violeta Hernández (Jul 30 2022 at 22:32):

To prove this, it would be nice to first have the trigonometric characterizations of Chebyshev polynomials. The rest of the proof is just the rational root theorem, which I would presume we have?

Violeta Hernández (Jul 30 2022 at 22:33):

(yeah, we do)

Violeta Hernández (Jul 30 2022 at 22:39):

Oh wait, we also have the trig characterizations of Chebyshev polynomials

Last updated: Dec 20 2023 at 11:08 UTC