>>532
つまりx^2−(√2)x+1=(x-√2/2)^2+1/2は
x-√2/2 = t でやればいいってこと?