İlk aklıma gelen şey şu oldu,
2cos2x−1=cos2x ve
integrale şunu yaptım,
∫2cos2x−1cos2xdx=∫2dx−∫1cos2xdx
∫1cos2xdx ne olabilir? 1+tan2x e çok benziyor (aynısı),
∫1cos2xdx=∫(1+tan2x)dx bu da zaten (tanx)′=(1+tan2x) oldugundan
=∫(1+tan2x)dx=tanx+C olur
∫2cos2x−1cos2xdx=∫2dx−∫1cos2xdx=2x−tanx olur ve sınırları koyarsak
∫2cos2x−1cos2xdx=[2x−tanx]π/40=[π/2−1]−[0−0]=π/2−1