17/08/28 11:53:15.27 4VsD2YTN.net
>>712 の訂正
× (x-y-z)
○ (x+y+z)
>>713
[疑問1]
(1）は >>679 (2）ですね。
>>687 を参照。
あえて難しい〔補題196〕を使う必要は無かったですね。
[疑問2]
>>687 を参照。
(2）と（ab+bc+ca)^2 ≧ 3abc(a+b+c) から（1）を出します。
>>714
そうです。
17/08/28 11:53:15.27 4VsD2YTN.net
>>712 の訂正
× (x-y-z)
○ (x+y+z)
>>713
[疑問1]
(1）は >>679 (2）ですね。
>>687 を参照。
あえて難しい〔補題196〕を使う必要は無かったですね。
[疑問2]
>>687 を参照。
(2）と（ab+bc+ca)^2 ≧ 3abc(a+b+c) から（1）を出します。
>>714
そうです。