微分　logx
∫ cos⁡ 2 xdx = ∫ 1+cos⁡2x 2 dx

半角の公式

　 cos 2 x = 1 + cos 2 x 2

より

∫ cos⁡ 2 xdx = ∫ 1+cos⁡2x 2 dx

⇒積分の公式(応用編)