2011-05-09 円周率の無理数性 math 自然数 があって であるとする.補題 は整数.これは に矛盾.補題の証明 とおくと, よって, 一方, は整数なので,, も整数.// http://d.hatena.ne.jp/yoshitake-h/20080321