こんにちは、放校やじるしです。
今回は、メモ書き程度の内容ですが有名な数学的事実の証明を簡素化したものになります。
同じ方法で証明している先駆者様がいらっしゃればご一報お願いします。
任意の正の実数$\alpha$において以下の式は成立しない。
$\frac{1}{1}+\frac{1}{2}+\frac{1}{3}+\frac{1}{4}+\cdots=\alpha$
$\frac{1}{1}+\frac{1}{2}+\frac{1}{3}+\frac{1}{4}+\cdots=\alpha$$\cdots$① ($\alpha$は正の実数) とすると
$\frac{1}{2}+\frac{1}{4}+\frac{1}{6}+\frac{1}{8}+\cdots=\frac{\alpha}{2}$$\cdots$②
①式から②式を引くと
$\frac{1}{1}+\frac{1}{3}+\frac{1}{5}+\frac{1}{7}+\cdots=\frac{\alpha}{2}$$\cdots$③
③式から②式を引くと
$(\frac{1}{1}-\frac{1}{2})+(\frac{1}{3}-\frac{1}{4})+(\frac{1}{5}-\frac{1}{6})+\cdots=0$
左辺は明らかに$0$より大きいので矛盾する。
よって条件を満たす正の実数$\alpha$は存在しない $\blacksquare$
修正履歴
2023/07/17 0:55 ③式の初項を$\frac{1}{3}$から$\frac{1}{1}$に修正