6

自作幾何FEの解説

423
0

お久しぶりです. 今回は今年の三月くらいに出した幾何FEの解説を書きます.

問題

座標平面上の格子点から格子点への単射であって, 共円を共円に移すものを全て求めてください.
ただし, 格子点とはx座標もy座標も整数であるような点であり, 共円とは, 同一円周上にある相異なる4点のことです.

投稿ツイートにはIMOの1番級程度と書いたのですが, 後で考えてみると1番級よりは難しい気がします. すみません.

早速解説に入っていきます.
--ネタバレ防止用--
.
.
..
...
.....
...
...
.
....
.....
....
....
...
..
.....
..
..
....
.
.....
.
.
..
...
.....
...
...
.
....
.....
....
....
...
..
.....
..
..
....
.
.....

解説

解はさすがに相似変換だけです.
条件をみたす単射をFとおく.

任意のn,mZに対し, 2直線F(n,m)F(n+1,m),F(n,m+1)F(n+1,m+1)は平行である.

n=m=0の場合に示せばよい.
無限個の点
F(0,2),F(0,1),F(0,0),F(0,1),F(0,2)
F(1,2),F(1,1),F(1,0),F(1,1),F(1,2)
について, 任意の相異なるn,mZに対し, 条件より4F(0,n),F(0,m),F(1,n),F(1,m)は共円. 従って, 任意のnZに対しこのように構成される3円の根心を考えれば直線F(0,n)F(1,n), 直線F(0,n+1)F(1,n+1), 直線F(0,n+2)F(1,n+2)は一点で交わるかすべて平行になる. この議論を全てのnに対して行えば, 無限本の直線の集合{F(0,n)F(1,n)}nZはすべてある一点で交わるか平行である.

ここで, すべてがある一点Xで交わったとして矛盾を導く.
上の議論で定まる方べきの値をRとおくと, 単射性より上で定まるすべての円が一点で交わることはないため, R>0である. このとき, 任意のnZに対し, |XF(0,n)||XF(1,n)|=Rであるので, 0<|XF(0,n)|Rまたは0<|XF(1,n)|Rである. 今, Xとの距離がR以下である格子点は高々有限個であり, 単射性よりそのそれぞれに対して根軸が2本以上通るということは起こりえないため, 引かれえる根軸の本数も高々有限になる. これは矛盾.

従って, {F(0,n)F(1,n)}nZはすべて平行になり, 特に補題は示された.

これのx座標とy座標を逆にした議論を行うことで, 任意のn,mZに対し, 4F(n,m),F(n+1,m),F(n,m+1),F(n+1,m+1)は平行四辺形をなすことが分かり, 特に円に内接することから長方形と分かる.

上の議論より, 任意のnZに対して{F(n,m)}mZ, {F(m,n)}mZはすべて同一直線上にあるので, それぞれxn,ynとおく. 全てのxnは相異なり, さらに平行である. ynも同様である. また, xnymは直交する.

{xn}nZ, {yn}nZは添え字が小さいものから順に並ぶ.

x1,x3,x2がこの順で並んだとして矛盾が言えればよい. ただし, 間にほかの直線が入ってもよいものとする. (こうなる箇所がなければ, どの添え字が連続する3直線も添え字の順で並ぶことがわかる).
{yn}の中で, 添え字が連続する3直線であって, 添え字の順に並ぶものが存在することが背理法によって容易にわかるので, y1,y2,y3はこの順としても一般性を失わない.
このとき, 同一円周上にある4(1,2),(3,2),(2,1),(2,3)Fで送った先の4F(1,2),F(3,2),F(2,1),F(2,3)は明らかに同一円周上にないため(図を描いてみよ), 矛盾.

位置関係がわかったので, 長さを求めていく.

{xn}nZ, {yn}nZは等間隔に並び, さらにそれらふたつの間隔は等しい.

x1,x2,x3, y1,y2,y3について, x1x2の距離, x2x3の距離, y1y2の距離, y2y3の距離をそれぞれp,q,r,sとおくと, 以下が成立する.

  • F(1,2),F(3,2),F(2,1),F(2,3)F(2,2)の方べきでpq=rs
  • F(1,2),F(1,3),F(2,1),F(3,1)F(1,1)の方べきでp(p+q)=r(r+s)
  • F(1,1),F(1,2),F(2,3),F(3,3)F(1,3)の方べきでp(p+q)=s(s+r)
    これを解くことでp=q=r=sを得る.

よって, 解は相似変換のみである.

感想

お疲れ様でした. APMOのとき, 幾何FE面白くないかみたいな話が出て作ってみた問題です. 幾何っぽい議論と代数っぽい議論と組み合わせっぽい議論が全部入っていてかなり好きな問題です. これを超える問題は多分もう生えません. 解いてみてくださった方, 記事を読んでくださった方, ありがとうございました!. また次回.

投稿日:2022104
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

りぼーす
りぼーす
142
29971

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中