「a(但し、0<a<1/4とする。)を有理数とする時、tan(aπ)は無理数である。」
これをGaussの整数環がPIDで有る事を使ってせ、とあるのですが、
どうすればよいのでしょうか?