(※この記事は以前の記事を読まなくとも問題ありませんが、以前に接続数について解説したので、それに関する記述が若干あります)
はじめに
例えばですけど、 は原点を通る円の方程式ですが、その円周上にある格子点の求め方はわかりますか。
この円の場合、下図のように -13 < x < 144 と の範囲が絞られるのでこの範囲内でxをしらみつぶしに代入していけば答えは得られます。
ただ、この方法だと大変ですし偶然整数になっている解を集めている感じがします。
しかし、格子点は偶然ではなく、とある規則に基づいて精巧に配置されています。
原点を通る円の場合、もっと本質的で、エレガントに格子点を求める方法があるので、この記事ではそれをご紹介します!
具体的には、この円( )の格子点は複素数 の因数と一対一対応するという性質を用いて求めていきます!
複素数も素因数分解できる!
5や13は素数ですが、なんと複素数の世界では素数ではなくなります!
と、さらに分解できてしまうのです。
それに対してここで出てきた などはこれ以上分解できません。
この素数を用いると、複素数も素因数分解できることがわかります!
試しに を素因数分解してみましょう!
5と13は先ほど分解しましたね!
この式より、 の素因数は右4つの素数のどれかだと絞れます。
正解の組み合わせを探すと と素因数分解できます!
(余りから もわかります)
これでようやく本題に入れます。
複素数の因数と円の格子点
原点を通る円の方程式は、一般に ( は整数)と表す事が出来ます。(式の形から接続数 の一般化になっていることもわかります)
この円の整数解は、以下のようにして解くことができます!
(接続数の求め方の式の を と置き直しため、符号が少し異なる点にご注意ください。いままで は自然数でしたがこの一般化では整数となります)
つまり、 の格子点は を二つの複素数に因数分解できたら、その実部と虚部 ( ) をかけ合わせることで求められるということです!
証明に入る前に実際に一つの方程式 の格子点を求めてみましょう!
先ほど、 と素因数分解できました。
このとき二つの因数に分ける方法は
(i) と
(ii) の2パターンあります。
つまり、(i)の場合は となり、(ii)の場合は
となります。
定理では、 と置くと、 が整数解になるということなので、以下の八つの点は格子点になります。
(i)
(ii)
また、 は (i),(ii) 以外には因数分解できないので、この方程式の格子点はこれらしかないこともわかります。
下図にこの8点を図示しました。この図から分かるように、1組の因数分解から得られる4点は円の中心に対して対称な4点になります。
では、この定理の証明をしていきましょう!(定理の逆は省きます)
になります。この式を に代入することで を消去します。
展開して整理すると
これで が円上にあることを示せました!
他三つも同様にできます。
そして逆に、 を満たす整数 を用いて と因数分解することもできます。(この証明は前回とほぼ同じなので割愛します。)
(証明終)
つまり、 の因数分解と、 の4対の整数解が一対一対応しているということです。
したがって を素因数分解して因数を全て出せば、整数解を全て求めることができます!
原点を通らない円でも、整数解を一つ見つけてそれを原点に移動させればこの方法を使えます。
実は複素数平面で考えると円の格子点は図形的にも複素数と深い関係があることがわかります。次からはこれを説明していきます!
複素数平面で考えてみる
定理では、 の と から4つの格子点が求まりましたが、これらの因数が複素数平面のどこに位置しているか考えてみましょう。
複素数平面と座標平面を、座標平面上の点 と複素数平面上の を同一視すると、 と置いたら は複素数平面上で下図の青矢印に位置します。図には、 も書きました。
となるので複素数平面で を 倍した点は格子点 となります。(※xy平面上で は整数解でした)
とおいたら同様に、
を 倍した点は格子点 に、
を 倍した点は格子点 に、
を 倍した点は格子点 になります。
複素数に をかけると90度回転するので、 赤矢印と黒矢印はなす角が直角になります。これは と , と を結んだ線分は中心を通るため直径になることからもわかります。
このように の因数は、整数倍したら格子点になります。
逆に格子点 で (gcd:最小公倍数)とすると は の因数になるので の因数と格子点は一対一対応していることがわかります。したがって格子点を対応する因数を用いて などと 内に因数を書いて表記することにします。
これを見ると や に を掛けたら斜めの位置になり、x座標が同じ格子点の因数をかけると になるように対の解は配置されるようですね。
因数と格子点は一対一対応しますが、 と のように定数倍の違いだけの因数は同じ格子点に対応します。これは先ほどの定数倍の違いはパターン分けに関与しないのと同じ話です。
複素数が定数倍の違いだけの場合 と で結び、二数は合同であると呼ぶことにします。
四つの因数 は下図の赤矢印の方向に位置するので、ちょうど自明の四つの解 に対応します。(向きが大事なので赤矢印の長さは適当です)
※ は原点と接する方向の因数になるので原点と対応させます。
このように対応させると の因数と の格子点がうまく一対一対応していることがわかります。
そして格子点を複素数に対応させることで、ある嬉しいことがあります。
なんと、二つの因数の積に対応する格子点の位置も簡単に割り出せるようになるのです!
二つの因数の積に対応する格子点の位置
下の定理1を見てください。
と置いて、複素数平面に図示しました。
より、赤角=青角 になります。これは複素数平面の性質です。( の位置は の位置とは異なりますが、方向は同じでしたね。)
円周角の定理より、赤角=黄角、青角=緑角 であり、
円に内接する四角形なので、緑角=紫角 になります。
したがって得られた4つの角の等式より 黄角=紫角なので、 です!
他の位置にあっても同様に証明できます。
(証明終)
この定理1によって因数 と に対応する と の位置がわかればその積 に対応する格子点 の位置を割り出すことが出来ます。
今までの場合だと なので で下が成り立ちます。
この場合だと因数が少ないのであまり恩恵を感じないですね。
では、冒頭に示した で考えてみましょう!
と素因数分解できます。今後は素因数を左から順に と置いて説明します。
このとき二つの因数に分ける方法は
の八通りあるので整数解はその四倍の32個になります。
定理1より に対応する格子点は に対応する格子点がわかれば を通る平行線との交点からその位置がわかります。下図で確認してみてください。
で などを省略して因数だけで格子点を表しているので注意してください。
このように が多くの素因数を持つ場合でも、素因数に対応する格子点の位置さえわかれば残りの格子点の位置も定理1を用いて平行線を引けば全て求めることが出来ます。
x座標、y座標が同じである対の解も描写すると下のようになります。これで整数解は全部です。
少し前に説明した通り、x座標が同じ格子点の因数をかけると全て になり、ある因数に を掛けたら斜めの位置に行くのが確かめられます。
格子点同士の平行関係
の話にまた戻ります。
この図をもう少し観察してみます。どうやら他の格子点を結んだ線分も青色、赤紫、桃色、赤色、橙色、水色線分と平行な関係になりそうですね。これらと平行になる線分を全て描いたら下のようになります!
すごい量です!
いったいどういった規則性で平行になっているのでしょうか。それぞれの色の線分がどの点とどの点を結んだものなのか列挙してみて考えてみましょう!
青色
と , と , と , と , と , と , と , と
赤紫
と , と , と , と
桃色
と , と , と , と , と , と , と , と
赤色
と , と , と , と , と , と , と , と
橙色
と , と , と , と
水色
と , と , と , と
何か規則性っぽいものが見えてくると思います。
4本の平行線の赤紫、橙色、水色線分はそれぞれ と 、 と 、 と が一つずつ出てきます。
8本の平行線である青色、桃色、赤色線分もそれぞれ と 、 と 、 と が一つずつ出てくるパターンで4本と、そこに 二つと が加わったものが4本あります。これで合計8本です。
と二つの というのは何なのでしょうか。
忘れていると思いますが、 でしたね。 と二つの をかけてみます。
ちょうど定数になりました!
複素数が定数倍の違いだけの場合のことを合同と言いました。したがって、それぞれ下が成り立ちます!
青色 二数の積が と合同
赤紫 二数の積が と合同
桃色 二数の積が と合同
赤色 二数の積が と合同
橙色 二数の積が と合同
水色 二数の積が と合同
なるほど!平行になるなら対応する二つの因数の積がどれも合同になりそうですね!
例えば水色線分の場合は下が成り立っています。
このように、下の定理2が成り立ちます。
軽く説明します。
定理1は が の因数でなくても成り立ちます。このときは円上の点 を原点と複素数平面上の点 を結んだ直線と の原点でない方の交点とします。
したがって、 , , , に関して が成り立つとき と置いて、 に対応する円上の点を と置けば定理1より、 かつ が成り立つため、 が成り立ちます!
この定理2によって平行なら因数が等しいだけではなく、逆に因数が合同なら平行になります。これにより、上で描いたもの以外の平行関係も沢山求めることが出来ます。
つまり、青色、赤紫、桃色、赤色、橙色、水色線分の平行関係はごく一部に過ぎないことがわかります!
例えば
より、積が でもこの4本は平行になるし
より、積が でもこの4本は平行になります。
他にも積が , , , , , などなど数え切れないパターンがあります。それに や のように を掛けたものもまた別の傾きの平行線になることも考えるとこの円の格子点同士にはとてつもない量の平行関係があることがわかります!
全ての平行関係を描いてみるとこうなります!
(う、うつくしい!!!)
なんだかずっと見てられますね
このように の格子点は一見たまたま整数になる点の集まりのように見えますが、本当は精巧で規則正しく配置されているってことを感じてもらえたら嬉しいです!
次回はおまけ回です。すっ飛ばしていた定理の証明や接続数 間に成り立つ関係式の一覧を載せておきます。特に関係式一覧は、接続数の対称性の美しさを感じられると思うので是非ご覧になってください!!
今までの記事はここからご覧になれます。
全体の目次【数遊び編】【代数・幾何編】 - dedemoni's mathematics
以前の記事の補足
以下は以前の記事への補足です。
定理2をもう一度もう少し考えてみます。
複素数の因数は定数倍すると円上の点になるので、 をそれぞれ定数倍した円上の点を順に とします。それぞれの複素数を表す点が になりますね。
定数倍したものなので
です。
つまり、 のとき が成り立ちます。
したがって次の定理2’がいえます。
※円上の点としたように、格子点でなくとも成り立ちます。
五桁の接続数を複素数平面にプロットしたことを思い出してください。
沢山の直線が平行になっていました。
定理2’によって、平行な関係となる四つの(非)接続数を表す複素数を としたとき、
が成り立つことがわかります!
これが【はじめに】で紹介していたことですね。