1

解説14

27
0
$$\newcommand{a}[1]{\left\langle#1\right\rangle} \newcommand{arccot}[0]{\mathrm{arccot}} \newcommand{arccsc}[0]{\mathrm{arccsc}} \newcommand{arcosh}[0]{\mathrm{arcosh}} \newcommand{arcoth}[0]{\mathrm{arcoth}} \newcommand{arcsch}[0]{\mathrm{arcsch}} \newcommand{arcsec}[0]{\mathrm{arcsec}} \newcommand{arsech}[0]{\mathrm{arsech}} \newcommand{arsinh}[0]{\mathrm{arsinh}} \newcommand{artanh}[0]{\mathrm{artanh}} \newcommand{c}[1]{\left\{#1\right\}} \newcommand{C}[0]{\mathbb{C}} \newcommand{ce}[1]{\left\lceil#1\right\rceil} \newcommand{class}[3]{C^{#1}\r{#2;#3}} \newcommand{csch}[0]{\mathrm{csch}} \newcommand{d}[0]{\displaystyle} \newcommand{D}[0]{\mathbb{D}} \newcommand{dd}[0]{\mathrm{d}} \newcommand{div}[0]{\mathrm{div}} \newcommand{division}[0]{÷} \newcommand{dv}[1]{\frac{\dd}{\dd#1}} \newcommand{eq}[2]{\exists#1\ \mathrm{s.t.}\ #2} \newcommand{f}[1]{\left\lfloor#1\right\rfloor} \newcommand{grad}[0]{\mathrm{grad}\ } \newcommand{half}[0]{\frac{1}{2}} \newcommand{halfpi}[0]{\frac{\pi}{2}} \newcommand{i}[4]{\int_{#2}^{#3}#4\mathrm{d}#1} \newcommand{l}[3]{\lim_{#1\rightarrow#2}#3} \newcommand{map}[2]{\mathrm{Map}\r{#1,#2}} \newcommand{N}[0]{\mathbb{N}} \newcommand{p}[4]{\prod_{#1=#2}^{#3}#4} \newcommand{pdv}[1]{\frac{\partial}{\partial#1}} \newcommand{Q}[0]{\mathbb{Q}} \newcommand{r}[1]{\left(#1\right)} \newcommand{R}[0]{\mathbb{R}} \newcommand{rot}[0]{\mathrm{rot}\ } \newcommand{s}[1]{\left[#1\right]} \newcommand{sdif}[2]{#1\backslash#2} \newcommand{sech}[0]{\mathrm{sech}} \newcommand{set}[2]{\c{#1:#2}} \newcommand{sll}[2]{\left[#1,#2\right[} \newcommand{slr}[2]{\left[#1,#2\right]} \newcommand{srl}[2]{\left]#1,#2\right[} \newcommand{srr}[2]{\left]#1,#2\right]} \newcommand{su}[4]{\sum_{#1=#2}^{#3}#4} \newcommand{uq}[2]{\forall#1,\ #2} \newcommand{v}[1]{\left|#1\right|} \newcommand{Z}[0]{\mathbb{Z}} $$

@integralsbot さんがツイートした こちらの定理 の解説です.

以下の等式が成り立ちます.
$\d\i{z}{0}{1}{\i{y}{0}{1}{\i{x}{0}{1}{\f{x+y+z}}}}=1$

解説
\begin{align*} &\i{z}{0}{1}{\i{y}{0}{1}{\i{x}{0}{1}{\f{x+y+z}}}}\\ =&\i{z}{0}{1}{\i{y}{0}{1}{\i{t}{y+z}{1+y+z}{\f{t}}}}\\ =&\i{z}{0}{1}{\i{y}{0}{1}{\r{\i{t}{y+z}{1+\f{y+z}}{\f{t}}+\i{t}{1+\f{y+z}}{1+y+z}{\f{t}}}}}\\ =&\i{z}{0}{1}{\i{y}{0}{1}{\r{\i{t}{y+z}{1+\f{y+z}}{\f{y+z}}+\i{t}{1+\f{y+z}}{1+y+z}{\r{1+\f{y+z}}}}}}\\ =&\i{z}{0}{1}{\i{y}{0}{1}{\r{\f{y+z}\r{\r{1+\f{y+z}}-\r{y+z}}+\r{1+\f{y+z}}\r{\r{1+y+z}-\r{1+\f{y+z}}}}}}\\ =&\i{z}{0}{1}{\i{y}{0}{1}{\r{y+z}}}\\ =&\i{z}{0}{1}{\s{\frac{y^2}{2}+zy}_{y=0}^1}\\ =&\i{z}{0}{1}{\r{\frac{1}{2}+z}}\\ =&\s{\frac{z}{2}+\frac{z^2}{2}}_{z=0}^1\\ =&1 \end{align*}
なので,$\d\i{z}{0}{1}{\i{y}{0}{1}{\i{x}{0}{1}{\f{x+y+z}}}}=1$です.$\blacksquare$
投稿日:2021320
OptHub AI Competition

この記事を高評価した人

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

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

バッジはありません。

投稿者

微分積分学,数理論理学,順序数解析が好きです.ここでは主に微積や級数の話題をすると思います.記事まとめは下のリンクからどうぞ.

コメント

他の人のコメント

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