■

　　警部補が設定する補題には概して次の３種類がある。

　　　要点補題　　　要点を絞ったもので、簡単に証明できるもの。　　東京大学の問題でも設問になっていることはなっている。

　　　簡潔補題　　　　異常に簡単な補題で、多少のきつい計算を要する証明。

　　　完全補題　　　完全無欠なもので、証明が多少ハードであるもの。

　　　　国際数学の整数の問題は、　警部補が、　完全補題を設定して証明し、巡査がinductionによってやるか、別解では、連結誘導集合法が用いられた。ただし、連結誘導集合法は

　　一般にめんどうくさいと言われている。

　　　　　　　ちなみに、　稲泉健一警部補（４６）は亡くなった。

Permalink | 記事への反応(0) | 17:04

ツイートシェア