06. 수학을 증명하는 강력한 무기: 실전 증명

1. 학습 목표 (Learning Objectives)

  • 앞서 배운 귀납법 스텝 1, 2 도미노 방어막을 실제 가장 기초적이고 유명한 수열 ‘등식(Equation)’ 공식에 적용하여 증명하는 법을 익힙니다.
  • $n$이 커질수록 두 식의 크기 차이가 더 벌어진다는 ‘부등식(Inequality)’ 의 세계에서, 2단계 논리가 기가 막히게 맞아떨어지는 $A > B, B > C \rightarrow A > C$ 식의 간접 증명 테크닉을 파악합니다.

2. [실전 1] 등식의 증명 (1부터 n까지의 합)

가우스가 초등학교 때 1부터 100까지 순식간에 암산했다는 그 전설의 공식, \(1 + 2 + 3 + ... + n = \frac{n(n+1)}{2}\) 이 시대를 초월하는 불변의 참인지 수학적 귀납법으로 직접 증명해 봅시다.

등식의 귀납적 증명 시각화 SVG: 치트키 공식(가정 수식)인 $1+...+k = k(k+1)/2$ 의 좌양변에 모두 동일한 수식 조각 '+ (k+1)'을 황금빛 스파크로 결합 타격한 뒤, 우변이 최종 조립을 거쳐 우리의 타겟인 n=k+1 형태 공식으로 빙의 완벽 변신하는 해킹 로직 다이어그램

Step 1: 1번 도미노 쓰러뜨리기 ($n=1$ 대입)

  • 결과: 좌변($1$) = 우변($1$). 완벽히 떨어집니다! 1번 도미노 쓰러짐 팩트 체크 완료!

Step 2: 연쇄 폭발 논리 해킹 ($n=k$ 일 때 $n=k+1$ 끌어들이기)

  • [가정] 임의의 $k$번째에서 참이라고 일단 무조건 믿어줍시다: \(1 + 2 + 3 + ... + k = \frac{k(k+1)}{2}\) (이건 우리가 마음껏 변형해서 써먹을 치트키 식입니다)

  • [목표] 위 치트키 식을 뜯어고쳐서, 어떻게든 이 목표 모양으로 만들어 냅시다: $1 + 2 + … + k + \mathbf{(k+1)} = \frac{\mathbf{(k+1)}((k+1)+1)}{2} = \mathbf{\frac{(k+1)(k+2)}{2}}$

  • [타격 실행 / 증명]: 가정해 놓은 치트키 식의 “양변”에 공평하게 $\mathbf{(k+1)}$ 이라는 숫자를 각각 더해 봅니다! $\rightarrow$ 좌변: $1 + 2 + 3 + … + k \, \mathbf{+ \, (k+1)}$ (오! 벌써 좌변은 목표 형태가 됐다!) $\rightarrow$ 우변: $\frac{k(k+1)}{2} \, \mathbf{+ \, (k+1)}$

  • 우변을 통분해서 예쁘게 로직을 다듬어 봅니다. $= \frac{k(k+1)}{2} + \frac{2(k+1)}{2}$ $= \frac{k(k+1) + 2(k+1)}{2}$ $= \mathbf{\frac{(k+1)(k+2)}{2}}$

[판정 확정] 헉! 양변에 똑같은 수 하나를 더했을 뿐인데, 귀신같이 우변의 결괏값이 우리가 애초에 목표했던 “$n$ 자리에 $k+1$이 들어간 공식” 형태와 $100\%$ 똑같이 떨어졌습니다! $\rightarrow$ “오호라, $n=k$가 참이라고 쳤더니, 수식 논리에 의해 $n=k+1$ 도 형태가 맞춰지면서 무조건 참이 되는 구나!” (2단계 연쇄 타격 공식 증명 끝!)

3. [실전 2] 부등식의 증명 ($A>B>C$ 샌드위치 기법)

부등식은 양팔 저울의 균형을 맞추는 게 아니기 때문에, “내가 너보다 크고, 네가 쟤보다 크니까 $\rightarrow$ 내가 제일 크다!” 라는 $A > B > C$ 3단 콤보 논리를 자주 씁니다.

예제: $n \ge 3$ 인 모든 정수 $n$ 에 대하여 $2^n > 2n + 1$ 임을 증명하라. (무한 번식하는 지수 $2^n$ 이 기껏해야 1차 함수 속도인 $2n+1$ 보다는 무조건 크다는 공식)

  • Step 1 (초기값): $n \ge 3$ 이라 했으니, 1번 도미노는 $n=3$ 입니다. 좌변 $2^3 = 8$ 이고, 우변 $2(3)+1 = 7$ 입니다. $8 > 7$ 이므로 참입니다! 타격 성공!

  • Step 2 (연쇄 타격): $n=k$ 일 때 $2^k > 2k+1$ 이 맞다고 쳐 줍시다. (치트키 식) 목표는 무조건 이 형태($n$ 자리에 $k+1$이 들어간 모양)로 조립해서 빼내는 겁니다: $\rightarrow \mathbf{2^{k+1} > 2(k+1)+1}$ 즉, $\mathbf{2^{k+1} > 2k+3}$

  • 치트키 식 양변에 $\mathbf{2}$ 를 곱해봅니다! (거듭제곱이니 $2$를 곱해야 $2^{k+1}$ 이 됩니다) $\rightarrow 2 \times 2^k > 2 \times (2k+1)$ $\rightarrow 2^{k+1} > \mathbf{4k+2}$

  • 그런데 이 $\mathbf{4k+2}$ 랑, 우리가 원래 뽑아내야 할 우변 목표인 $\mathbf{2k+3}$ 이랑 비교해 볼까요? 우리가 $k \ge 3$ 부터 증명한다고 했습니다. $k$가 3 이상이면 $4k+2$ 가 무조건 $2k+3$ 보다 압도적으로 크지 않습니까? $\rightarrow 4k+2 \, > \, 2k+3$ (참)

  • [판정 콤보]: 자, 보세요! $2^{k+1} \, > \, \mathbf{4k+2}$ 였고, 이 $\mathbf{4k+2} \, > \, 2k+3$ 이 논리적으로 확실하니까! 당연히 $\mathbf{2^{k+1} \, > \, 2k+3}$ 이라는 부등식이 참이 됩니다! (샌드위치 논리) $\rightarrow$ 이렇게 꼬리의 꼬리를 물며 “$n=k+1$ 일 때도 참”임이 부등식에서도 증명되었습니다!

4. 학습 정리 (Summary)

  1. 등식 증명의 비결: $n=k$ 일 때의 치트키 식 양변에 좌변$K+1$ 항만큼의 똑같은 양치기를 해보고, 이를 통분하여 다듬었을 때 우리가 얻고 싶어 한 궁극적인 우변의 목표 형태($k+1$ 공식)가 강제로 튀어나오면 증명 성공입니다.
  2. 부등식 증명의 비결: 등식처럼 예쁘게 딱 맞아떨어지지 않습니다. 하지만 치트키 식을 부풀린 결괏값($A$)이 있고, 우리의 목표값($B$)이 있을 때, $A>C$ 인데 $C>B$ 라면 당연히 $A>B$ 라는 대소 관계 논리를 통해 부등식을 연쇄 입증할 수 있습니다.
서브목차