자연계열 3번

(a) 함수 $\displaystyle f(x)=\cos x-1+\dfrac{x^{2}}{2}$의 그래프는 $\displaystyle y$축 대칭이므로 $\displaystyle x\geq 0$일 때 $\displaystyle f(x)\geq 0$임을 보이면 된다.$\displaystyle f^{\prime}(x)=-\sin x+x$이고 $\displaystyle f^{\prime\prime}(x)=-\cos x+1\geq 0$이므로, $\displaystyle f^{\prime}(0)=0$이며 $\displaystyle f^{\prime}(x)$는 $\displaystyle x\geq 0$일 때 증가하므로 $\displaystyle f^{\prime}(x)\geq 0$이다.그러므로 $\displaystyle x\geq 0$일 때 $\displaystyle f(x)$는 증가한다. $\displaystyle f(0)=0$이므로 $\displaystyle f(x)\geq 0$이다.

(b) 원 $\displaystyle x^{2}+\left(y-\dfrac{1}{2}\right)^{2}=\dfrac{1}{4}$이 곡선 $\displaystyle y=\cos x$와 직선 $\displaystyle y=0$에 동시에 접하면서 최대의 반지름을 갖는다.따라서 $\displaystyle -\dfrac{1}{2}\leq x\leq \dfrac{1}{2}$일 때 $\displaystyle \cos x\geq \dfrac{1}{2}+\sqrt{\dfrac{1}{4}-x^{2}}$임을 보이면 반지름의 최댓값이 $\displaystyle \dfrac{1}{2}$이 된다.

이 원이 영역 $\displaystyle S$에 포함됨을 보이자. (a)에 의해서 모든 실수 $\displaystyle x$에 대하여 $\displaystyle \cos x\geq 1-\dfrac{x^{2}}{2}$이므로, $\displaystyle -\dfrac{1}{2}\leq x\leq \dfrac{1}{2}$일 때 $\displaystyle \dfrac{1}{2}+\sqrt{\dfrac{1}{4}-x^{2}}\leq 1-\dfrac{x^{2}}{2}$임을 보이면 된다.

$\displaystyle \dfrac{1}{2}+\sqrt{\dfrac{1}{4}-x^{2}}\leq 1-\dfrac{x^{2}}{2}\iff \sqrt{\dfrac{1}{4}-x^{2}}\leq \dfrac{1}{2}-\dfrac{x^{2}}{2}$이고, $\displaystyle -\dfrac{1}{2}\leq x\leq \dfrac{1}{2}$일 때$\displaystyle \left(\dfrac{1}{2}-\dfrac{x^{2}}{2}\right)^{2}-\left(\sqrt{\dfrac{1}{4}-x^{2}}\right)^{2}=\dfrac{x^{4}+2x^{2}}{4}\geq 0$이므로

$\displaystyle -\dfrac{1}{2}\leq x\leq \dfrac{1}{2}$일 때 $\displaystyle \dfrac{1}{2}+\sqrt{\dfrac{1}{4}-x^{2}}\leq 1-\dfrac{x^{2}}{2}\leq \cos x$이다. 따라서 구하는 반지름의 길이의 최댓값은 $\displaystyle \dfrac{1}{2}$이다.