を用いて、初めて円周率の無理性を示した。