如何证明 exp(x) exp(-x) sin(x) cos(x) 四个函数线性无关?