Trigonometric functions of rational numbers are algebraic numbers!

Geometry Level 5

What is the degree n n of the minimal polynomial for tan ( 1 ) \tan(1^\circ) ?

Definition: The minimal polynomial for an algebraic number x x is the monic polynomial f f of degree n n such that f ( x ) = 0 f(x) = 0 , f f has rational coefficients, and for any f 1 f_1 such that f 1 ( x ) = 0 f_1(x) = 0 and f 1 f_1 has rational coefficients, deg ( f 1 ) deg ( f ) \deg(f_1) \geq \deg(f) .


The answer is 24.

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

2 solutions

Michael Mendrin
Aug 29, 2015

First, it’s not too difficult to determine that the roots of the equation

x 2 4 x + 1 = 0 { x }^{ 2 }-4x+1=0

yield roots T a n ( θ ) Tan(\theta ) where θ = 15 , 75 , 195 , 255 \theta=15, 75, 195, 255

From trigonometric identities, we know that

T a n ( 3 x ) = 3 T a n ( x ) T a n ( x ) 3 1 3 T a n ( x ) 2 Tan(3x)=\dfrac { 3Tan(x)-{ Tan(x) }^{ 3 } }{ 1-3{ Tan(x) }^{ 2 } }

T a n ( 5 x ) = 5 T a n ( x ) 10 T a n ( x ) 3 + T a n ( x ) 5 1 10 T a n ( x ) 2 + 5 T a n ( x ) 4 Tan(5x)=\dfrac { 5Tan(x)-10{ Tan(x) }^{ 3 }+{ Tan(x) }^{ 5 } }{ 1-10{ Tan(x) }^{ 2 }+{ 5Tan(x) }^{ 4 } }

so that direct consecutive substitutions would yield a polynomial of degree 30 30 .

However, 15 , 75 , 195 , 255 15,75,195,255 yields angles

5 , 25 , 65 , 85 , 125 , 145 , 185 , 205 , 245 , 265 , 305 , 325 5, 25, 65, 85, 125, 145, 185, 205, 245, 265, 305, 325

which can be worked out by the formula 1 3 ( θ + 180 n ) \dfrac { 1 }{ 3 } (\theta +180n) for n = 0 , 1 , 2 , 3 n=0,1,2,3… , which in turn yields angles

1 , 5 , 13 , 17 , 25 , 29 , 37 , 41 , 49 , 53 , 61 , 65 , 73 , 77 , 85 , 89 , 97 , 101 , 109 , 113 , 1, 5, 13, 17, 25, 29, 37, 41, 49, 53, 61, 65, 73, 77, 85, 89, 97,101, 109, 113,
121 , 125 , 133 , 137 , 145 , 149 , 157 , 161 , 169 , 173 , 181 , 185 , 193 , 197 , 205 , 121, 125, 133, 137, 145, 149, 157, 161, 169, 173, 181,185, 193, 197, 205,
209 , 217 , 221 , 229 , 233 , 241 , 245 , 253 , 257 , 265 , 269 , 277 , 281 , 289 , 293 , 209, 217, 221, 229, 233, 241, 245, 253, 257, 265,269, 277, 281, 289, 293,
301 , 305 , 313 , 317 , 325 , 329 , 337 , 341 , 349 , 353 301, 305, 313, 317, 325, 329, 337, 341, 349,353


which can be worked out by the formula 1 5 ( θ + 180 n ) \dfrac { 1 }{ 5 } (\theta +180n) for n = 0 , 1 , 2 , 3 n=0,1,2,3…
Among the 60 60 angles listed, 12 12 are repeats from the previous, which means the polynomial of degree 30 30 is degenerate, a product of two polynomials of degree 6 6 and degree 24 24 . The revised list of angles, none of which are multiples of 3 3 or 5 5

1 , 13 , 17 , 29 , 37 , 41 , 49 , 53 , 61 , 73 , 77 , 89 , 97 , 101 , 109 , 113 , 121 , 133 , 1, 13, 17, 29, 37, 41, 49, 53, 61, 73, 77, 89, 97, 101, 109, 113, 121, 133,
137 , 149 , 157 , 161 , 169 , 173 , 181 , 193 , 197 , 209 , 217 , 221 , 229 , 233 , 241 , 137, 149, 157, 161, 169, 173, 181, 193, 197, 209, 217, 221, 229, 233, 241,
253 , 257 , 269 , 277 , 281 , 289 , 293 , 301 , 313 , 317 , 329 , 337 , 341 , 349 , 353 253, 257, 269, 277, 281, 289, 293, 301, 313, 317, 329, 337, 341, 349, 353

has 48 48 entries, making for the 24 24 roots of a polynomial of degree 24 24 , since T a n ( θ ) = T a n ( θ + π ) Tan(\theta )=Tan(\theta +\pi )

This hardly presents a proof that the minimal polynomial for T a n ( 1 ) Tan(1) has degree 24 24 , but hopefully gives one an idea of why it should be so.

There is a theorem that says that the degree of the minimal polynomial of tan 2 π n \tan\dfrac{2\pi}{n} where n 4 n\neq 4 is:

  • φ ( n ) \varphi(n) if gcd ( n , 8 ) < 4 \gcd(n,8)<4
  • φ ( n ) 4 \frac{\varphi(n)}{4} if gcd ( n , 8 ) 4 \gcd(n,8)\geq 4

Where φ \varphi is Euler's Totient function.

In this case we want the minimal polynomial of tan 2 π 360 \tan \dfrac{2 \pi}{360} , thus n = 360 n=360 and gcd ( 360 , 8 ) = 8 \gcd(360,8)=8 , so the degree is φ ( 360 ) / 4 = 96 / 4 = 24 \varphi(360)/4=96/4=\boxed{24}

I don't think the theorem is correct as stated; consider n = 12 n=12 . You have a third case when n 4 ( m o d 8 ) n\equiv{4}\pmod{8} ... in that case the degree of the minimal polynomial is ϕ ( n ) 2 \frac{\phi(n)}{2} , I believe.

Otto Bretscher - 5 years, 8 months ago

Log in to reply

Yes, that's correct, and I wonder if there are more cases to consider.

Alan Enrique Ontiveros Salazar - 5 years, 8 months ago

Log in to reply

Here is a pretty good paper on the subject (see Page 5).There seem to be these three cases indeed.

Otto Bretscher - 5 years, 8 months ago

Very nice! Do you have a proof or a reference for this theorem? If you've never seen one, there's a nice treatment (as well as a proof for the algebraic degrees of sine and cosine) in Ivan Niven's "Irrational Numbers."

Michael Lee - 5 years, 9 months ago

Log in to reply

Yes, I was reading these two articles ( this and this ) about these kinds of polynomials. I am very new in this topic for now, I will read that article, thanks :D

Alan Enrique Ontiveros Salazar - 5 years, 9 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...