실수−실수=실수 이기때문에, x−y=실수 이다.
그리고, 실수2≥0 이기 때문에
그래서, (x−y)2≥0 이 성립한다.
식을 풀어보면, x−2xy+y≥0 이다. −2xy를 이항하면, x+y≥2xy 이다.
그래서 두 양수의 합은 2양수의곱 보다 크거나 같다 라고 할수있다.
이 식을 2x+y≥xy 로 바꿀수있다.
이때, 2x+y 을 산술평균 , xy 을 기하평균 이라고 부른다.
그래서 산술평균은 기하평균보다 크거나 같다 라고 할수있다.
산술평균과 기하평균의 용도
두 양수 합의 최솟값을 구할때
두 양수 곱의 최댓값을 구할때
예제
x>0,y>0 이고, xy=6일때 x+y의 최솟값을 구하여라. x+y>=2xy x+y>=26 이므로, x+y 의 최솟값은 26 이다.