∫cosxsinx−π4dx=
12logsinx−π4−x−π42
logcosx−π4+x−π42+c
12logsinx+π4+x+π42+c
12logcosx+π4+x+π42+c
x−π4=t⇒dx=dt
=∫cos(x)sinx−π4dx=∫cost+π4sintdt=∫cost12−sint12sintdt=∫12cott−12dt=12log(sint)−t2+c=12logsinx−π4−x−π42+c