お久しぶりです. 今回は今年の三月くらいに出した幾何FEの解説を書きます.
問題
座標平面上の格子点から格子点への単射であって, 共円を共円に移すものを全て求めてください.
ただし, 格子点とは座標も座標も整数であるような点であり, 共円とは, 同一円周上にある相異なる点のことです.
投稿ツイートにはIMOの1番級程度と書いたのですが, 後で考えてみると番級よりは難しい気がします. すみません.
早速解説に入っていきます.
--ネタバレ防止用--
.
.
..
...
.....
...
...
.
....
.....
....
....
...
..
.....
..
..
....
.
.....
.
.
..
...
.....
...
...
.
....
.....
....
....
...
..
.....
..
..
....
.
.....
解説
解はさすがに相似変換だけです.
条件をみたす単射をとおく.
の場合に示せばよい.
無限個の点
について, 任意の相異なるに対し, 条件より点は共円. 従って, 任意のに対しこのように構成される3円の根心を考えれば直線, 直線, 直線は一点で交わるかすべて平行になる. この議論を全てのに対して行えば, 無限本の直線の集合はすべてある一点で交わるか平行である.
ここで, すべてがある一点で交わったとして矛盾を導く.
上の議論で定まる方べきの値をとおくと, 単射性より上で定まるすべての円が一点で交わることはないため, である. このとき, 任意のに対し, であるので, またはである. 今, との距離が以下である格子点は高々有限個であり, 単射性よりそのそれぞれに対して根軸が本以上通るということは起こりえないため, 引かれえる根軸の本数も高々有限になる. これは矛盾.
従って, はすべて平行になり, 特に補題は示された.
これの座標と座標を逆にした議論を行うことで, 任意のに対し, 点は平行四辺形をなすことが分かり, 特に円に内接することから長方形と分かる.
上の議論より, 任意のに対して, はすべて同一直線上にあるので, それぞれとおく. 全てのは相異なり, さらに平行である. も同様である. また, とは直交する.
がこの順で並んだとして矛盾が言えればよい. ただし, 間にほかの直線が入ってもよいものとする. (こうなる箇所がなければ, どの添え字が連続する直線も添え字の順で並ぶことがわかる).
の中で, 添え字が連続する直線であって, 添え字の順に並ぶものが存在することが背理法によって容易にわかるので, はこの順としても一般性を失わない.
このとき, 同一円周上にある点をで送った先の点は明らかに同一円周上にないため(図を描いてみよ), 矛盾.
位置関係がわかったので, 長さを求めていく.
, は等間隔に並び, さらにそれらふたつの間隔は等しい.
, について, との距離, との距離, との距離, との距離をそれぞれとおくと, 以下が成立する.
- との方べきで
- との方べきで
- との方べきで
これを解くことでを得る.
よって, 解は相似変換のみである.
感想
お疲れ様でした. APMOのとき, 幾何FE面白くないかみたいな話が出て作ってみた問題です. 幾何っぽい議論と代数っぽい議論と組み合わせっぽい議論が全部入っていてかなり好きな問題です. これを超える問題は多分もう生えません. 解いてみてくださった方, 記事を読んでくださった方, ありがとうございました!. また次回.