- 764 名前：１３２人目の素数さん mailto:sage [2012/01/25(水) 23:26:22.21 ]
- >>733
今更ながらn=xとしてはいけない理由が分かったよ。
すごい見落としをしていた。
>>726の「x∈Aについて、∃n∈N(n^2=7x)」は
本当は「x∈Aについて、∃n∈N＼A(n^2=7x)」としてよくて、
>>710の
「A={x∈N|x≡i(mod13)、2≦i≦6、9≦i≦12、8≦x≦124}とおき、
タイルと条件を満たすx∈Nが存在してx∈Aであることを仮定してよい。」
もこれだけでは不十分。これに更に
「根x∈Aに対して、或るn∈N＼Aが存在してn^2=7xが成り立つと仮定してよい。」
とでも続けないといけない。
>>726で、「x∈Aについて、∃n∈N＼A(n^2=7x)」としてはダメだとばかり思ってた。
しかしnとxの関係を見抜いてうまく作ったもんだね〜。
n∈Aが1つ以上あるとばかり思ってたよ。
だけど、こんなに仮定書いたら、
対称性の議論が不要になってちょっとやり過ぎですよ〜、
ってなるだろうな。
