Ah! Yes, I would expect that the transcendentality would be a better place to look. After all, the fact that π cannot be the solution of an algebraic equation is a very weird one, and probably where you can find it, but I'm out of proof practice, and sleepy, and at work. Why don't you have your students do it for extra credit work ;-)
(no subject)
Date: 2006-05-17 02:00 pm (UTC)I thought so too, until it was pointed out to me that sqrt(2) is irrational. It might have something to do with transcendentality.... Hm....
(no subject)
Date: 2006-05-17 02:33 pm (UTC)