■シュタイナーの反転法(その4)
a/c=x,b/c=yとおくと,ピタゴラス三角形は円x^2+y^2=1に,アイゼンシュタイン三角形は楕円x^2+xy+y^2=1になります.この楕円上のすべての有理点は,
x=(1−t^2)/(1+t+t^2),y=(2t+t^2)/(1+t+t^2)
とパラメトライズされます.
===================================
【1】円のパラメータ表示
原点を中心とする半径1の円の円周上の点を(x,y)とすれば,第3の変数θを媒介として,x=cosθ,y=sinθと表されます.θは(x,y)と(0,0),θ/2は(x,y)と(−1,0)を結ぶ直線とx軸とのなす角を表しています.
さらにt=tan(θ/2)とすると
tan(θ/2)=sinθ/(1+cosθ),
cosθ=(1−t^2)/(1+t^2),
sinθ=2t/(1+t^2)より,
x=±(1−t^2)/(1+t^2),
y=2t/(1+t^2) (−1≦t≦1)
と表すことができます.
−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−
これと同値な結果は以下のようにして得ることができます.原点を中心とする半径1の円:x^2+y^2=1の円周上のひとつの有理点が(0,1)です.この点を通る直線y=mx+1と単位円との交点は,代入して因数分解すれば
x^2+(mx+1)^2=1
x((1+m^2)x+2m)=0
より
x=2m/(1+m^2),
y=mx+1=(1−m^2)/(1+m^2)
と表すことができます.
これによって,円周上の点(x,y)が有理点であるためにはmが有理数であることが必要十分条件であることがわかります.すなわち,単位円上のすべての有理点は,mの関数
x=2m/(1+m^2),
y=±(1−m^2)/(1+m^2)
で表すことができます.
x^2+y^2=2(半径√2の円)において(1,1)は有理点で,この点を通る直線の方程式y−1=m(x−1)を(x^2−1)+(y^2−1)=0に代入して因数分解すると
x=(m^2−2m−1)/(m^2+1)
y=(−m^2−2m+1)/(m^2+1)
が得られます.m=∞に対応する(1,−1)も有理点です.
このように,円の有理点全体は1つの変数mによって一意化できますが,円ばかりではなく,現在では2次曲線に1つでも有理点があると実は無限に有理点があることがわかっています.2次曲線は有理点を無限のもつか,1つももたないかのどちらかであって,たとえば,x^2+y^2=3(半径√3の円)の上には有理点は1つも存在しません.このことは,互いに素な整数a,bに対する平方の和a^2+b^2は3で割れないということからわかります.
===================================