いない間に話が随分進んでいるが、
作図可能数でコンパスで描く円周の長さは超越数πである
作図可能かどうかを問う円積問題はπが
超越数なることを示されることで解決した