剰余演算同士の和・差
剰余演算同士の和・差
全て実数とする。
\(\mzp\)はmzp関数
全て実数とする。
(1)
\[ \mod\left(x,a\right)+\mod\left(y,a\right)=\mod\left(x+y,a\right)+a\mzp_{0,1}\left(0,\left|a\right|;\sgn\left(a\right)\left(\mod\left(x,a\right)+\mod\left(y,a\right)\right)\right) \](2)
\[ \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) \](3)
\[ \mod\left(x,a\right)+\mod\left(-x,a\right)=a\left|\sgn\mod\left(x,a\right)\right| \](4)
\[ \mod\left(x,a\right)-\mod\left(y,a\right)=\mod\left(x-y,a\right)+a\mzp_{0,1}\left(0,\left|a\right|;\sgn\left(a\right)\left(\mod\left(x,a\right)+\mod\left(-y,a\right)\right)\right)-a\left|\sgn\mod\left(y,a\right)\right| \](5)
\[ \mod\left(x,a\right)-\mod\left(-x,a\right)=\mod\left(2x,a\right)+a\mzp_{0,1}\left(0,\left|a\right|;\sgn\left(a\right)\left(\mod\left(2x,a\right)\right)\right)-a\left|\sgn\mod\left(x,a\right)\right| \]-
\(\mod\left(a,b,c\right)\) は剰余演算\(\mzp\)はmzp関数
(1)
\begin{align*} \mod\left(x,a\right)+\mod\left(y,a\right) & =\sgn\left(a\right)\left\{ \mod\left(x\sgn\left(a\right),\left|a\right|\right)+\mod\left(y\sgn\left(a\right),\left|a\right|\right)\right\} \\ & =\sgn\left(a\right)\begin{cases} \mod\left(\sgn\left(a\right)\left(x+y\right),\left|a\right|\right)-\left|a\right| & \mod\left(x\sgn\left(a\right),\left|a\right|\right)+\mod\left(y\sgn\left(a\right),\left|a\right|\right)<0\\ \mod\left(\sgn\left(a\right)\left(x+y\right),\left|a\right|\right) & 0\leq\mod\left(x\sgn\left(a\right),\left|a\right|\right)+\mod\left(y\sgn\left(a\right),\left|a\right|\right)<\left|a\right|\\ \mod\left(\sgn\left(a\right)\left(x+y\right),\left|a\right|\right)+\left|a\right| & \left|a\right|\leq\mod\left(x\sgn\left(a\right),\left|a\right|\right)+\mod\left(y\sgn\left(a\right),\left|a\right|\right) \end{cases}\\ & =\sgn\left(a\right)\mod\left(\sgn\left(a\right)\left(x+y\right),\left|a\right|\right)+\sgn\left(a\right)\left|a\right|\cdot\begin{cases} -1 & \mod\left(x\sgn\left(a\right),\left|a\right|\right)+\mod\left(y\sgn\left(a\right),\left|a\right|\right)<0\\ 0 & 0\leq\mod\left(x\sgn\left(a\right),\left|a\right|\right)+\mod\left(y\sgn\left(a\right),\left|a\right|\right)<\left|a\right|\\ +1 & \left|a\right|\leq\mod\left(x\sgn\left(a\right),\left|a\right|\right)+\mod\left(y\sgn\left(a\right),\left|a\right|\right) \end{cases}\\ & =\mod\left(x+y,a\right)+a\cdot\begin{cases} -1 & \sgn\left(a\right)\left(\mod\left(x,a\right)+\mod\left(y,a\right)\right)<0\\ 0 & 0\leq\sgn\left(a\right)\left(\mod\left(x,a\right)+\mod\left(y,a\right)\right)<\left|a\right|\\ +1 & \left|a\right|\leq\sgn\left(a\right)\left(\mod\left(x,a\right)+\mod\left(y,a\right)\right) \end{cases}\\ & =\mod\left(x+y,a\right)+a\mzp_{0,1}\left(0,\left|a\right|;\sgn\left(a\right)\left(\mod\left(x,a\right)+\mod\left(y,a\right)\right)\right) \end{align*}(2)
\begin{align*} \mod\left(x,a,b\right)+\mod\left(y,a,b\right) & =\sgn\left(a\right)\left\{ \mod\left(x\sgn\left(a\right),\left|a\right|,b\sgn\left(a\right)\right)+\mod\left(y\sgn\left(a\right),\left|a\right|,b\sgn\left(a\right)\right)\right\} \\ & =\sgn\left(a\right)\begin{cases} \mod\left(\sgn\left(a\right)\left(x+y\right),\left|a\right|,b\sgn\left(a\right)\right)-\left|a\right| & \mod\left(x\sgn\left(a\right),\left|a\right|,b\sgn\left(a\right)\right)+\mod\left(y\sgn\left(a\right),\left|a\right|,b\sgn\left(a\right)\right)<b\sgn\left(a\right)\\ \mod\left(\sgn\left(a\right)\left(x+y\right),\left|a\right|,b\sgn\left(a\right)\right) & b\sgn\left(a\right)\leq\mod\left(x\sgn\left(a\right),\left|a\right|,b\sgn\left(a\right)\right)+\mod\left(y\sgn\left(a\right),\left|a\right|,b\sgn\left(a\right)\right)<b\sgn\left(a\right)+\left|a\right|\\ \mod\left(\sgn\left(a\right)\left(x+y\right),\left|a\right|,b\sgn\left(a\right)\right)+\left|a\right| & b\sgn\left(a\right)+\left|a\right|\leq\mod\left(x\sgn\left(a\right),\left|a\right|,b\sgn\left(a\right)\right)+\mod\left(y\sgn\left(a\right),\left|a\right|,b\sgn\left(a\right)\right) \end{cases}\\ & =\sgn\left(a\right)\mod\left(\sgn\left(a\right)\left(x+y\right),\left|a\right|,b\sgn\left(a\right)\right)+\sgn\left(a\right)\left|a\right|\cdot\begin{cases} -1 & \mod\left(x\sgn\left(a\right),\left|a\right|,b\sgn\left(a\right)\right)+\mod\left(y\sgn\left(a\right),\left|a\right|,b\sgn\left(a\right)\right)<b\sgn\left(a\right)\\ 0 & b\sgn\left(a\right)\leq\mod\left(x\sgn\left(a\right),\left|a\right|,b\sgn\left(a\right)\right)+\mod\left(y\sgn\left(a\right),\left|a\right|,b\sgn\left(a\right)\right)<b\sgn\left(a\right)+\left|a\right|\\ +1 & b\sgn\left(a\right)+\left|a\right|\leq\mod\left(x\sgn\left(a\right),\left|a\right|,b\sgn\left(a\right)\right)+\mod\left(y\sgn\left(a\right),\left|a\right|,b\sgn\left(a\right)\right) \end{cases}\\ & =\mod\left(x+y,a,b\right)+a\cdot\begin{cases} -1 & \sgn\left(a\right)\left(\mod\left(x,a,b\right)+\mod\left(y,a,b\right)\right)<b\sgn\left(a\right)\\ 0 & b\sgn\left(a\right)\leq\sgn\left(a\right)\left(\mod\left(x,a,b\right)+\mod\left(y,a,b\right)\right)<b\sgn\left(a\right)+\left|a\right|\\ +1 & b\sgn\left(a\right)+\left|a\right|\leq\sgn\left(a\right)\left(\mod\left(x,a,b\right)+\mod\left(y,a,b\right)\right) \end{cases}\\ & =\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) \end{align*}(3)
\begin{align*} \mod\left(x,a\right)+\mod\left(-x,a\right) & =x-a\left\lfloor \frac{x}{a}\right\rfloor -x-a\left\lfloor \frac{-x}{a}\right\rfloor \\ & =a\left(\left\lceil \frac{x}{a}\right\rceil -\left\lfloor \frac{x}{a}\right\rfloor \right)\\ & =a\left(1-\delta_{0,\mod\left(\frac{x}{a},1\right)}\right)\\ & =a\left|\sgn\mod\left(\frac{x}{a},1\right)\right|\\ & =a\left|\sgn\mod\left(x,a\right)\right| \end{align*}(4)
\begin{align*} \mod\left(x,a\right)-\mod\left(y,a\right) & =\mod\left(x,a\right)-\left\{ a\left|\sgn\mod\left(y,a\right)\right|-\mod\left(-y,a\right)\right\} \\ & =\mod\left(x,a\right)+\mod\left(-y,a\right)-a\left|\sgn\mod\left(y,a\right)\right|\\ & =\mod\left(x-y,a\right)+a\mzp_{0,1}\left(0,\left|a\right|;\sgn\left(a\right)\left(\mod\left(x,a\right)+\mod\left(-y,a\right)\right)\right)-a\left|\sgn\mod\left(y,a\right)\right| \end{align*}(5)
\begin{align*} \mod\left(x,a\right)-\mod\left(-x,a\right) & =\mod\left(2x,a\right)+a\mzp_{0,1}\left(0,\left|a\right|;\sgn\left(a\right)\left(\mod\left(2x,a\right)\right)\right)-a\left|\sgn\mod\left(-x,a\right)\right|\\ & =\mod\left(2x,a\right)+a\mzp_{0,1}\left(0,\left|a\right|;\sgn\left(a\right)\left(\mod\left(2x,a\right)\right)\right)-a\left|\sgn\mod\left(x,a\right)\right| \end{align*}ページ情報
タイトル | 剰余演算同士の和・差 |
URL | https://www.nomuramath.com/r43t9unv/ |
SNSボタン |
複素数と複素共役の実数での剰余演算
\[
\mod\left(\alpha,1\right)=\mod\left(\Re\alpha,1\right)+i\mod\left(\Im\alpha,1\right)
\]
負数の剰余演算
\[
\mod\left(-x,a,b\right)=-\mod\left(x+2b,a,b\right)+a\left|\sgn\left\{ \mod\left(x+2b,a,b\right)-b\right\} \right|+2b
\]
剰余演算の実部と虚部
\[
\mod\left(\alpha,\beta\right)=\Re\left(\beta\right)\mod\left(\Re\left(\frac{\alpha}{\beta}\right),1\right)-\Im\left(\beta\right)\mod\left(\Im\left(\frac{\alpha}{\beta}\right),1\right)+i\left\{ \Re\left(\beta\right)\mod\left(\Im\left(\frac{\alpha}{\beta}\right),1\right)+\Im\left(\beta\right)\mod\left(\Re\left(\frac{\alpha}{\beta}\right),1\right)\right\}
\]
偏角と剰余の関係
\[
\Arg\alpha=\mod\left(\Arg\left(\alpha\right),-2\pi,\pi\right)
\]