09/04/23 10:24:04
>>876
sum of squares inequality: Σa_k^2 ≧ 0
「任意の非負有理式は有理式の自乗和で書ける」というArtinの結果があるので，
有理式≧0 は，左辺を記述する有理式の自乗和を構成する方法で必ず証明できる．
（もちろん，それを見つけるのが簡単とか難しいとかはあるけれど）
09/04/23 10:24:04
>>876
sum of squares inequality: Σa_k^2 ≧ 0
「任意の非負有理式は有理式の自乗和で書ける」というArtinの結果があるので，
有理式≧0 は，左辺を記述する有理式の自乗和を構成する方法で必ず証明できる．
（もちろん，それを見つけるのが簡単とか難しいとかはあるけれど）