背理法を理解する [pdf]
本稿は、数学の証明手法の一つである背理法について、その論理的構造と教育的な理解の促進を目的に解説する。背理法の概念を直感的に捉えるための具体例や比喩を用いながら、学習者がなぜ背理法が有効な証明方法であるかを納得できるように導く。数学教育の現場での指導法にも示唆を与える内容。
背景メモ
- このPDFは、数学の証明技法の一つ「背理法」（proof by contradiction）を、教育者の視点から解説した論考。著者はおそらく数学教育者で、スコットランド数学評議会（Scottish Mathematical Council）のジャーナルに寄稿したもの。
- 背理法とは「ある命題が偽だと仮定して矛盾を導き、それによって元の命題が真であると示す」証明方法。例えば「√2が無理数であること」の証明が有名。多くの学習者が「なぜ仮定して矛盾させると証明になるのか」という概念的壁にぶつかる。
- 本稿は、形式論理上のテクニックとしてではなく、学習者が直感的に納得できるよう「背理法の背後にある考え方」をかみ砕いて説明しようとしている。数学教育界では、証明指導の難所として古くから議論があるテーマ。
- 対象読者は主に中等・高等の数学教師とカリキュラム設計者。一般向けの記事というより、教育現場向けの専門資料。