Recurrent proofs of the irrationality of certain trigonometric values

Li Zhou, Lubomir Markov

We use recurrences of integrals to give new and elementary proofs of the irrationality of pi, tan(r) for all nonzero rational r, and cos(r) for all nonzero rational r^2. Immediate…