Path: ccsf.homeunix.org!ccsf.homeunix.org!news1.wakwak.com!nf1.xephion.ne.jp!onion.ish.org!news.heimat.gr.jp!taurus!newsfeed.media.kyoto-u.ac.jp!postnews2.google.com!not-for-mail From: eurms@apionet.or.jp (M_SHIRAISHI) Newsgroups: fj.sci.math Subject: Re: =?ISO-2022-JP?Q?=1B$BJ}=3FKE>49=1B(B_=5F=5F=3D=3D=3D=3D=5F=5F?= =?ISO-2022-JP?Q?_=1B$B;M=3F'LdBj=1B(B_=5F=5F=3D=3D=3D=3D=3D?= Date: 28 Aug 2004 23:32:29 -0700 Organization: http://groups.google.com Lines: 48 Message-ID: <800c7853.0408282232.81f63ad@posting.google.com> References: <800c7853.0408211859.1b542b7f@posting.google.com> <800c7853.0408220519.2c544d29@posting.google.com> <3nkWc.2$Mg2.1@news3.dion.ne.jp> <800c7853.0408262141.46b06b1d@posting.google.com> NNTP-Posting-Host: 211.122.57.157 Content-Type: text/plain; charset=ISO-2022-JP Content-Transfer-Encoding: 8bit X-Trace: posting.google.com 1093761149 9295 127.0.0.1 (29 Aug 2004 06:32:29 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Sun, 29 Aug 2004 06:32:29 +0000 (UTC) Xref: ccsf.homeunix.org fj.sci.math:1370 iwat@r7.dion.ne.jp (iwat) wrote in message news:... > In article <800c7853.0408262141.46b06b1d@posting.google.com>, > > マヌケな質問はしないほうがよいでしょう。　ヽ(^。^)ノ > > 大変恐縮でございます。 > > > Q-1') ［５番目の色は常にＡ区だけに塗ることにしてよい］ > > Q-2)［５番目の色は、Ａ区にではなくて、Ｂ区にだけ塗らなければならない場合が在る］ > > しかるに、Q-1' と Q-2 とは明らかに矛盾している。 > > なるほど。 -------- 名をも名乗れぬ下賎の者の質問につき、以下、引用は、全部、省略 --------- 前述（http://groups.google.com/groups?hl=ja&lr=&ie=UTF-8&selm=800c7853.0408262141.46b06b1d%40posting.google.com）の通り、 ［Ж内の区の個数がｒ個の場合には、図０の全域は４色で塗り分けることが可能だが、 Ж内の区の個数が（ｒ＋１）個に増えた場合には、図０の全域を塗り分けるのに５番目 の色を必要とする様な配置が存在する］-------------------（Ｐ） からは、 Q-1') ［５番目の色は常にＡ区だけに塗ることにしてよい］ が導かれる。 その一方、上記Ｐからは Q-2)［５番目の色は、Ａ区にではなくて、Ｂ区にだけ塗らなければならない場合が在る］ ということ*も*導かれる。 そして、この Q-2 からは、更に、 Q-2') ［５番目の色は常にＡ区だけに塗ることにしてよいわけではない］ ことが導かれる。 しかるに、容易に分かる様に、Q-2'は Q-1'の否定（not-[Q-1']）に他ならない。 かくして、Ｐから Q-1'とその否定（not-[Q-1']）とが導かれたのであるから、 Ｐは矛盾している。