1. Derive the integration formula cos(ax)cos(bx) x² dx = (b-a) (a ≥ 0, b > 0). 2 Then, with the aid of the trigonometric identity 1 - cos(2x) = 2 sin² x, point out how it follows that sin² x dx x2 - = Π - 2