- 806 名前：１３２人目の素数さん mailto:sage [2012/01/26(木) 03:19:05.74 ]
- >>802
これだとかえって解答が長くなる気がする。
>>710のようにAを用意して、
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とする。
7は素数だからxも素数で、xに対して或るy∈Nが存在してx=7y^2。
x∈Aから、
8≦x=7y^2≦124<175=7*5^2、
また7*4^2=112、
よってx=7*2^2=7*4=28、またはx=7*3^2=7*9=63、
つまり求めるxはx=28、63。
とした方が、お粗末だが解答は短くなるんじゃないか？
