2
自己紹介・記録解説
文献あり

自己紹介

269
0
$$\newcommand{acoloneqq}[0]{\ &\hspace{-2pt}\coloneqq} \newcommand{asupplement}[2]{&\hspace{#1}\text{#2}} \newcommand{beginend}[2]{\begin{#1}#2\end{#1}} \newcommand{bm}[0]{\boldsymbol} \newcommand{C}[0]{\mathbb{C}} \newcommand{hygeo}[6]{{{}_{#1}{#2}_{#3}{\qty[\beginend{matrix}{{#4}\\ {#5}}\ ;{#6}]}}} \newcommand{Kfrac}[0]{\mathop{\huge\raise-2.2pt{\textrm K}}} \newcommand{lr}[3]{{\left#1{#2}\right#3}} \newcommand{N}[0]{\mathbb{N}} \newcommand{P}[0]{\mathbb{P}} \newcommand{Q}[0]{\mathbb{Q}} \newcommand{R}[0]{\mathbb{R}} \newcommand{range}[1]{\rangeex{}{#1}{}} \newcommand{Range}[1]{\Rangeex{}{#1}{}} \newcommand{rangeex}[5]{\Rangeex{#1}{#2}{#3}{#4}{#5},} \newcommand{Rangeex}[6]{{#1{#2}_{#4}#3#6\cdots#6#1{#2}_{#5}#3}} \newcommand{sahen}[0]{(\text{左辺})} \newcommand{SETUP}[0]{}\require{physics}{} \newcommand{stirling}[3]{\lr[{\beginend{matrix}{{#1}\\ {#2}}{#3}}]} \newcommand{Stirling}[3]{\lr\{{\beginend{matrix}{{#1}\\ {#2}}{#3}}\}} \newcommand{uhen}[0]{(\text{右辺})} \newcommand{URL}[0]{}$$$${} \newcommand{Z}[0]{\mathbb{Z}} $$

面白そうな数式を並べておきます。

定義

記号名称、解説
$\delta_{a,b}$ クロネッカーのデルタ
$\displaystyle \Kfrac_{n=0}^\infty\frac{a_n}{b_n}$ 連分数
$\sigma(n)$ 約数関数
$\hygeo rFs{\boldsymbol a}{\boldsymbol b}{z}$ 超幾何関数
$\P$素数全体の集合
$\varpi$ レムニスケート周率
$\zeta(\bm s)$ 多重ゼータ値
$\zeta^\star(\bm s)$ 多重ゼータスター値

定理(著者)

定理名をクリックすれば記事に飛びます。
信頼性に疑念がある式はで着色してあります。

$\beginend{align}{ \frac{\sqrt[8]2-1}{\sqrt[8]2+1} &= \Kfrac_{n=0}^\infty \frac1{2\sinh((2n+1)\pi)} \\ \tan\frac\pi{48} &= \Kfrac_{n=0}^\infty \frac1{2\cosh\frac{(2n+1)\pi\sqrt3}2} \\ \frac1{\sqrt[4]2} &= \Kfrac_{n=0}^\infty \frac{\cosh^2\!\frac{n\pi}4}{\sinh\frac{(2n+1)\pi}4} \\ \frac{\sqrt[4]2-1}{\sqrt[4]2+1} &= \Kfrac_{n=0}^\infty \frac{\cosh^2(n\pi)}{\sinh((2n+1)\pi)} \\ \sqrt{\frac{\sqrt2-1}2} &= \frac12\Kfrac_{n=0}^\infty \frac{2\cosh\frac{n\pi}2}{2\sinh\frac{(2n+1)\pi}4} \\ \color{var(--bs-danger)}\frac\varpi{2\pi} &\;\color{var(--bs-danger)}= \Kfrac_{n=0}^\infty \frac{\sinh^2\!\frac{n\pi}2+\delta_{n,0}}{\sinh\frac{(2n+1)\pi}2} }$

任意の基数において、
$\displaystyle{ \frac{1}{1}+\frac{z^1}{111}+\frac{z^{1+1}}{11111}+ \frac{z^{1+1+1}}{1111111}+\cdots = \cfrac{1} {1-\cfrac{1^{1+1}1z} {111-\cfrac{11^{1+1}10z} {11111-\cfrac{111^{1+1}100z} {1111111-\ddots}}}} }$

$\beginend{eqnarray}{ \sigma(n) &=& \sum_{k\in\Z\setminus\{0\}} (-1)^{k-1}\lr({\sigma\lr({n-\frac{k(3k-1)}{2}}) + \delta_{n,k(3k-1)/2}n}) \\ &=& \sum_{k\ge1} (-1)^{k-1}(2k+1)\lr({\sigma\lr({n-\binom{k+1}{2}}) + \delta_{n,\binom{k+1}{2}}\frac{n}{3}}) }$
ただし、$\sigma(n) = 0 \ (n\le0)$
1行目はオイラーによって発見されています。

$\large\displaystyle \frac{\sum_{n=1}^\infty\frac{(-1)^{n-1}\ln(2n+1)}{\sqrt{2n+1}}}{\sum_{n=0}^\infty\frac{(-1)^n}{\sqrt{2n+1}}} = \frac{\gamma+\ln(2\pi)}2-\frac\pi4$

$\large \hygeo3F2{a,b,-n}{\frac{a+b}2,\frac{a+b+1}2}{1} = \hygeo2F1{a,-2n}{a+b}{2} $

$\beginend{alignat}{2 &\zeta{\qty(\{s\}^m)} &&= \sum_{j=1}^m (-1)^{m-j} &&\sum_{0=\Range k0j<=m} \prod_{l=1}^j \frac{\zeta((k_l-k_{l-1})s)}{k_l} \\ &\zeta^\star{\qty(\{s\}^m)} &&= \sum_{j=1}^m &&\sum_{0=\Range k0j<=m} \prod_{l=1}^j \frac{\zeta((k_l-k_{l-1})s)}{k_l} }$

定理(著者以外)

組み合わせ数の合同式 by くさだんご (id:mochi-mochi61)

$\large p\in\P$
$\large\displaystyle \binom{ap}{bp}\equiv\binom ab\pmod p$

$\beginend{align}{ \pi &= \cfrac4 {1+\cfrac1 {3+\cfrac{1+3} {5+\cfrac{1+3+5} {7+\quad{\scriptsize\ddots}}}}} \\ \varpi &= \cfrac2 {1-\cfrac1 {5-\cfrac{1+5} {9-\cfrac{1+5+9} {13-\quad{\scriptsize\ddots}}}}} }$

参考文献

投稿日:2023726
更新日:925
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

著者の記事における命題は大半が自分で発見したものであり、 何かしらの論文などに基づいたものではありません。

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中