>>844
tan1°が有理数か無理数かの証明って京大だっけ?