無理数だから互いに素な有理数の分数じゃね?