- 767 名前：１３２人目の素数さん mailto:sage [2020/12/14(月) 01:17:09.85 ID:XXEfGQML.net]
- >>714
∫1/sin^3(x)dx=1/8 (-csc^2(x/2) + sec^2(x/2) + 4 ln|sin(x/2)| - 4 ln|cos(x/2)|) + C
において
-csc^2(x)=d/dx cot(x)
πcot(πx)=1/x+2xΣ_{n=1}^{∞} 1/(x^2-n^2)
ln(sin(x))=1/2 ln(1-cos^2 (x))
ln(1-x)=-Σ_{n=1}^{∞}x^n/n
等々使えばうまい事1/sin^3(x)がx/(x^2-n^2)^2とsin^n(x/2), cos^2(x/2)の和で表されてx^4(π-x)^3掛けて項別積分出来そう
