- 337 名前：Kummer ◆g2BU0D6YN2 [2006/12/23(土) 02:20:08 ]
- 広義の簡約２次形式を狭義つまり >>320 で定義した簡約２次形式に
変形するのは簡単である。
(a, b, c) を広義の簡約２次形式とする。
|b| = a で b ＜ 0 なら -b = a である。
(a, b, c) に 変換 S = (1, 1)/(0, 1) を施すことにより
(a, 2a + b, a + b + c) となる(>>328)。
ここで 2a + b = a である。
a + b + c = c である。
よって (a, 2a + b, a + b + c) = (a, a, c) は狭義の簡約２次形式
である。
今度は a = c で b ＜ 0 とする。
(a, b, a) に T = (0, -1)/(1, 0) を施すことにより
(a, -b, a) となる(>>328)。
これは狭義の簡約２次形式である。
