>>513
αが無理数の場合はどうすればいいのでしょうか