■スタインハウスの問題(その2)
平面上の点で座標が両方とも整数の点を格子点といいます.
(Q)与えられた整数nに対して,平面上の円でちょうどn個の格子点を囲むものが存在するか?
という問いかけはスタインハウスが1957年に提起した問題です.
===================================
【1】シェルピンスキーによる解答
シェルピンスキーはスタインハウスの問題に肯定的に答えています.
(A)点(√2,1/3)は平面上のすべての格子点から異なる距離にある.
(証)(a1,a2),(b1,b2)は点(√2,1/3)から等距離にある異なる格子点と仮定すると
(a1−√2)^2+(a2−1/3)^2=(b1−√2)^2+(b2−1/3)^2
a1^2+a2^2−b1^2−b2^2−2/3a2+2/3b2=2(a1−b1)√2
√2が無理数であることより
a1−b1=0かつa2^2−b2^2−2/3(a2−b2)=0
したがって,
a2+b2−2/3=0
でなければならない.しかし,a2,b2は整数であるから明らかに矛盾する.よって,点(√2,1/3)から格子点までの距離はすべて異なることがわかる.
===================================