3角関数3つでの積和公式・和積公式
\[
\sin A+\sin B+\sin C=4\sin\frac{B+C}{2}\sin\frac{C+A}{2}\sin\frac{A+B}{2}+\sin\left(A+B+C\right)
\]
カテゴリー: 関数
3角関数・双曲線関数の無限乗積展開
\[
\sin\left(\pi z\right)=\pi z\prod_{k=1}^{\infty}\left(1-\frac{z^{2}}{k^{2}}\right)
\]
リーマン・ゼータ関数(フルヴィッツ・ゼータ関数)のローラン展開時のスティルチェス定数(一般化スティルチェス定数)
\[
\gamma_{k}=\lim_{n\rightarrow\infty}\left(\left(\sum_{j=1}^{n}\frac{\log^{k}j}{j}\right)-\frac{\log^{k+1}n}{k+1}\right)
\]
リーマン・ゼータ関数のローラン展開
\[
\zeta\left(s\right)=\frac{1}{s-1}-\frac{1}{2}-s\int_{1}^{n}\frac{t-\left\lfloor t\right\rfloor -\frac{1}{2}}{t^{s+1}}dt
\]
飛び飛びの2項定理
\[
\sum_{k=0}^{\infty}C\left(n,2k\right)a^{2k}b^{n-2k}=\frac{1}{2}\left\{ \left(a+b\right)^{n}+\left(-a+b\right)^{n}\right\}
\]
リーマン・ゼータ関数を含む総和
\[
\sum_{k=2}^{\infty}\frac{\zeta\left(k\right)-1}{k}=1-\gamma
\]
そのままだとΓ(0)になる積分
\[
\int_{0}^{\infty}\left(x^{-1}e^{-x}-\frac{e^{-nx}}{1-e^{-x}}\right)dx=H_{n-1}-\gamma
\]
指数関数の多重対数関数の積分
\[
\int\Li_{n}\left(e^{z}\right)dz=\Li_{n+1}\left(e^{z}\right)+C
\]
正接関数・双曲線正接関数の多重対数関数表示
\[
\tan^{\pm1}z=i^{\pm1}\left(1+2\Li_{0}\left(\mp e^{2iz}\right)\right)
\]
2項係数の飛び飛びの総和
\[
\sum_{k=-\infty}^{\infty}C\left(mn,mk+l\right)=\frac{1}{m}\sum_{j=0}^{m-1}\left(1+\omega_{m}^{j}\right)^{mn}\left(\omega_{m}^{j}\right)^{-l}
\]
偶関数・奇関数の定積分
$f\left(x\right)$が偶関数ならば$\int_{-a}^{a}f\left(x\right)dx=2\int_{0}^{a}f\left(x\right)dx$
偶関数・奇関数の導関数
偶関数の導関数は奇関数になる。
偶関数・奇関数の和・積
\[
\text{奇関数}+\text{奇関数}=\text{奇関数}
\]
関数の偶奇分解
\[
f\left(x\right)=f_{e}\left(x\right)+f_{o}\left(x\right)
\]
偶関数・奇関数の定義
\[
f\left(-x\right)=\pm f\left(x\right)
\]
1と3角関数・双曲線関数
\[
1+\sin z=\left(\cos\frac{z}{2}+\sin\frac{z}{2}\right)^{2}
\]
(*)ガンマ関数と複素数
\[
\lim_{R\rightarrow\infty}\int_{0}^{Re^{i\theta}}z^{\alpha-1}e^{-z}dz=\Gamma\left(\alpha\right)
\]
ポリガンマ関数同士の差の極限
\[
\lim_{z\rightarrow0}\left(\psi^{\left(n\right)}\left(z-m\right)-\psi^{\left(n\right)}\left(z\right)\right)=n!H_{m,n+1}
\]
2項係数が0になるとき
\[
\forall m,n\in\mathbb{Z},\left(0\leq m<n\right)\lor\left(n<0\leq m\right)\lor\left(m<n<0\right)\Leftrightarrow C\left(m,n\right)=0
\]
階乗冪(上昇階乗・下降階乗)とその逆数の値が0となるとき
\[
\forall m,n\in\mathbb{Z},0\leq m<n\Leftrightarrow P\left(m,n\right)=0
\]
2項係数を含む総和
\[
\sum_{k=0}^{n}\frac{\left(-1\right)^{k}C\left(n,k\right)}{m+k}=\frac{1}{mC\left(m+n,m\right)}
\]
中央2項係数の値
\[
C\left(2n,n\right)=4^{n}\left(-1\right)^{n}C\left(-\frac{1}{2},n\right)
\]
ガンマ関数の非正整数近傍での値
\[
\lim_{\epsilon\rightarrow\pm0}\Gamma\left(-\epsilon\right)=-\lim_{\epsilon\rightarrow\pm0}\Gamma\left(\epsilon\right)
\]
階乗・ガンマ関数の商と階乗冪(上昇階乗・下降階乗)の関係
\[
\frac{\Gamma\left(x\right)}{\Gamma\left(y\right)}=Q\left(y,x-y\right)
\]
負の整数の2項係数
\[
C\left(-m,-n\right)=\left(-1\right)^{m-n}C\left(n-1,m-1\right)
\]
負の整数の階乗の商
\[
\frac{\left(-m\right)!}{\left(-n\right)!}=\left(-1\right)^{n-m}\frac{\Gamma\left(n\right)}{\Gamma\left(m\right)}
\]
余弦積分の極限
\[
\lim_{x\rightarrow\pm0}\left\{ \Ci\left(\alpha x\right)-\Ci\left(x\right)\right\} =\begin{cases}
\Log\alpha & x\rightarrow+0\\
\Log\left(-\alpha\right)-\pi i & x\rightarrow-0
\end{cases}
\]
指数積分・正弦積分・余弦積分の定義
\[
\Si\left(x\right):=\int_{0}^{x}\frac{\sin x}{x}dx
\]
パスカルの法則の一般形
\[
C\left(x+n,y+n\right)=\sum_{k=0}^{n}C\left(n,k\right)C\left(x,y+k\right)
\]
パスカルの法則の応用
\[
C\left(x+n,y+n\right)=C\left(x,y+n\right)+\sum_{k=0}^{n-1}C\left(x+k,y+n-1\right)
\]