WolframAlpha 計算知能 AI
4/√2 の分母を有理化