三角函数题目:已知:cosa=cosx*siny cosb=sinx*siny 求证:sin^2*a+sin^2*b+s