- 191 名前：Kummer ◆g2BU0D6YN2 [2007/04/28(土) 11:39:35 ]
- 今度は a ＜ 0 の場合を考える。
I = [a, (-b + √D)/2] = [-a, (-b + √D)/2] であり、
Δ(a, (-b + √D)/2)) = -a√D だから
-a, (-b + √D)/2 は正の向きである。
α = -a
β = (-b + √D)/2 とおき、
f(x, y) = N(xα + yβ)/N(I) とおく。
x と y は有理整数である。
過去スレ４の584より、
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 である。
