If cotx=512 for some x∈(π,3π2), then sin7x(cos13x2+sin13x2)+cos7x(cos13x2-sin13x2) is equal to [2026]
(1)
cotx=512⇒cosx=-513=2cos2x2-1
cos(x2)=-213 or 213 (rejected)
{∵x2∈(π2,3π4)}
(sin7x·sin13x2+cos7x·cos13x2)+(sin7x·cos13x2-cos7x·sin13x2)
=cos(7x-13x2)+sin(7x-13x2)
=cosx2+sinx2
=-213+313=113