[sage-edu] Re: Trisecting an angle

2010-03-30 Thread Rob Beezer
On Mar 30, 10:20 am, William Stein wrote: > sage: log(QQ[cos(pi/9)].degree(),2) in ZZ > False Yes, that's better (and more expressive). -- You received this message because you are subscribed to the Google Groups "sage-edu" group. To post to this group, send email to sage-...@googlegroups.com

Re: [sage-edu] Trisecting an angle

2010-03-30 Thread William Stein
On Tue, Mar 30, 2010 at 9:51 AM, Rob Beezer wrote: > Is, of course, impossible, with the usual example being that 60 > degrees cannot be trisected, since 20 degrees is not constructible, > since the the cosine of 20 degrees is not constructible, since > adjoining the cosine of 20 degrees to the ra

[sage-edu] Trisecting an angle

2010-03-30 Thread Rob Beezer
Is, of course, impossible, with the usual example being that 60 degrees cannot be trisected, since 20 degrees is not constructible, since the the cosine of 20 degrees is not constructible, since adjoining the cosine of 20 degrees to the rationals creates a field extension whose degree is not a powe