Re: 豚の尻尾の「四色問題」
iwat@r7.dion.ne.jp (iwat) wrote in message news:<8vuLc.7$Dn3.1@news3.dion.ne.jp>...
>
------------- 引用は省略 ------------
全般的に理解が欠如しています。
P:[<IV>は既にIV区に塗られている]は Q:[Ж内の区に、ことさら、<IV>を塗る
必要は無い]ことの理由です。(従って、QはPからの帰結です。)
一方、Q':[Ж内の一区には<IV>を塗らなければならない]は、P':[図Oの全域
を塗り分けるには4色では不充分で、第五番目の色も必要である]からの帰結です。
Pからの帰結であるQと、P'からの帰結であるQ'とは、明らかに、矛盾しています。
どうして、このような矛盾が導かれたのかと言えば、それは[Жがr個の区から成る
ときには4色で塗り分けれるが、Жが(r+1)個の区から成るときには、5色必要な
場合がある]と仮定したからです。
この仮定から矛盾が導かれた以上、この仮定は否定されねばなりません。
> <bb9866fd.0406250423.7884c3dc@posting.google.com>...
> > > どこかオカシイ↓が、引き続いて、クイズのつもり逝ってみよう!
> > これらを「正しい証明」と考えて掲載しているのでしょうか。
> > それとも単なる「クイズ」なのでしょうか。
> こちらに対する回答はどうなったのでしょうか。
天のみぞ知り給う。 ヽ(^。^)ノ
Fnews-brouse 1.9(20180406) -- by Mizuno, MWE <mwe@ccsf.jp>
GnuPG Key ID = ECC8A735
GnuPG Key fingerprint = 9BE6 B9E9 55A5 A499 CD51 946E 9BDC 7870 ECC8 A735