换元法
令 sinx +cosx =t,两边平方,得 sinxcosx=(t^2-1)/2,-√2