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