■スタインハウスの問題(その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)から格子点までの距離はすべて異なることがわかる.

===================================