- 190 名前：Kummer ◆g2BU0D6YN2 [2007/04/28(土) 10:58:09 ]
- (a, b, c) ∈ F(D) のとき I = [a, (-b + √D)/2] の
基底 a, (-b + √D)/2 の向き(>>188)を調べる。
Δ(-a, (-b + √D)/2) = a((-b + √D)/2 - (-b - √D)/2)
= a√D
従って a ＞ 0 のとき a, (-b + √D)/2 は正の向き、
a ＜ 0 のとき a, (-b + √D)/2 は負の向きである。
まず a ＞ 0 の場合を考える。
α = a
β = (-b + √D)/2 とおき、
f(x, y) = N(xα - yβ)/N(I) とおく。
x と y は有理整数である。
過去スレ４の392より、
k = (αα')/N(I)
l = -(αβ' + βα')/N(I)
m = (ββ')/N(I)
とおけば、f(x, y) = kx^2 + lxy + my^2 である。
今の場合、N(I) = a だから
k = a
l = b
m = c
である。
即ち N(xα - yβ)/N(I) = ax^2 + bxy + cy^2 である。
|
 |
