円周率が無理数であることの証明

　円周率が無理数であることの証明が知りたかった。実際円周率を連分数展開すると循環しない無限連分数になることが予想される。かつてパソコンを使ってやってみたことがある。
ヒントはペートル・ベックマン著「πの歴史」蒼樹書房　田尾陽一　清水韶光　共訳のP.188に紹介されていた。
連分数展開は後日アップ。