  |
数学の証明の技術は次の種類があるが、私は専門家ではないので、全てを知っているわけではない。幾何学をするといいですよと言う風に阪大の富田先生から教わった。
（１）必要最小限の隠れている補助線を引くとただちに答えが見つかる。
（２）補助線を一本引いて出来る。
（３）例えば Induction and Contradiction のように、大昔に発見されていた鉄板だろうと思われるようなもので一見使えそうにないときに使用できる。
他に、特例的な発見と言ったものがあるがまだ議論されていない。
（１）定理は作業中に発見した。しかし、 （３）に該当するものは発見できなかった。 宮地先生は、補完によって出て来るといってますが、 補完定理も、特例的な奴になると
次に、次の事項をこれから強制する。 日向市に住んでいてエロ落ちしているらしいけれど、延岡西高校に、 末永祐治という数学の先生がいた。その者に言わせれば、そんなものは
教えていない。 有村芳郎はバクサイにいて、 ～よ、が口癖である。
警察が強制しているから、 私と、 里見先生や田辺先生が会うことが実現しないようになっている。
法の実質は、暴力による強制であり、 法自体が フィクションという人もいるが、 フィクションを強調しているだけで、フィクションではない。 法はただ法である。
8
