最終的に分母が有理数になるにはちがいないから有理化でよい