Schur's Inequality.
1 개요
슈어의 부등식이라고도 한다. 이름은 독일의 수학자 이사이 슈어의 이름을 땄다. 참고로 이 수학자는 잘 알려지지는 않았지만 그의 이름을 딴 여러가지 개념이 많다. 슈어 대수학, 슈어 곱, 슈어 테스트 등등... 이 중 슈르 부등식은 KMO와 같은 수학 경시대회를 준비한다면 보게 될 것이다. 대학 수학과에서도 슈르 부등식을 자세하게 가르치는 경우는 드물다. 그냥 수많은 부등식 중 하나이기 때문. 안습 자세한 부등식의 내용은 아래와 같다.
음이 아닌 실수 a,b,c[1]와 r>0에 대하여, ar(a−b)(a−c)+br(b−c)(b−a)+cr(c−a)(c−b)≥0이다. 등호는 a=b=c또는 a,b,c중 두 개는 같고 나머지 하나는 0일 때 성립한다.
2 증명
ar(a−b)(a−c)+br(b−c)(b−a)+cr(c−a)(c−b)가 대칭식이기 때문에 c≤b≤a라고 두어도 된다.[2] 이 때, f(a)=ar(a−c)라고 정의하면, 음이 아닌 실수 a,b,c에 대하여
ddaf(a)=(ar+1−car)′=(r+1)ar−crar−1=(r+1)ar−1(a−rr+1c)≥0가 성립한다. 따라서 f(a)는 a에 대하여 증가함수이고, f(a)≥f(b)이다. 따라서
ar(a−b)(a−c)−br(a−b)(b−c)=(a−b)(f(a)−f(b))>0이고, 여기에 항상 음이 아닌 실수 cr(c−a)(c−b)≥0를 더하면 증명하고자 하는 바가 증명된다.
3 일반화
이 슈르 부등식은 일반화가 존재한다. 내용은 아래와 같다.
a,b,c가 양의 실수라 하자. 또한 a,b,c와 x,y,z가 비슷하게 정렬되어 있다고 가정하자.[3] 그러면, a(x−y)(x−z)+b(y−z)(y−x)+c(z−x)(z−y)≥0이 성립한다.
그런데 여기서 또 일반화가 존재한다. 아래 일반화는 2007년 루마니아의 한 수학자에 의해 증명되었다.
실수 a,b,c,x,y,z에 대하여, a≥b≥c이고 x≥y≥z라고 가정하자.[4] 양의 실수 k에 대하여 함수 f:ℝ→ℝ+0가 볼록함수이거나 단조함수라 가정하자. 그러면, f(x)(a−b)k(a−c)k+f(y)(b−a)k(b−c)k+f(z)(c−a)k(c−b)k≥0이 성립한다.
제일 위에 있는 슈르의 부등식은 여기서 x=a,y=b,z=c,k=1,f(x)=xr인 경우임을 알 수 있다.