背理法と対偶についてふと思ったことをつらつらと書いた

このサイトは学部では早稲田で物理を, 修士では東大で数学を専攻し, 今も非アカデミックの立場で数学や物理と向き合っている一市民の奮闘の記録です. 運営者情報および運営理念についてはこちらをご覧ください.

中高の数学の復習から専門的な数学・物理までいろいろな情報を発信しています.
中高数学に関しては自然を再現しようや役に立つ中高数学中高数学お散歩コース
大学数学に関しては現代数学観光ツアーなどの無料の通信講座があります.
その他にも無料の通信講座はこちらのページにまとまっています.
ご興味のある方はぜひお気軽にご登録ください!

2013 年の理科大の数学入試問題的なアレでこう色々と話題になった背理法だが,
例のあの HP に書いてあることが寸分の狂いもなく
社会的という訳でもないというのをふと思ったので,
それについて書く.

時々, 対偶を示すべきところで背理法を使って文章を書いている人がいる.
対偶使った方が話の流れとして素直に書きやすくなると思うし,
そもそも議論が見えていないということなので, 意識して直した方がいい.
実際問題, 背理法は結構扱うの難しいときがある.

名古屋の小林亮一先生だかに聞いたところによると,
Poincare 予想の解決で有名な Perelman の論文は
5 段くらいの多段で背理法を使っているそうだ.
何が仮定で何を示したくて何を否定しているのか混乱してきて,
読むのが大変だったという.

あとあまり関係なく例の HP にある $\sqrt{2}$ の無理性証明だが,
あれ, 私にはすごく読みづらいのだが他の人はどう思っているのだろうか.
単に慣れないだけかもしれないのだが,
$\neq$ で式が繋がっていくのがすごく見づらくやりづらい.

特別何かが言いたいというわけではなく,
備忘録的に残しておく感じのアレだった.

TRACKBACK URL