指数が3個ある和の方程式
\[2^{l}+4^{m}+8^{n}=200,\;\left(l,m,n\right)=?\]
2乗和と3乗和から1乗和を求めよ
\[\begin{cases}x^{2}+y^{2}=7\\x^{3}+y^{3}=10\\x+y=?\end{cases}\]
3を上手に使え
\[\frac{x-11}{554}+\frac{x-10}{555}+\frac{x-9}{556}=3,\;x=?\]
絶対収束するならば順序変更可能
\[\sum_{k=1}^{\infty}\left|\alpha_{k}\right|<\infty\Rightarrow\sum_{k=1}^{\infty}\alpha_{k}=\sum_{k=1}^{\infty}\alpha_{\sigma\left(k\right)}\]
絶対収束する級数は収束する
\[\sum_{k=1}^{\infty}\left|\alpha_{n}\right|<\infty\Rightarrow\sum_{k=1}^{\infty}\alpha_{n}\text{は収束する}\]
無限正項級数は順序変更出来る
無限正項級数は順序変更できる。
条件収束と絶対収束の定義
数列$\left\{ a_{n}\right\} $の各項$a_{n}$の絶対値をとった総和が$\sum_{k=1}^{\infty}\left|a_{n}\right|<\infty$となるとき、$\sum_{k=1}^{\infty}a_{n}$は絶対収束するという。
収束する数列の部分列は同じ値に収束する
無限数列$\left(a_{n}\right)$が収束するとき、その部分列$\left(a_{\sigma\left(n\right)}\right)$も同じ値に収束する。
収束列ならばコーシー列
収束列ならばコーシー列となるが逆は一般に成り立たない。
収束列・コーシー列・完備・完備化の定義
\[\lim_{n,m\rightarrow\infty}d\left(a_{m},a_{n}\right)=0\]
3角不等式
\[\left|x\right|-\left|y\right|\leq\left|x+y\right|\leq\left|x\right|+\left|y\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}\]
3つのうち1つを消したものとの包含関係
\[P\lor\left(Q\land R\right)\Rightarrow P\lor Q\]
LK推論規則での包含関係
\[\left(P\rightarrow Q\right)\land\left(R\rightarrow S\right)\Rightarrow\left(P\lor R\right)\rightarrow\left(Q\land S\right)\]
論理演算子の移項
\[\left(P\land R\right)\rightarrow Q\Leftrightarrow P\rightarrow\left(Q\lor\lnot R\right)\]
ネイピア数と極限
\[\lim_{h\rightarrow0}\left(1-h\right)^{\frac{1}{h}}=\frac{1}{e}\]
演算子の作用と包含関係
\[P\lor Q\Leftarrow P\]
否定同値の否定同値は同値の同値
\[P\nleftrightarrow Q\nleftrightarrow R\Leftrightarrow P\leftrightarrow Q\leftrightarrow R\]
分配法則一覧
\[P\lor\left(Q\land R\right)\Leftrightarrow\left(P\lor Q\right)\land\left(P\lor R\right)\]
結合法則一覧
\[P\leftrightarrow\left(Q\leftrightarrow R\right)\Leftrightarrow\left(P\leftrightarrow Q\right)\leftrightarrow R\]
論理演算の基本
\[P\lor\left(P\land Q\right)\Leftrightarrow P\]
論理演算同士の関係
\begin{align*}P\lor Q & \Leftrightarrow\lnot P\uparrow\lnot Q\\ & \Leftrightarrow\lnot P\rightarrow Q\\ & \Leftrightarrow P\leftarrow\lnot Q\\ & \Leftrightarrow\lnot\left(\lnot P\land\lnot Q\right)\\ & \Leftrightarrow\lnot\left(P\downarrow Q\right)\\ & \Leftrightarrow\lnot\left(\lnot P\nrightarrow Q\right)\\ & \Leftrightarrow\lnot\left(P\nleftarrow Q\right)\end{align*}