4/√2 の分母を有理化