设sina+cosa=t,则(sina+cosa)^2=t^2=1+2sinacosa
所以sinacosa=(t^2-1)/2
f(t)=(t^2-1)/2
f(x)=(x^2-1)/2
所以f(cospi/6)=[cos(pi/6)^2-1]/2=-1/8