数学の証明問題が伝えてくれるもの

いきなり計算を始める子

文字式の証明で、こういう子がいる。

「2つの続いた偶数を 2n、2n+2 とする」——この一文を書かずに、
いきなり2n＋2n+2・・・ と計算を始める子だ。

本人の頭の中では「2n は偶数」と決まっている。
だから、わざわざ書く必要性を感じない。
だが、答案を読む人にとって、n が何者かを宣言していない式は、
ただの文字の羅列でしかない。

2n + (2n+2) = 4n+2 = 2(2n+1)

ここまで正しく変形できても、出発点で「2n は偶数を表す」と置いていなければ、
この計算は何ひとつ証明していない。
「2n+1 が整数だから、4n+2 は偶数」と結べるのも、
最初に n を整数だと宣言したからだ。
前提を置かなければ、結論にたどり着く足場がない。

定義の一文は、飾りではない。
そこから先の数式すべてが意味を持つための「前提の設置」だ。

「自分の頭の中」は、書かなければ存在しない

この子は、計算ができないわけではない。むしろ式変形は速い。

つまずいているのは、もっと手前だ。
「自分の頭の中にある前提は、紙に書かなければ、相手には存在しない」
このことに気づいていない。

私たちは普段、相手も自分と同じことを考えている、という前提で話してしまう。
「2n といえば偶数に決まってる」と。
でも証明とは、その「決まってる」を一つずつ言葉にして、
誰が読んでも同じ道をたどれるように並べる作業だ。
自分の頭の中を、自分の外に取り出す訓練と言ってもいい。

これは、偶数の問題だけではない

同じ姿勢は、数学のあらゆる場面で顔を出す。

合同の証明でいえば——

「△ABC と △DEF において」という一文を書かずに、いきなり「AB＝DE」と書き始める子がいる。どの三角形の、どの辺の話なのか。土俵を設置しないまま、いきなり技をかけにいっている。

整数の性質でいえば——

「n を整数とする」を抜かす子がいる。n が整数でなければ、「割り切れる」も「余りが出る」も意味をなさない。議論が成り立つ範囲を、最初に区切っていない。

単元	抜かしがちな一文	それを抜くと何が壊れるか
文字式	「2n、2n+2 とする」	n が何を指すか不明＝式全体が無意味になる
合同	「△ABC と △DEF において」	どの図形の話か定まらない＝根拠が宙に浮く
整数	「n を整数とする」	議論が成り立つ範囲が不明＝結論が言えない

形は違っても、抜けているものは同じだ。
「これから何について、どういう前提で話すのか」という土台の宣言である。

なぜアンビシャスはここを妥協しないのか

正直に言えば、記述を省いても、定期テストではある程度点が取れてしまう。
採点が甘ければ、式さえ合っていれば丸がつくこともある。

それでも、ここを妥協しない。

理由は、これが数学の答案技術にとどまらないからだ。
「結論だけ言えれば、途中はどうでもいい」という思考は、
やがてあらゆる場面で顔を出す。
文章を書くとき。人に何かを説明するとき。
自分の主張の根拠を問われるとき。
前提を言葉にせず、結論だけを差し出す人の話は、相手には届かない。

逆に言えば、証明問題は、これを安全に練習できる数少ない場所だ。
「自分の頭の中を、相手に伝わる形で外に出す」
この訓練を、中学数学という具体的な題材を使ってやっている。

「2n って、何のこと？」と読み手に思わせない答案を書けること。
それは、数学ができるということ以上に、考えを人に伝えられるということだ。

アンビシャスが記述にこだわるのは、そこに人生のすべての場面で効く力が埋まっていると考えているからだ。