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

 2変数2次形式

  [a,h]

  [h,b]

がミンコフスキー簡約であるための条件は

  |2h|≦a≦b

 3変数2次形式

  [a,h,g]

  [h,b,f]

  [g,f,c]

がミンコフスキー簡約であるための条件は

  a≦b≦c

  |2h|≦a,|2g|≦a,|2g|≦b

  2|h±g±f|≦a+b

 次元が高くなるに従って条件不等式は爆発的に増える.その不等式を全部書き下すことができるのはせいぜい7次元くらいまでであるから,正定値2次形式に関する簡約理論がいかに見事かわかるだろう.

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