2025.09.23記
[6]
を自然数とする.
平面内の,原点を中心とする半径
の円の,内部と周をあわせたものを
であらわす.次の条件
を満たす1辺の長さが1の正方形の数を
とする.
正方形の4頂点はすべて
に含まれ,4頂点の
および
座標はすべて整数である.
このとき, を証明せよ.
2025.09.24記
面積を比較して が成立することは明らかで,問題は下からの評価になりますが,最高次だけが問題になるので大雑把で大丈夫です.
[解答]
辺が軸に平行なであるような1辺の長さが2の正方形の内部には必ず4頂点が格子点となる辺が軸に平行なであるような1辺の長さが1の正方形が存在し,一辺の長さが2の正方形の対角線の長さは
であるから,十分大きな
に対して
が成立する.よってはさみうちの原理により
となる.
辺が軸に平行なであるような1辺の長さが2の正方形の内部には必ず4頂点が格子点となる辺が軸に平行なであるような1辺の長さが1の正方形が存在し,一辺の長さが2の正方形の対角線の長さは
が成立する.よってはさみうちの原理により