Sử dụng đồng nhất thức:
1=cosπ4cosπ4=cos[(x+π4)−x]√22=√2cos[(x+π4)−x]
Ta được:
f(x)dx=√2∫cos[(x+π4)−x]dxsinxcos(x+π4)
=√2∫cos(x+π4)cosx+sin(x+π4)sinxsinxcos(x+π4)dx
=√2[∫cosxdxsinx+∫sin(x+π4)dxcos(x+π4)]
=√2[ln|sinx|−ln|cos(x+π4)|]+C=√2ln|sinxcos(x+π4)|+C