[목차] == 개요 == [math(T_2)]의 도움정리는 Titu Andreescu[* 올림피아드, Putnam 등 유명 수학 경시대회 대비 문제집을 저술하는 저자이다. 대표 저서로 Putnam and beyond와 Problems from the book이 있다.]저서인 Problems from the book에서 이 도움정리의 중요성을 강조하면서, 자신의 이름 Titu를 변형하여 붙이면서 이 도움정리를 [math(T_2)]의 도움정리라고 부른다. 원래는 [[코시-슈바르츠 부등식]]을 변형한 형태라고 볼 수 있다. [[KMO]]를 준비한다면 알아두면 좋다. 자세한 정리는 다음과 같다. >[[실수(수학)|실수]] [math(a,b)]와 양의 실수 [math(x,y)]에 대하여 다음이 성립한다. >[math(\displaystyle\frac{a^2}{x}+\frac{b^2}{y}\geq\frac{\left(a+b\right)^2}{x+y})]. == 증명 == 첫번째 증명. [math(\displaystyle\frac{a^2}{x}+\frac{b^2}{y}-\frac{\left(a+b\right)^2}{x+y}=\frac{1}{xy\left(x+y\right)}\left\{a^2 y\left(x+y\right)+b^2 x\left(x+y\right)-\left(a+b\right)^2 xy\right\}=\frac{1}{xy\left(x+y\right)}\left(ay-bx\right)^2\geq 0)] 이 되어 주어진 부등식이 성립한다. 등호는 [math(\displaystyle\frac{a}{x}=\frac{b}{y})]일 때 성립한다. 두번째 증명. [math(\displaystyle\left(x+y\right)\left(\frac{a^2}{x}+\frac{b^2}{y}\right)\geq\left(a+b\right)^2\ \Leftrightarrow\ \frac{a^2}{x}+\frac{b^2}{y}\geq\frac{\left(a+b\right)^2}{x+y}\ \left(\because x+y>0\right))] (단, 등호는 [math(\displaystyle\frac{a}{x}=\frac{b}{y})]일 때 성립한다.) ([[코시-슈바르츠 부등식]]) == 확장 == [math(T_2)]의 도움정리를 두 번 사용하면 실수 [math(a,b,c)]와 양의 실수 [math(x,y,z)]에 대하여 다음이 성립한다. [math(\displaystyle\frac{a^2}{x}+\frac{b^2}{y}+\frac{c^2}{z}\geq\frac{\left(a+b\right)^2}{x+y}+\frac{c^2}{z}\geq\frac{\left(a+b+c\right)^2}{x+y+z})]. 변수가 4, 5, 6, ... 개 일 때도 귀납적으로 같은 부등식이 성립한다. 따라서, >실수 [math(a_1,a_2,\cdots,a_n)]과 양의 실수 [math(x_1,x_2,\cdots,x_n)]에 대하여 >[math(\displaystyle\frac{a_1^2}{x_1}+\frac{a_2^2}{x_2}+\cdots+\frac{a_n^2}{x_n}\geq\frac{\left(a_1+a_2+\cdots+a_n\right)^2}{x_1+x_2+\cdots+x_n})] >이 성립한다. 등호 성립은 [math(\displaystyle\frac{a_1}{x_1}=\frac{a_2}{x_2}=\cdots=\frac{a_n}{x_n})]이다. 증명. [math(\displaystyle\left(x_1+x_2+\cdots+x_n\right)\left(\frac{a_1^2}{x_1}+\frac{a_2^2}{x_2}+\cdots+\frac{a_n^2}{x_n}\right)\geq\left(a_1+a_2+\cdots+a_n\right)^2)] [math(\displaystyle\Leftrightarrow\ \frac{a_1^2}{x_1}+\frac{a_2^2}{x_2}+\cdots+\frac{a_n^2}{x_n}\geq\frac{\left(a_1+a_2+\cdots+a_n\right)^2}{x_1+x_2+\cdots+x_n}\left(\because x_1+x_2+\cdots+x_n>0\right))] (단, 등호는 [math(\displaystyle\frac{a_1}{x_1}=\frac{a_2}{x_2}=\cdots=\frac{a_n}{x_n})]일 때 성립한다.) == 관련 항목 == * [[산술·기하 평균 부등식]] * [[코시-슈바르츠 부등식]] [[분류:부등식]]