方程sinx+cosx=sqr(2)/2在区间【0,4π】上所有解的和是