y'=cosx
所以
斜率=√2/2
切线垂直的直线斜率为-√2
所以
方程为
y-√2/2=-√2(x-π/4)