Where is the imaginary unit, and are the sets of all positive integers, reals and complex numbers respectively.
Let and let . If then will be a rational multiple of with a rational cosine. That can only happen if (you can find a neat proof of that here). The result then follows quite easily.
Last edited by Opalg; August 5th 2011 at 12:44 AM.