πが無理数であることの証明
円周率が無理数であることの証明
大阪大学 後期 2003