距離空間での連続を開近傍を使って表現
\[\forall\epsilon>0,\exists\delta>0,f\left(U_{\delta}\left(a\right)\right)\subseteq U_{\epsilon}\left(f\left(a\right)\right)\]
2つの距離関数と点列・開集合・閉集合の関係
実数全体の集合は完備距離空間
距離空間では点列の収束先は一意的
分母に正接がある関数の定積分
\[\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)\]
『オイラーのトーシェント関数の定義』を更新しました。
3人のうち1人が嘘つきで発言内容から誰が持っているかを特定しよう
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)}\]