「証明の歌」と言うより「数学の歌」になってしまいましたが、それだけ数学と証明は切っても切れない関係ってことで。◆関連項目「数学的帰納法」【 sm1217473 】 「背理法」【 sm1609561 】 その他諸々。 ◆まとめ【 mylist/3536380 】 (10/14追記)大学に忙殺されている間に突っ込まれてた。 (0:00) (1:30)はい、相加相乗の条件も対偶も、≧ではなく>です。 (4:30)ポワンカレじゃなかったのか…知らなかった…。 (9:22)はいこれもミス。∃Math. s.t. after ... が正しい位置です。