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 power of 2.

A modern approach:

sage: isinstance(log(QQ[cos(pi/9)].degree(),2), Integer)
False

Rob

-- 
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.
To unsubscribe from this group, send email to 
sage-edu+unsubscr...@googlegroups.com.
For more options, visit this group at 
http://groups.google.com/group/sage-edu?hl=en.

Reply via email to