剰余演算同士の和・差
\[
\mod\left(x,a,b\right)+\mod\left(y,a,b\right)=\mod\left(x+y,a,b\right)+a\mzp_{0,1}\left(b\sgn\left(a\right),b\sgn\left(a\right)+\left|a\right|;\sgn\left(a\right)\left(\mod\left(x,a,b\right)+\mod\left(y,a,b\right)\right)\right)
\]
カテゴリー: 関数
mzp関数の定義と負数の関係
\[
\mzp_{a,b}\left(x_{1},x_{2};-x\right)=-\mzp_{-b,-a}\left(-x_{2},-x_{1};x\right)
\]
偏角の三角関数
\[
\sin\Arg z=\frac{\Im z}{\left|z\right|}
\]
オイラーの公式の応用
\[
\cos z\pm i\sin z=e^{\pm iz}
\]
ヘヴィサイドの階段関数と符号関数の積
\[
\sgn\left(x\right)H_{a}\left(x\right)=H_{0}\left(x\right)
\]
ヘヴィサイドの階段関数の正数と負数の和と差
\[
H_{a}\left(x\right)+H_{b}\left(-x\right)=1+\left(a+b-1\right)\delta_{0,x}
\]
ヘヴィサイドの階段関数と符号関数・絶対値
\[
H_{\frac{1}{2}}\left(\pm x\right)=\frac{1\pm\sgn x}{2}
\]
ヘヴィサイドの階段関数の負数・和・差
\[
H_{a}\left(-x\right)=-H_{a}\left(x\right)+1+\left(2a-1\right)\delta_{0,x}
\]
ヘヴィサイドの階段関数と符号関数の関係
\[
H_{a}\left(x\right)=\frac{\sgn\left(x\right)+1}{2}+\left(a-\frac{1}{2}\right)\delta_{0,x}
\]
ヘヴィサイドの階段関数同士の変換
\[
H_{a}\left(x\right)=H_{b}\left(x\right)+\left(a-b\right)\delta_{0,x}
\]
ヘヴィサイドの階段関数と単位ステップ関数の関係
\[
H_{1}\left(x\right)=U\left(x\right)
\]
ヘヴィサイドの階段関数とクロネッカーのデルタの関係
\[
H_{a}\left(n\right)-H_{b}\left(n-1\right)=a\delta_{0,n}+\left(1-b\right)\delta_{1,n}
\]
ヘヴィサイドの階段関数と絶対値・符号関数
\[
H_{a}\left(\left|c\right|x\right)=H_{a}\left(x\right)
\]
ヘヴィサイドの階段関数の複素積分表示
\[
H_{\frac{1}{2}}\left(x\right)=\frac{1}{2\pi i}\lim_{\epsilon\rightarrow0+}\int_{-\infty}^{\infty}\frac{1}{z-i\epsilon}e^{ixz}dz
\]
ヘヴィサイドの階段関数の極限表示
\[
H_{\frac{1}{2}}\left(x\right)=\lim_{k\rightarrow\infty}\frac{1}{2}\left(1+\tanh\left(kx\right)\right)
\]
ヘヴィサイドの階段関数の微分・積分と微分・積分表示
\[
\frac{dH\left(x\right)}{dx}=\delta\left(x\right)
\]
ヘヴィサイドの階段関数と単位ステップ関数の定義
\[
H_{a}\left(x\right)=\begin{cases}
0 & \left(x<0\right)\\
a & \left(x=0\right)\\
1 & \left(0<x\right)
\end{cases}
\]
1±itan(z)など
\[
1\pm i\tan z=\frac{1}{\cos\left(2\Re z\right)+\cosh\left(2\Im z\right)}\left(e^{\pm2i\Re z}+e^{\mp2\Im z}\right)
\]
三角関数・双曲線関数の実部と虚部
\[
\sin z=\sin\left(\Re z\right)\cosh\left(\Im z\right)+i\cos\left(\Re z\right)\sinh\left(\Im z\right)
\]
逆三角関数と逆双曲線関数の関係
\[
\Sin^{\bullet}\left(iz\right)=i\Sinh^{\bullet}z
\]
逆三角関数と逆双曲線関数の負角
\[
\Sin^{\bullet}\left(-z\right)=-\Sin^{\bullet}z
\]
三角関数と双曲線関数の実部と虚部
\[
\tan z=\frac{\sin\left(2\Re z\right)+i\sinh\left(2\Im z\right)}{\cos\left(2\Re z\right)+\cosh\left(2\Im z\right)}
\]
巾関数と逆三角関数・逆双曲線関数の積の積分
\[
\int z^{\alpha}\Sin^{\bullet}zdz=\frac{1}{\alpha+1}\left(z^{\alpha+1}\Sin^{\bullet}z-\frac{z^{\alpha+2}}{\alpha+2}F\left(\frac{1}{2},\frac{\alpha}{2}+1;\frac{\alpha}{2}+2;z^{2}\right)\right)+C
\]
すべての自然数の積(解析接続あり)
\[
\prod_{k=1}^{\infty}k=\sqrt{2\pi}
\]
リーマン・ゼータ関数とディレクレ・イータ関数の導関数の特殊値
\[
\zeta'\left(0\right)=-\Log\sqrt{2\pi}
\]
多重対数関数を含む積分
\[
\int\Li_{n}\left(z\right)dz=\sum_{k=0}^{n-2}\left\{ \left(-1\right)^{n-k}z\Li_{k+2}\left(z\right)\right\} -\left(-1\right)^{n}\left(z-\left(1-z\right)\Li_{1}\left(z\right)\right)+C
\]
逆正接関数・逆双曲線正接関数と多重対数関数の関係
\[
\Tan^{\bullet}z=\frac{i}{2}\left(-\Li_{1}\left(iz\right)+\Li_{1}\left(-iz\right)\right)
\]
三角関数と双曲線関数の実部と虚部
\[
\sin z=\sin\left(\Re\left(z\right)\right)\cosh\left(\Im\left(z\right)\right)+i\cos\left(\Re\left(z\right)\right)\sinh\left(\Im\left(z\right)\right)
\]
2項係数の相加平均・相乗平均を含む極限
\[
\lim_{n\rightarrow\infty}\sqrt[n]{\sqrt[n+1]{\prod_{k=0}^{n}C\left(n,k\right)}}=\sqrt{e}
\]
三角関数と双曲線関数のn乗積分
\[
\int\sin^{2n+m_{\pm}}xdx=\frac{\Gamma\left(n+\frac{1}{2}+\frac{m_{\pm}}{2}\right)}{\Gamma\left(n+1+\frac{m_{\pm}}{2}\right)}\left\{ -\frac{1}{2}\sum_{k=0}^{n-1}\left(\frac{\Gamma\left(k+1+\frac{m_{\pm}}{2}\right)}{\Gamma\left(k+\frac{3}{2}+\frac{m_{\pm}}{2}\right)}\cos x\sin^{2k+1+m_{\pm}}x\right)+\frac{\Gamma\left(1+\frac{m_{\pm}}{2}\right)}{\Gamma\left(\frac{1}{2}+\frac{m_{\pm}}{2}\right)}\int\sin^{m_{\pm}}xdx\right\}
\]