■パラメータ解? (その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)
===================================