>906
無理数でなければ成立しない根拠は何？

右辺が小数となるからです。