1/√2は√2/2 じゃないの?