ボルツァーノ・ワイエルシュトラスの定理
有界実数列は収束する部分列を持つ。
距離空間での連続を開近傍を使って表現
\[
\forall\epsilon>0,\exists\delta>0,f\left(U_{\delta}\left(a\right)\right)\subseteq U_{\epsilon}\left(f\left(a\right)\right)
\]
分母に正接がある関数の定積分
\[
\int_{0}^{\frac{\pi}{2}}\frac{x}{\tan x}dx=?
\]
分母に総和がある数の総和
\[
\frac{1}{1}+\frac{1}{1+2}+\frac{1}{1+2+3}+\frac{1}{1+2+3+4}+\cdots=?
\]
分母分子に3角関数を含む定積分
\[
\int_{0}^{\frac{\pi}{2}}\frac{\sqrt[3]{\tan x}}{\left(\sin x+\cos x\right)^{2}}dx=?
\]
3乗根の有理化
\[
\frac{1}{2\cdot3^{\frac{2}{3}}+3\cdot3^{\frac{1}{3}}+2}\text{の有理化}
\]
リーマン・ゼータ関数を含む総和
\[
\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)
\]
対数となる極限
\[
\lim_{\alpha\rightarrow-1}\frac{z^{\alpha+1}}{\alpha+1}=\Log\left(z\right)+\lim_{\alpha\rightarrow-1}\frac{1}{\alpha+1}
\]
ワイエルシュトラスの定理(公理)
実数全体の空でない部分集合が下に有界ならば下限が存在する。
凸関数・狭義凸関数・凹関数・狭義凹関数の基本性質
関数$f$が2回微分可能であるとき、$f''>0$ならば$f$が狭義凸関数となるが、逆は一般的に成り立たない。
凸関数・狭義凸関数・準凸関数・凹関数・狭義凹関数・準凹関数の定義
\[
\forall x_{1},x_{2}\in X,\forall t\in\left[0,1\right],f\left(tx_{1}+\left(1-t\right)x_{2}\right)\leq tf\left(x_{1}\right)+\left(1-t\right)f\left(x_{2}\right)
\]
2つの整数の逆数を足すと和の逆数になる整数は存在するか?
\[
\frac{1}{m}+\frac{1}{n}=\frac{1}{m+n},m=?,n=?
\]
偶関数の分母に指数関数+1がある対称な定積分
\[
\int_{-c}^{c}\frac{f_{e}\left(x\right)}{1+a^{x}}dx=\int_{0}^{c}f_{e}\left(x\right)dx
\]
表と裏のコインの枚数を揃える
目隠しされていて表と裏のコインの枚数を揃えるにはどうすればいいでしょうか?
下りエレベータの確率
次にエレベーターが着いたときに下りの確率はいくつでしょうか?
ガンマ関数を2つ含む定積分でカタラン定数が出てきます
\[
\int_{0}^{\frac{1}{2}}\Gamma\left(1-x\right)\Gamma\left(1+x\right)dx=?
\]
複素ガンマ関数2つを含む広義積分
\[
\int_{-\infty}^{\infty}\Gamma\left(1-ix\right)\Gamma\left(1+ix\right)dx=?
\]
2項係数の3の倍数の総和
\[
\sum_{k=0}^{\infty}C\left(3n,3k\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}
\]
1のn乗根のべき乗の総和
\[
\sum_{k=0}^{n-1}\left(\omega_{n}^{\;k}\right)^{m}=n\delta_{0,\mod\left(m,n\right)}
\]
係数が何の値か気付けるかな
\[
x=1+\sqrt[5]{2}+\sqrt[5]{4}+\sqrt[5]{8}+\sqrt[5]{16},\frac{1}{x^{5}}+\frac{5}{x^{4}}+\frac{10}{x^{3}}+\frac{10}{x^{2}}+\frac{5}{x}+1=?
\]