シュールの不等式
出典: フリー百科事典『ウィキペディア(Wikipedia)』
シュールの不等式(しゅーるのふとうしき)は、イサイ・シュールにちなんで名づけられた絶対不等式で、非負実数 x, y, z と正数 t (t≧1)についての、次のような不等式。
等号成立は x = y = z または x, y, z のいずれかが0で残り2つが等しいときのみ。また、t が正の偶数の場合はすべての実数 x, y, z について不等式が成り立つ。
シュールの不等式の一般化は以下のようになる。a, b, c は正の実数、また (a, b, c) および (x, y, z) はsimilarly sortedになっているものとする。
[編集] 証明
不等式は x, y, z について対称なので、としても一般性を失わない。するとこの不等式は
と変形できるが、左辺の各項は明らかに非負である。これはシュールの不等式の変形となっている。