■ディオファントス方程式の解の非存在(その42)
トポグラフのアルゴリズムは、
f(av)=a^2f(v)
と
f(u+v)+f(u-v)=2{f(u)+f(v)}すなわちc+d=2(a+b)
に基づいている。
前者は2次形式が整数kを表現するときkx^2の形をした整数すべてを表現することを意味している。
また後者は、初期値をf(1,0)=a,f(0,1)=b,f(1,1)=cとして、d以下を芋づる式に求めていけばよいことを意味しているのである。
===================================
オイラーは31x^2-y^2=-1の整数解のなかでxが最小なものは(273,1520)であることを示した(1733年)
f(1,0)=31,f(0,1)=-1,f(1,1)=30
からスタートするトポグラフを描く
判別式は124(正・非平方数)なので、しばらくたどれば(273,1520)がみつかる
===================================