数学におけるデザインパターンとは、対称性、不変量、偶奇、役立つ書き換えのように、繰り返し現れる問題解決の構造のことです。この言い方は教科書の正式な用語ではなく、やや非公式な表現ですが、考え方としてはとても有用です。構造を早い段階で見抜ければ、どの種類の議論を使うべきかをより速く判断できます。
パターンは証明の代わりにはなりません。どのような証明がうまくいきそうかを見通す助けにはなりますが、その問題の条件が本当にそのパターンを支えている場合にしか役立ちません。
数学でいう「デザインパターン」とは
数学のデザインパターンとは、推論を整理するための再利用可能な考え方です。よくある例として、次のようなものがあります。
- 対称性を探す
- 問題をより単純な表現に書き換える
- 不変量、つまり許された操作のもとで変わらない量を追跡する
- 偶奇、つまりある量が偶数か奇数かを使う
- 難しい問題をより小さな場合分けに分解する
これらは暗記して当てはめる公式ではありません。計算を始める前に、構造に気づくための見方です。
問題解決パターンが重要な理由
多くの学生は、あまりに早く公式を探そうとして行き詰まります。証明問題やパズル型の問題では、本当の最初の一歩は構造を見抜くことにある場合が少なくありません。
問題に繰り返しの操作、入れ替え、反転が出てくるなら、算術よりも不変量や偶奇の議論のほうが重要かもしれません。図形に鏡映のような対応があるなら、対称性が最短の道になることがあります。直接計算がごちゃごちゃして見えるなら、それはパターンに注目すべきサインであることが多いです。
例題：チェス盤の不変量
標準的な のチェス盤から、向かい合う2つの角のマスを取り除いたとします。残った盤面を のドミノでちょうど敷き詰めることはできるでしょうか。
しらみつぶしに探すのは現実的ではありません。ここで有効なパターンは、色分けと不変量の考え方です。
盤面を通常どおり黒白が交互になるように塗り分けます。 のドミノが隣り合う2マスを覆うなら、必ず黒1マスと白1マスを覆います。したがって、完全なドミノ敷き詰めでは、黒マスと白マスを同数ずつ覆わなければなりません。
次に、取り除いた角を確認します。チェス盤では、向かい合う角は同じ色です。それらを取り除くと、残った盤面では一方の色が マス、もう一方の色が マスになります。
この不均衡こそが決定的な障害です。どのドミノも常に黒1マスと白1マスを覆うので、敷き詰めによって色の差 を埋めることはできません。したがって、敷き詰めは不可能です。
この教訓は、このパズルだけにとどまりません。許された操作が常にある量を保つなら、初期状態と目標状態でその量を比べてみましょう。一致しなければ、その条件のもとでは目標は達成できません。
数学のデザインパターンでよくあるミス
よくあるミスの1つは、パターンを証明を省く近道のように扱ってしまうことです。そうではありません。「これは対称性っぽい」と言うのは出発点にすぎず、何が対称なのか、そしてそれがなぜ重要なのかを示す必要があります。
もう1つのミスは、気に入ったパターンをどんな問題にも無理に当てはめることです。偶奇の議論が役立つのは、偶奇が本当に保たれるか、あるいは本当に関係している場合だけです。
3つ目のミスは、説明が曖昧すぎることです。「不変量を使う」と言うだけでは不十分で、その不変量が何かを明示し、許された操作が本当にそれを保つことを示さなければなりません。
どんなときにパターンを探すべきか
問題に繰り返しの操作、隠れた構造、あるいは総当たりするには多すぎる場合分けがあるときは、デザインパターンを探してみましょう。
とくに有効なのは、組合せ論、離散数学、証明問題、パズル型の問題です。問題がほとんど機械的な代入で済むなら、パターンという見方はあまり付加価値を生まないかもしれません。直接計算が煩雑だったり、本質が見えにくかったりするなら、計算そのものよりパターン認識のほうが重要になることがよくあります。
計算前の簡単チェックリスト
計算する前に、次のことを自分に問いかけてみましょう。
- 何が変わってよいのか。
- 何が変わらずに残りそうか。
- 図を描き直したり、ラベルを付け替えたり、問題の見方を変えたりして、構造をもっと見やすくできないか。
これらの問いがすべての問題を解くわけではありませんが、適切な種類の議論へ進む助けになることがよくあります。
似た問題に挑戦してみよう
ドミノの例で条件を1つ変えてみましょう。向かい合う2つの角を取り除く代わりに、黒い角を1つ、白い角を1つ取り除くとします。このときも色分けの議論は敷き詰めを妨げるでしょうか。たとえそれだけで敷き詰め可能だと証明できなくても、もとの障害が消えていることは分かります。