たんげん S2-2
証明の技法
⤵ 合流 — さきに まなんで おきたい こと
例を100万個確かめても、「いつでも成り立つ」ことにはならない——では、どうすれば言い切れるのか?
その答えが証明だ。文字式で全部の場合を一気にあつかう直接証明。裏口から攻める対偶。相手の主張を崩壊させる背理法。数学者が2000年かけて磨いてきた3つの武器を、ここで手に入れよう。
たんげん S2-2
例を100万個確かめても、「いつでも成り立つ」ことにはならない——では、どうすれば言い切れるのか?
その答えが証明だ。文字式で全部の場合を一気にあつかう直接証明。裏口から攻める対偶。相手の主張を崩壊させる背理法。数学者が2000年かけて磨いてきた3つの武器を、ここで手に入れよう。