(가)주어진 n개의 양수 a1,a2,⋯,an의 산술평균 A, 기하평균 G, 조화평균 H는 다음 식으로 정의된다.A=na1+a2+⋯+an,G=(a1a2⋯an)n1,H=a11+a21+⋯+an1n또한, 각 수의 제곱의 산술평균의 제곱근을 이차평균이라 하고 R로 표기한다. 즉, R=(na12+a22+⋯+an2)1/2이다. 예를 들어, 두 수 1, 3에 대하여 A=2, G=3, H=23, R=5이다. 두 양수 a,b의 산술평균 A, 기하평균 G, 조화평균 H사이에 다음 관계가 성립한다.G2=AH
(나)여러 가지 평균 또는 이와 관련된 값들 사이의 크기를 비교하는 것은 흥미롭다. 두 양수 a,b의 산술평균 A, 기하평균 G, 조화평균 H사이의 부등식 H≤G≤A는 여러 문제에서 활용된다.
부등식을 증명하는데 미분법을 활용할 수 있다. 여기서는 주어진 서로 다른 두 양수 a,b에 대하여, 두 수의 차를 두 수의 로그 값의 차로 나눈 로그 평균 L이 기하평균 G보다 크다는 사실을 증명하려 한다. 즉, 서로 다른 두 양수 a,b에 대하여 다음 부등식이 성립함을 보이려 한다.ab<lnb−lnab−a (ㄱ)편의상 0<a<b라 하자. 부등식 (ㄱ)의 양변을 a로 나눈 후 t=b/a라 놓으면 t>1에서 t<lntt−1이 성립함을 보이면 충분하다. 이제 양의 실수들의 집합에서 정의된 함수 f(t)=tlnt−(t−1)을 생각하자. 이 함수의 도함수들을 구하면 f′(t)=2tlnt+t1−1, f′′(t)=−4ttlnt. f′′(t)의 부호 변화를 고려하면 f′(t)는 t=1에서 최댓값을 가지며 구간 (1,∞)에서 증가상태이다. 따라서 t>1에 대하여 f′(t)<f′(1)=0을 얻는다. 따라서 f(t)는 구간 (1,∞)에서 감소상태이므로 f(t)<f(1)=0을 얻어 부등식 (ㄱ)이 성립함을 알 수 있다.Correction. 이 문장의 ‘증가상태’는 ‘감소상태’를 뜻한다. t>1에서 f′′(t)<0이므로 f′은 감소하며, 바로 다음 부등식은 이에 맞게 적혀 있다. 원칙에 따라 원문 표기를 그대로 실었다.
[문제 2-1]〈15점〉 아래 그림과 같은 중심이 O, 반지름이 ON인 반원을 생각하자. ON 위의 한 점 M과 원주 상의 또 다른 점 P를 잡고 점 M에서 선분 OP에 내린 수선의 발을 Q라 하자. 선분 LM, 선분 MN의 길이를 각각 a,b라 하자.1) 〈10점〉 선분 LO, PM, PQ의 길이를 각각 a와 b의 산술평균 A, 기하평균 G, 조화평균 H를 이용하여 나타내라.2) 〈5점〉 부등식 H≤G≤A가 성립하는 이유를 1)을 이용하여 설명하라.
[문제 2-2]〈15점〉 300개의 자료를 100개와 200개로 나누어 산술평균과 조화평균을 각각 구했더니 아래 표와 같았다.
구분
산술평균
조화평균
100개의자료
1
4/7
200개의자료
3/2
1
여기에 양수 x를 100개 추가한 400개의 자료에 대한 산술평균이 조화평균의 2배가 된다면 x는 얼마인가?
[문제 2-3]〈20점〉 두 양수 a와 b의 산술평균, 조화평균, 이차평균을 각각 A,H,R이라 하자.1) 〈5점〉 산술평균 A와 이차평균 R사이의 대소 관계를 논하라.2) 〈15점〉 다음 부등식이 a와 b에 상관없이 항상 성립하도록 하는 가장 큰 양의 상수 α를 구하고 제시문 (나)에서와 같이 t=b/a를 도입하여 부등식을 증명하라.3αR+H≤A
해설강의 준비중
아주대 2014학년도 수시 자연계열 2번 · mathesis.kr/archive/ajou/2014su/jayeon_2
[문제 2-1] 1) 그림에서 LO=2a+b이므로 A=LO이다. 〈甲〉원의 성질로부터 PM2=LM×MN=ab이므로 G=PM이다. 〈乙〉△OMP의 넓이를 고려하면21×OP×QM=21×OM×MP이로부터A×QM=2b−a×G이다.Caution.식을 길이나 넓이로 해석할 때는 그 값이 음이 아닌지 확인해야 한다: 그림에서 a=LM≥b=MN이므로 OM=2a−b이다. 따라서 이 줄의 b−a는 a−b로 쓰거나 절댓값을 붙여야 한다. 다음 줄에서는 제곱하므로 최종 관계 PQ=H는 그대로 성립한다. 원칙에 따라 원문 표기를 그대로 실었다.△QMP에 피타고라스 정리를 적용하면A2×PQ2=A2×(PM2−QM2)=A2G2−(2b−a)2G2=((2a+b)2−(2a−b)2)G2=G4즉 A×PQ=G2을 얻게 되므로 이로부터 PQ=H를 얻는다. 〈丙〉
2) 직각삼각형에서 빗변의 길이는 다른 변보다 길다. 이를 △MQP와 △OMP에 적용하면 부등식 H≤G≤A를 얻는다.
[문제 2-2] 그룹 1의 변량을 x1,x2,…,x100, 그룹 2의 변량을 y1,y2,…,y200, 추가되는 변량을 Z라 하면, 전체 자료의 산술평균 A와 조화평균 H는 다음과 같이 구해진다.A=400∑i=1100xi+∑i=1200yi+100×ZH−1=400∑i=1100xi−1+∑i=1200yi−1+100×Z−1한편, 주어진 표로부터i=1∑100xi=100×1,i=1∑200yi=200×23,i=1∑100xi−1=100×47,i=1∑200yi−1=200×1,이 성립한다. 이를 이용하면,A=400100×1+200×23+100×Z=44+ZH−1=400100×47+200×1+100×Z−1=4415+Z−1H=15+4×Z−116문제에서 주어진 조건 A:H=2:1로부터 (15+4Z−1)×(4+Z)=128을 얻는다. 이 식을 풀면 Z=4/15,4.
[문제 2-3] 1) R2−A2=(a2+b2)/2−(a2+2ab+b2)/4=(a−b)2/4≥0이므로 일반적으로 R≥A가 성립한다. 〈甲〉등호가 성립하기 위한 필요충분조건은 a=b이다. 〈乙〉
2) 주어진 부등식의 좌변과 우변은 각각 a⋅3α(1+(b/a)2)/2+2(b/a)/(1+b/a), a⋅21+b/a이다. 따라서 주어진 부등식은 λ≥1에 대한 아래 부등식과 동등하다.3α(1+λ2)/2+2λ/(1+λ)≤21+λ이 부등식이 λ=1일 때에도 성립하여야 하므로 3α+1≤1, 즉 α≤2이어야 한다. α=2인 경우 부등식이 성립하는지 알아보기 위하여F(λ)=2+2λ2+2λ/(1+λ)−3(1+λ)/2라 하면,F′(λ)=2λ/2+2λ2+2/(1+λ)2−3/2,F′′(λ)=4/(2+2λ2)3−4/(1+λ)3이다.문제 (1)에 의하여 임의의 양수 λ에 대하여 2+2λ2≥1+λ이므로 F′′(λ)≤0, 즉 F′(λ)는 감소한다. 따라서 λ≥1에 대하여 F′(λ)≤F′(1)=0. 따라서 F(λ)는 감소한다. F(λ)≤F(1)=0가 성립한다. 그러므로 주어진 부등식은 α=2인 경우 성립하고, 주어진 부등식을 만족하는 가장 큰 양의 상수 α는 2이다.