Using properties of definite integrals, evaluate: integral from 0 to pi/2 of cos^2 x dx.
Hint. Rewrite cos^2x=(1+cos2x)/2 and integrate directly — no property trick is needed here.
Using cos^2x=(1+cos2x)/2, the antiderivative is x/2+(1/4)sin2x, which evaluates to pi/4 at x=pi/2 (since sin(pi)=0) and 0 at x=0.
✦ pi/4
