tanx=有理数を見たす有理数は0だけだが、tanπ/4は有理数なので、πは無理数