第7章 7.26

(1)

aba+bab \geq a+b abab0ab-a-b \geq 0 となればよい

(a1)(b1)1(a-1)(b-1)-1

ここでa2a \geq 2 b2b \geq 2 から 少なくとも

(21)(21)1=0(2-1)(2-1)-1=0 となり abab0ab-a-b \geq 0 は成り立つ

(2)

abcd>a+b+c+dabcd > a+b+c+d abcdabcd>0abcd-a-b-c-d>0 となればよい

(a1)(b1)(c1)(d1)=abcdabcdab(c+d1)cd(a+b1)(a-1)(b-1)(c-1)(d-1) = abcd-a-b-c-d-ab(c+d-1)-cd(a+b-1) なので

abcdabcd=(a1)(b1)(c1)(d1)+ab(c+d1)+cd(a+b1)abcd-a-b-c-d = (a-1)(b-1)(c-1)(d-1)+ab(c+d-1)+cd(a+b-1) となる

ここでa2a \geq 2 b2b \geq 2 c2c \geq 2 d2d \geq 2 から 少なくとも

(21)(21)(21)(21)+4(2+21)+4(2+21)=1+12+12=25>0(2-1)(2-1)(2-1)(2-1)+4(2+2-1)+4(2+2-1)=1+12+12=25>0 となり

abcdabcd>0abcd-a-b-c-d>0 は成り立つ

解説: r31bn1z