수리논술, 이게 다다.

자연계열 2번

오류 제보

문제

다음 제시문을 읽고 물음에 답하라.

(가) 주어진 n\displaystyle n개의 양수 a1,a2,⋯ ,an\displaystyle a_1,a_2,\cdots,a_n의 산술평균 A\displaystyle A, 기하평균 G\displaystyle G, 조화평균 H\displaystyle H는 다음 식으로 정의된다.A=a1+a2+⋯+ann,G=(a1a2⋯an)1n,H=n1a1+1a2+⋯+1an\displaystyle A=\frac{a_1+a_2+\cdots+a_n}n,\quad G=(a_1a_2\cdots a_n)^{\frac1n},\quad H=\frac n{\frac1{a_1}+\frac1{a_2}+\cdots+\frac1{a_n}}또한, 각 수의 제곱의 산술평균의 제곱근을 이차평균이라 하고 R\displaystyle R로 표기한다. 즉, R=(a12+a22+⋯+an2n)1/2\displaystyle R=(\frac{a_1^2+a_2^2+\cdots+a_n^2}n)^{1/2}이다. 예를 들어, 두 수 1, 3에 대하여 A=2\displaystyle A=2, G=3\displaystyle G=\sqrt3, H=32\displaystyle H=\frac32, R=5\displaystyle R=\sqrt5이다. 두 양수 a,b\displaystyle a,b의 산술평균 A\displaystyle A, 기하평균 G\displaystyle G, 조화평균 H\displaystyle H사이에 다음 관계가 성립한다.G2=AH\displaystyle G^2=AH

(나) 여러 가지 평균 또는 이와 관련된 값들 사이의 크기를 비교하는 것은 흥미롭다. 두 양수 a,b\displaystyle a,b의 산술평균 A\displaystyle A, 기하평균 G\displaystyle G, 조화평균 H\displaystyle H사이의 부등식 H≤G≤A\displaystyle H\le G\le A는 여러 문제에서 활용된다.

부등식을 증명하는데 미분법을 활용할 수 있다. 여기서는 주어진 서로 다른 두 양수 a,b\displaystyle a,b에 대하여, 두 수의 차를 두 수의 로그 값의 차로 나눈 로그 평균 L\displaystyle L이 기하평균 G\displaystyle G보다 크다는 사실을 증명하려 한다. 즉, 서로 다른 두 양수 a,b\displaystyle a,b에 대하여 다음 부등식이 성립함을 보이려 한다.ab<b−aln⁡b−ln⁡a\displaystyle \sqrt{ab}<\frac{b-a}{\ln b-\ln a} (ㄱ)편의상 0<a<b\displaystyle 0<a<b라 하자. 부등식 (ㄱ)의 양변을 a\displaystyle a로 나눈 후 t=b/a\displaystyle t=b/a라 놓으면 t>1\displaystyle t>1에서 t<t−1ln⁡t\displaystyle \sqrt t<\frac{t-1}{\ln t}이 성립함을 보이면 충분하다. 이제 양의 실수들의 집합에서 정의된 함수 f(t)=tln⁡t−(t−1)\displaystyle f(t)=\sqrt t\ln t-(t-1)을 생각하자. 이 함수의 도함수들을 구하면 f′(t)=ln⁡t2t+1t−1\displaystyle f^{\prime}(t)=\frac{\ln t}{2\sqrt t}+\frac1{\sqrt t}-1, f′′(t)=−ln⁡t4tt\displaystyle f^{\prime\prime}(t)=-\frac{\ln t}{4t\sqrt t}. f′′(t)\displaystyle f^{\prime\prime}(t)의 부호 변화를 고려하면 f′(t)\displaystyle f^{\prime}(t)는 t=1\displaystyle t=1에서 최댓값을 가지며 구간 (1,∞)\displaystyle (1,\infty)에서 증가상태이다. 따라서 t>1\displaystyle t>1에 대하여 f′(t)<f′(1)=0\displaystyle f^{\prime}(t)<f^{\prime}(1)=0을 얻는다. 따라서 f(t)\displaystyle f(t)는 구간 (1,∞)\displaystyle (1,\infty)에서 감소상태이므로 f(t)<f(1)=0\displaystyle f(t)<f(1)=0을 얻어 부등식 (ㄱ)이 성립함을 알 수 있다.Correction. 이 문장의 ‘증가상태’는 ‘감소상태’를 뜻한다. t>1\displaystyle t>1에서 f′′(t)<0\displaystyle f^{\prime\prime}(t)<0이므로 f′\displaystyle f^{\prime}은 감소하며, 바로 다음 부등식은 이에 맞게 적혀 있다. 원칙에 따라 원문 표기를 그대로 실었다.

[문제 2-1]〈15점〉 아래 그림과 같은 중심이 O\displaystyle O, 반지름이 ON‾\displaystyle \overline{ON}인 반원을 생각하자. ON‾\displaystyle \overline{ON} 위의 한 점 M\displaystyle M과 원주 상의 또 다른 점 P\displaystyle P를 잡고 점 M\displaystyle M에서 선분 OP\displaystyle OP에 내린 수선의 발을 Q\displaystyle Q라 하자. 선분 LM\displaystyle LM, 선분 MN\displaystyle MN의 길이를 각각 a,b\displaystyle a,b라 하자.1) 〈10점〉 선분 LO\displaystyle LO, PM\displaystyle PM, PQ\displaystyle PQ의 길이를 각각 a\displaystyle a와 b\displaystyle b의 산술평균 A\displaystyle A, 기하평균 G\displaystyle G, 조화평균 H\displaystyle H를 이용하여 나타내라.2) 〈5점〉 부등식 H≤G≤A\displaystyle H\le G\le A가 성립하는 이유를 1)을 이용하여 설명하라.

반원에서 선분의 길이로 나타낸 산술평균, 기하평균, 조화평균

[문제 2-2]〈15점〉 300개의 자료를 100개와 200개로 나누어 산술평균과 조화평균을 각각 구했더니 아래 표와 같았다.

구분산술평균조화평균
100개의 자료100\text{개의 자료}114/74/7
200개의 자료200\text{개의 자료}3/23/211

여기에 양수 x\displaystyle x를 100개 추가한 400개의 자료에 대한 산술평균이 조화평균의 2배가 된다면 x\displaystyle x는 얼마인가?

[문제 2-3]〈20점〉 두 양수 a\displaystyle a와 b\displaystyle b의 산술평균, 조화평균, 이차평균을 각각 A,H,R\displaystyle A,H,R이라 하자.1) 〈5점〉 산술평균 A\displaystyle A와 이차평균 R\displaystyle R사이의 대소 관계를 논하라.2) 〈15점〉 다음 부등식이 a\displaystyle a와 b\displaystyle b에 상관없이 항상 성립하도록 하는 가장 큰 양의 상수 α\displaystyle \alpha를 구하고 제시문 (나)에서와 같이 t=b/a\displaystyle t=b/a를 도입하여 부등식을 증명하라.αR+H3≤A\displaystyle \frac{\alpha R+H}3\le A

해설강의 준비중

[문제 2-1] 1) 그림에서 LO‾=a+b2\displaystyle \overline{LO}=\frac{a+b}2이므로 A=LO‾\displaystyle A=\overline{LO}이다. 〈甲〉원의 성질로부터 PM‾2=LM‾×MN‾=ab\displaystyle \overline{PM}^2=\overline{LM}\times\overline{MN}=ab이므로 G=PM‾\displaystyle G=\overline{PM}이다. 〈乙〉△OMP\displaystyle \triangle OMP의 넓이를 고려하면12×OP‾×QM‾=12×OM‾×MP‾\displaystyle \frac12\times\overline{OP}\times\overline{QM}=\frac12\times\overline{OM}\times\overline{MP}이로부터A×QM‾=b−a2×G\displaystyle A\times\overline{QM}=\frac{b-a}2\times G이다.Caution. 식을 길이나 넓이로 해석할 때는 그 값이 음이 아닌지 확인해야 한다: 그림에서 a=LM‾≥b=MN‾\displaystyle a=\overline{LM}\ge b=\overline{MN}이므로 OM‾=a−b2\displaystyle \overline{OM}=\frac{a-b}2이다. 따라서 이 줄의 b−a\displaystyle b-a는 a−b\displaystyle a-b로 쓰거나 절댓값을 붙여야 한다. 다음 줄에서는 제곱하므로 최종 관계 PQ‾=H\displaystyle \overline{PQ}=H는 그대로 성립한다. 원칙에 따라 원문 표기를 그대로 실었다.△QMP\displaystyle \triangle QMP에 피타고라스 정리를 적용하면A2×PQ‾2=A2×(PM‾2−QM‾2)=A2G2−(b−a2)2G2=((a+b2)2−(a−b2)2)G2=G4\displaystyle \begin{aligned}A^2\times\overline{PQ}^2&=A^2\times(\overline{PM}^2-\overline{QM}^2)=A^2G^2-(\frac{b-a}2)^2G^2\\&=\left((\frac{a+b}2)^2-(\frac{a-b}2)^2\right)G^2=G^4\end{aligned}즉 A×PQ‾=G2\displaystyle A\times\overline{PQ}=G^2을 얻게 되므로 이로부터 PQ‾=H\displaystyle \overline{PQ}=H를 얻는다. 〈丙〉

2) 직각삼각형에서 빗변의 길이는 다른 변보다 길다. 이를 △MQP\displaystyle \triangle MQP와 △OMP\displaystyle \triangle OMP에 적용하면 부등식 H≤G≤A\displaystyle H\le G\le A를 얻는다.

[문제 2-2] 그룹 1의 변량을 x1,x2,…,x100\displaystyle x_1,x_2,\ldots,x_{100}, 그룹 2의 변량을 y1,y2,…,y200\displaystyle y_1,y_2,\ldots,y_{200}, 추가되는 변량을 Z\displaystyle Z라 하면, 전체 자료의 산술평균 A\displaystyle A와 조화평균 H\displaystyle H는 다음과 같이 구해진다.A=∑i=1100xi+∑i=1200yi+100×Z400\displaystyle A=\frac{\sum_{i=1}^{100}x_i+\sum_{i=1}^{200}y_i+100\times Z}{400}H−1=∑i=1100xi−1+∑i=1200yi−1+100×Z−1400\displaystyle H^{-1}=\frac{\sum_{i=1}^{100}x_i^{-1}+\sum_{i=1}^{200}y_i^{-1}+100\times Z^{-1}}{400}한편, 주어진 표로부터∑i=1100xi=100×1,∑i=1200yi=200×32,∑i=1100xi−1=100×74,∑i=1200yi−1=200×1\displaystyle \sum_{i=1}^{100}x_i=100\times1,\quad\sum_{i=1}^{200}y_i=200\times\frac32,\quad\sum_{i=1}^{100}x_i^{-1}=100\times\frac74,\quad\sum_{i=1}^{200}y_i^{-1}=200\times1,이 성립한다. 이를 이용하면,A=100×1+200×32+100×Z400=4+Z4\displaystyle A=\frac{100\times1+200\times\frac32+100\times Z}{400}=\frac{4+Z}4H−1=100×74+200×1+100×Z−1400=154+Z−14\displaystyle H^{-1}=\frac{100\times\frac74+200\times1+100\times Z^{-1}}{400}=\frac{\frac{15}4+Z^{-1}}4H=1615+4×Z−1\displaystyle H=\frac{16}{15+4\times Z^{-1}}문제에서 주어진 조건 A:H=2:1\displaystyle A:H=2:1로부터 (15+4Z−1)×(4+Z)=128\displaystyle (15+4Z^{-1})\times(4+Z)=128을 얻는다. 이 식을 풀면 Z=4/15,4\displaystyle Z=4/15,4.

[문제 2-3] 1) R2−A2=(a2+b2)/2−(a2+2ab+b2)/4=(a−b)2/4≥0\displaystyle R^2-A^2=(a^2+b^2)/2-(a^2+2ab+b^2)/4=(a-b)^2/4\ge0이므로 일반적으로 R≥A\displaystyle R\ge A가 성립한다. 〈甲〉등호가 성립하기 위한 필요충분조건은 a=b\displaystyle a=b이다. 〈乙〉

2) 주어진 부등식의 좌변과 우변은 각각 a⋅α(1+(b/a)2)/2+2(b/a)/(1+b/a)3\displaystyle a\cdot\frac{\alpha\sqrt{(1+(b/a)^2)/2}+2(b/a)/(1+b/a)}3, a⋅1+b/a2\displaystyle a\cdot\frac{1+b/a}2이다. 따라서 주어진 부등식은 λ≥1\displaystyle \lambda\ge1에 대한 아래 부등식과 동등하다.α(1+λ2)/2+2λ/(1+λ)3≤1+λ2\displaystyle \frac{\alpha\sqrt{(1+\lambda^2)/2}+2\lambda/(1+\lambda)}3\le\frac{1+\lambda}2이 부등식이 λ=1\displaystyle \lambda=1일 때에도 성립하여야 하므로 α+13≤1\displaystyle \frac{\alpha+1}3\le1, 즉 α≤2\displaystyle \alpha\le2이어야 한다. α=2\displaystyle \alpha=2인 경우 부등식이 성립하는지 알아보기 위하여F(λ)=2+2λ2+2λ/(1+λ)−3(1+λ)/2\displaystyle F(\lambda)=\sqrt{2+2\lambda^2}+2\lambda/(1+\lambda)-3(1+\lambda)/2라 하면,F′(λ)=2λ/2+2λ2+2/(1+λ)2−3/2\displaystyle F^{\prime}(\lambda)=2\lambda/\sqrt{2+2\lambda^2}+2/(1+\lambda)^2-3/2,F′′(λ)=4/(2+2λ2)3−4/(1+λ)3\displaystyle F^{\prime\prime}(\lambda)=4/(\sqrt{2+2\lambda^2})^3-4/(1+\lambda)^3이다.문제 (1)에 의하여 임의의 양수 λ\displaystyle \lambda에 대하여 2+2λ2≥1+λ\displaystyle \sqrt{2+2\lambda^2}\ge1+\lambda이므로 F′′(λ)≤0\displaystyle F^{\prime\prime}(\lambda)\le0, 즉 F′(λ)\displaystyle F^{\prime}(\lambda)는 감소한다. 따라서 λ≥1\displaystyle \lambda\ge1에 대하여 F′(λ)≤F′(1)=0\displaystyle F^{\prime}(\lambda)\le F^{\prime}(1)=0. 따라서 F(λ)\displaystyle F(\lambda)는 감소한다. F(λ)≤F(1)=0\displaystyle F(\lambda)\le F(1)=0가 성립한다. 그러므로 주어진 부등식은 α=2\displaystyle \alpha=2인 경우 성립하고, 주어진 부등식을 만족하는 가장 큰 양의 상수 α\displaystyle \alpha는 2이다.

첨삭 사례

아직 등록된 첨삭 사례가 없습니다.

질문과 답변 · 0개질문과 답변 · 고정 0개

아직 등록된 질문이 없습니다. 질문 작성은 멤버십 회원만 가능합니다.