Recall that a real number is *algebraic* if it is the root of a polynomial with integer coefficients and that it is *transcendental* otherwise. For example is algebraic because it is a root of the polynomial , but is transcendental because it is not the root of any such equation. (On a recent blog post I proved that is a transcendental number.)

Today I would like to prove that a certain large class of numbers is algebraic.

We know that , , and are algebraic numbers. It may not be surprising, then, that when a rational multiple of is the argument of a trigonometric function we obtain an algebraic number.

Theorem.If is a rational multiple of , then , , , , , and are algebraic numbers (if they are defined).

It turns out that there is a nice proof of this fact that uses two of the most celebrated results in complex analysis: Euler’s identity

Let be a rational multiple of . For simplicity of calculations we will write as a rational multiple of :

We use Euler’s identity and DeMoivre’s formula to obtain this string of equalities.

(Note: this argument shows that is an th root of unity in ; that is, is a root of the polynomial . This shows that is an algebraic complex number. We could simply use the theorem that if is an algebraic complex number, then and are algebraic real numbers—a result that is not difficult to prove—to obtain a quick proof that and are algebraic. But the following trigonometric argument is too nice to skip. Plus the proof constructs the polynomials which have our numbers as roots.)

The idea of the proof is to multiply out , set the real part equal to 1 and the imaginary part equal to 0. Then apply some trigonometric identities to obtain the polynomial relations.

We will illustrate with an example, but the proof of the general case is identical. Consider . Using the relationship from above we have

Setting the real parts equal we obtain

Notice that all of the exponents of are even (this will always happen because is real if and only if is even). We know that , so we may replace all instances of with to obtain

In other words, is a root of the polynomial

Thus is algebraic. This identical argument works for the cosine of any rational multiple of .

Now consider the imaginary part of the equation. Setting both sides equal we obtain

Notice that every term is the product of five trigonometric functions (that is, the sum of the exponents of sines and cosines is 5). If we divide through by we obtain the following expression with tangents

Thus is a root of the polynomial

and we conclude that is algebraic. Again, this same trick (dividing the imaginary part by ) works for the tangent of any rational multiple of .

What about ? Here we use the identity . So

which we have shown is algebraic.

Finally, since the set of algebraic numbers is a field, we know that , , and are algebraic. (We could also have used this field property to show that is algebraic, since .)

Just a basic question. Why do you subtract the 10x part of the expansion rather than add?

By:

Rick Meeseon October 30, 2010at 9:59 am

Are you referring to 10’s in the expansion of ? It is because one of them will have an in front, which is -1 and the other has which is .

By:

Dave Richesonon November 1, 2010at 9:45 am

Thanks, I get it.

By:

Rick Meeseon November 5, 2010at 8:53 pm

[...] 1989.) So, on the heals of my previous posts about algebraic and transcendental numbers (here and here), here’s my list of [...]

By:

Top ten transcendental numbers « Division by Zeroon November 4, 2010at 10:23 am

漂亮的证明：sin/cos/tan(π的有理数倍)是代数数…很多漂亮的证明都不起眼地隐没在成山的数学文献中。比如标题上这个。 先回忆一下什么是代数数：一个数能表示成一个整系数多项式方程的根，那么这个数是代数数，否则叫超越数。比如√3/3是代数数，因为它是f(x) = 3×2-1的根。反之，π是超越数。这个证明很困难，有兴趣的自己搜索。 现在，我们证明： 定理：如果θ是π的有理数倍，那么sin(θ),cos(θ),tan(θ),cot(θ),sec(θ),csc(θ)均为代数数（如果它们存在）。 首先，我们用 来表示θ。这里m和n是互质的整数。 注意到对任意的…

By:

Exp618:My Blogon April 28, 2012at 10:57 pm