다음은 2 2 2 이상의 자연수 n n n 에 대하여 부등식
1 1 + 1 2 + 1 3 + ⋯ + 1 n > n \displaystyle \frac{1}{\sqrt{1}} + \frac{1}{\sqrt{2}} + \frac{1}{\sqrt{3}} + \cdots + \frac{1}{\sqrt{n}} > \sqrt{n} 1 1 + 2 1 + 3 1 + ⋯ + n 1 > n
이 성립함을 증명하는 과정이다.
<증명>
(ⅰ) n = 2 n = 2 n = 2 일 때
1 1 + 1 2 = 2 + 2 2 \displaystyle \frac{1}{\sqrt{1}} + \frac{1}{\sqrt{2}} = \frac{2 + \sqrt{2}}{2} 1 1 + 2 1 = 2 2 + 2 에서
1 1 + 1 2 > □ ( 가 ) \displaystyle \frac{1}{\sqrt{1}} + \frac{1}{\sqrt{2}} > \square {( \text{가} )} 1 1 + 2 1 > □ ( 가 )
(ⅱ) n = k n = k n = k (k ≥ 2 k \geq 2 k ≥ 2 ) 일 때, 주어진 부등식이 성립함을 가정하면
1 1 + 1 2 + 1 3 + ⋯ + 1 k > k \displaystyle \frac{1}{\sqrt{1}} + \frac{1}{\sqrt{2}} + \frac{1}{\sqrt{3}} + \cdots + \frac{1}{\sqrt{k}} > \sqrt{k} 1 1 + 2 1 + 3 1 + ⋯ + k 1 > k
k + 1 − ( 1 1 + 1 2 + 1 3 + ⋯ + 1 k + 1 k + 1 ) \displaystyle \sqrt{k + 1} - \left( \frac{1}{\sqrt{1}} + \frac{1}{\sqrt{2}} + \frac{1}{\sqrt{3}} + \cdots + \frac{1}{\sqrt{k}} + \frac{1}{\sqrt{k + 1}} \right) k + 1 − ( 1 1 + 2 1 + 3 1 + ⋯ + k 1 + k + 1 1 )
= k + 1 − ( 1 1 + 1 2 + 1 3 + ⋯ + 1 k ) − 1 k + 1 \displaystyle = \sqrt{k + 1} - \left( \frac{1}{\sqrt{1}} + \frac{1}{\sqrt{2}} + \frac{1}{\sqrt{3}} + \cdots + \frac{1}{\sqrt{k}} \right) - \frac{1}{\sqrt{k + 1}} = k + 1 − ( 1 1 + 2 1 + 3 1 + ⋯ + k 1 ) − k + 1 1
< k + 1 − □ ( 나 ) − 1 k + 1 = □ ( 다 ) k + 1 < 0 \displaystyle < \sqrt{k + 1} - \square {( \text{나} )} - \frac{1}{\sqrt{k + 1}} = \frac{\square {( \text{다} )}}{\sqrt{k + 1}} < 0 < k + 1 − □ ( 나 ) − k + 1 1 = k + 1 □ ( 다 ) < 0
∴ 1 1 + 1 2 + 1 3 + ⋯ + 1 k + 1 k + 1 > k + 1 \displaystyle \therefore \frac{1}{\sqrt{1}} + \frac{1}{\sqrt{2}} + \frac{1}{\sqrt{3}} + \cdots + \frac{1}{\sqrt{k}} + \frac{1}{\sqrt{k + 1}} > \sqrt{k + 1} ∴ 1 1 + 2 1 + 3 1 + ⋯ + k 1 + k + 1 1 > k + 1
따라서 n = k + 1 n = k + 1 n = k + 1 일 때도 주어진 부등식은 성립한다.
(ⅰ), (ⅱ)에서 2 2 2 이상의 자연수 n n n 에 대하여 주어진 부등식이 성립한다.
위의 증명에서 (가), (나), (다) 에 알맞은 것은? [4점]
(가) (나) (다)
① 2 \displaystyle \sqrt{2} 2 k + 1 \displaystyle \sqrt{k + 1} k + 1 k − k + 1 \displaystyle \sqrt{k} - \sqrt{k + 1} k − k + 1 ② 2 \displaystyle \sqrt{2} 2 k \displaystyle \sqrt{k} k k + 1 − k + 2 \displaystyle \sqrt{k + 1} - \sqrt{k + 2} k + 1 − k + 2 ③ 2 \displaystyle \sqrt{2} 2 k \displaystyle \sqrt{k} k k − k ( k + 1 ) \displaystyle k - \sqrt{k ( k + 1 )} k − k ( k + 1 ) ④ 2 2 2 k \displaystyle \sqrt{k} k k − k ( k + 1 ) \displaystyle k - \sqrt{k ( k + 1 )} k − k ( k + 1 ) ⑤ 2 2 2 k + 1 \displaystyle \sqrt{k + 1} k + 1 k + 1 − k + 2 \displaystyle \sqrt{k + 1} - \sqrt{k + 2} k + 1 − k + 2