単位円の円周上に有理点は稠密に存在するのか？パラメータ表示で見る有理点の分布

単位円上の有理点とは、座標がともに有理数になる点のことです。円周上には無理数の座標を持つ点が多く存在しますが、有理点がどの程度存在するのか、また円周上にぎっしり広がっているのかは数学的に興味深い問題です。

この記事では、単位円の円周上に有理点が稠密に存在するのかについて、具体的な構成方法や証明の考え方を用いて分かりやすく解説します。

単位円上の有理点とは何か

単位円とは、座標平面上で中心が原点(0,0)、半径が1の円のことです。方程式では次のように表されます。

x²+y²=1

この円周上の点(x,y)について、xとyがともに有理数である場合、その点を有理点と呼びます。

例えば、(1,0)、(0,1)、(3/5,4/5)などは単位円上の有理点です。実際に、(3/5)²+(4/5)²=9/25+16/25=1となるため、条件を満たしています。

単位円上の有理点は、特定の少数の点だけではなく無限個存在します。その理由は、円周上の点を有理数だけを使って表す方法があるためです。

代表的な方法として、傾きが有理数の直線を使う方法があります。単位円上の点(−1,0)から傾きtの直線を引くと、交点の座標は次のように表せます。

x=(1-t²)/(1+t²)、y=2t/(1+t²)

ここでtが有理数ならば、xとyも有理数になります。そのため、有理数tをたくさん選ぶことで無限個の有理点を作ることができます。

結論から言うと、単位円の円周上には有理点が稠密に存在します。

「稠密」とは、簡単に言えば円周上のどんな小さな範囲を選んでも、その中に必ず有理点が存在するという意味です。

例えば、円周上のある点の近くに小さな範囲を作った場合、その範囲内に有理座標を持つ点が見つかります。有理点は飛び飛びに存在するのではなく、円周全体に隙間なく近づく形で分布しています。

有理数自体が実数の中で稠密に存在することが重要な理由です。有理数は、どれだけ小さな区間を選んでも必ずその中に存在します。

先ほどのパラメータ表示では、単位円上の点を有理数tによって表すことができます。tを少しずつ変化させると、円周上の点も連続的に移動します。

そして、有理数tが円周上のすべての位置に近づくことができるため、対応する有理点も円周上で稠密になります。

ただし、注意点として、すべての単位円上の点が有理点で表されるわけではありません。例えば、角度によっては座標に√2などの無理数が含まれる点も存在します。

有理点の代表例としてピタゴラス数があります。整数a,b,cがa²+b²=c²を満たすとき、(a/c,b/c)は単位円上の有理点になります。

例えば、3²+4²=5²なので、(3/5,4/5)は単位円上の有理点です。同じような組み合わせは無限に存在し、それらが円周上に広がっています。

このような点を考えることで、単位円上に有理点がどのように現れるのかを具体的に理解できます。

単位円の円周上には、有理座標を持つ点が無限に存在し、さらにそれらは稠密に分布しています。

その理由は、有理数をパラメータとして円周上の点を表すことができ、有理数自体が実数の中で稠密だからです。

単位円は一見すると無理数だらけの図形に見えますが、その中には有理点が無数に隠れており、数学的には円周全体を埋め尽くすように存在していることが分かります。