Evaluate the definite integrals`int_0^(pi/2) cos2xdx`

Explanation

To evaluate the definite integral \( \int_0^{\frac{\pi}{2}} \cos 2x \, dx \), we will follow these steps:

### Step 1: Find the Indefinite Integral
We start by finding the indefinite integral of \( \cos 2x \).

\[ \int \cos 2x \, dx \]
...