b_n이 ln(1+x)와 쌍곡선의 교점의 x좌표이니 {ln(1+b_n)}^2=(b_n)^2/{a_(n+1)}^2-1이 성립함. 근데 제시문 (가)에 의해 (b_n)^2/{a_(n+1)}^2-1 < (b_n)^2 임. b_n은 0이 될 수 없으므로 제곱을 나눠주면 1/(a_(n+1))^2 - 1/(b_n)^2 < 1 임. 정리해주면 1/{a_(n+1)}^2 - 1 < 1/(b_n)^2임.  그런데 좌변은 주어진 조건에 의해 1/(a_n)^2 < 1/{a_(n+1)}^2 - 1 < 1/(b_n)^2 이므로 1/(a_n)^2 < 1/(b_n)^2 이 성립. 따라서 a_n > b_n 임. 그리고 b_n > a_(n+1)은 그림에서 자명하므로 증명 완료.

- dc official App