■パラメータ解? (その39)

 実2次体の類数公式はログサイン和とも呼ぶべきものですが,それにしても虚2次体の類数公式とはずいぶん違ってみえます.

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

[2]m>0のとき(実2次体)

  h=−1/2logεΣχ(a)logsin(aπ/D)

  εを基本単数(ε>1)とする

(1)Q(√2):h=1

D=8,ε=1+√2,

χ(a) =(8/a)=+1   a=1,7

          −1   a=3,5

h=−1/2log(1+√2)(1・logsin(π/8)+(−1)・logsin(3π/8)+(−1)・logsin(5π/8)+1・logsin(7π/8))=1

(2)Q(√3):h=1

D=12,ε=2+√3,

χ(a) =(12/a)=+1   a=1,11

          =−1   a=5,7

h=−1/2log(2+√3)(1・logsin(π/12)+(−1)・logsin(5π/12)+(−1)・logsin(7π/12)+1・logsin(11π/12))=1

(3)Q(√5):h=1

D=5,ε=(1+√5)/2,

χ(a) =(5/a)=+1   a=1,4

          −1   a=2,3

h=−1/2log((1+√5)/2)(1・logsin(π/5)+(−1)・logsin(2π/5)+(−1)・logsin(3π/5)+1・logsin(4π/5))=1

   (∵2cos(π/5)=(1+√5)/2)

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