10/11/21 19:41:21
>>27
基本対称式を a+b+c=s, ab+bc+ca=t, とおくと、
(a+2b)(b+2c)(c+2a) = 3st + (a-b)(b-c)(c-a) = 3st + ⊿,
非対称な部分 (a-b)(b-c)(c-a) = ⊿ は正にも負にもなり得るので、
絶対値を押さえます。
〔補題〕 |⊿| ≦ (2/√3)(t/s)(s^2 -3t),
詳細は [第３章.727, 737-739] へ。ミーラ置き場にあります...
10/11/21 19:41:21
>>27
基本対称式を a+b+c=s, ab+bc+ca=t, とおくと、
(a+2b)(b+2c)(c+2a) = 3st + (a-b)(b-c)(c-a) = 3st + ⊿,
非対称な部分 (a-b)(b-c)(c-a) = ⊿ は正にも負にもなり得るので、
絶対値を押さえます。
〔補題〕 |⊿| ≦ (2/√3)(t/s)(s^2 -3t),
詳細は [第３章.727, 737-739] へ。ミーラ置き場にあります...