algebraic degree of sin(1 degree)

For the discussion of math. Duh.

Moderators: gmalivuk, Moderators General, Prelates

Farabor
Posts: 157
Joined: Wed Apr 06, 2011 9:46 am UTC

algebraic degree of sin(1 degree)

So, I've just finished showing that sin (1 degree) is algebraic for my homework problem. I used the method of Euler's equation, with e^(i*90 degrees), which lead me to a 180 degree polynomial in sin(1 degree) (Danged overloaded term, degree!). Thus, I've got it's algebraic of degree no more than 180....my question is (Not homework, my own curiosity), is the a smaller degree polynomial that will work?

I've looked around online and seen the work to show how you can express sin(1 degree) in terms of radicals, but I couldn't immediately follow from that what minimal degree polynomial that number is the root of (since it's ugly!)

Demki
Posts: 199
Joined: Fri Nov 30, 2012 9:29 pm UTC

Re: algebraic degree of sin(1 degree)

Last edited by Demki on Tue Mar 11, 2014 10:37 pm UTC, edited 1 time in total.

Qaanol
The Cheshirest Catamount
Posts: 3069
Joined: Sat May 09, 2009 11:55 pm UTC

Re: algebraic degree of sin(1 degree)

wee free kings

Moole
Posts: 93
Joined: Sun Jan 08, 2012 9:52 pm UTC

Re: algebraic degree of sin(1 degree)

Since totient(180) = 48 (totient being the number of numbers coprime to 180 less than one 180 - or the order of the multiplicative group mod 180), this makes sense; the minimum polynomial is presumably the 180th cyclotomic polynomial (though I don't know how one would prove that)
Mathematical hangover (n.): The feeling one gets in the morning when they realize that that short, elementary proof of the Riemann hypothesis that they came up with at midnight the night before is, in fact, nonsense.

DavCrav
Posts: 251
Joined: Tue Aug 12, 2008 3:04 pm UTC
Location: Oxford, UK

Re: algebraic degree of sin(1 degree)

Moole wrote:Since totient(180) = 48 (totient being the number of numbers coprime to 180 less than one 180 - or the order of the multiplicative group mod 180), this makes sense; the minimum polynomial is presumably the 180th cyclotomic polynomial (though I don't know how one would prove that)

If it's true that the minimal polynomial is the 180th cyclotomic polynomial, then here is a two-step proof:

1) Prove that x^180=1.
2) Prove that x^i =/=1 for any i<180 dividing 180.