■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次形式に関する簡約理論がいかに見事かわかるだろう.
===================================