已知向量a=(2cosx/2,tan(x/2+π/4)),b=(√2sin(x/2+π/4),tan(x/2-π/4))
已知向量a=(2cosx/2，tan(x/2+π/4))，b=(√2sin(x/2+π/4)，tan(x/2-π/4))，令f(x)=a·b。是否存在实数x属于[0，π]，使f(x)+f'(x)=0（其中f'(x)是f(x)的导函数）？若存在，则求出x，若不存在，则证明之