円周率の無理性の証明
有理数 x に対する値 y = tan x が 0 または無理数であることから、0 でない有理数 y に対する値 x = arctan y は無理数であることがわかる。よって、π = 4 arctan 1 は無理数である。