■an+b型素数(その20)

 2つの整数の平方和として表される整数を求める問題は,古代ギリシャで議論されている.

  x^2+y^2=m

 これを一般化すると

  ax^2+bxy+cy^2=m  (a,b,c,m:整数)

の整数解を求める問題になる(18世紀).

===================================

[1]判別式D=b^2−4ac=0のとき,完全平方式になる.

  g(px+qy)^2=m

  gはa,b,cの最大公約数,p,qは互いに素な整数

  gX^2=m

[2]判別式D=b^2−4ac<0のとき,平方の和になる.

  (2ax+by)^2+|D|y^2=4am

  X^2+|D|Y^2=4am

[3]判別式D=b^2−4ac>0のとき,平方の差になる.

  g(px+qy)(rx+sy)=m

  gXY=mあるいは

  (2ax+by)^2−Dy^2=4am→X^2−DY^2=4am

 統一的に眺めると

  ax^2+bxy+cy^2=m  (a,b,c,m:整数)を

  X=px+qy,Y=rx+sy

と変数変換し

  a’X^2+b’XY+c’Y^2=m

に帰着させることである.

===================================