수학적 귀납법
첫 번째에서 참이고, 하나가 참이면 다음도 참임을 보여 모든 자연수에서 참임을 증명하는 방법.
초등중등고등
고2 에서 배웁니다.
를 모든 자연수 에서 증명할 때 쓴다.
왜 그런가
도미노와 같다. 첫 도미노가 넘어지고, 어떤 도미노든 넘어지면 다음 것을 넘어뜨린다는 것을 알면, 줄이 아무리 길어도 전부 넘어진다.
그래서 두 단계를 보인다. 먼저 에서 참임을 확인한다. 다음으로 에서 참이라고 가정하고, 그로부터 에서도 참임을 보인다. 위의 예에서는 를 보이면 된다.
몇 개를 넣어 보고 맞으니 「아마 늘 맞겠지」 하는 것과는 다르다. 끝없이 많은 경우를 유한한 두 단계로 빈틈없이 덮는 증명이다.
수학적 귀납법과 일상의 귀납 추론
구분 수학적 귀납법 일상의 귀납 추론
방법 두 단계로 모든 경우를 덮는다 몇 가지 예에서 규칙을 짐작한다
결론 반드시 참 틀릴 수 있다
이름의 유래
이름에 「귀납」이 들어 있지만 실제로는 빈틈없는 연역 증명이다. 몇 개의 예에서 일반 법칙을 끌어내는 일상의 귀납 추론과 겉모양이 닮아 이 이름이 붙었다.
흔한 오해
첫 단계를 빼먹으면 거짓도 「증명」된다. 「」은 에서 참이라 가정하면 양변에 을 더해 에서도 참이 되지만, 에서 라 처음부터 거짓이다. 넘어지는 첫 도미노가 있어야 한다.
이웃한 낱말
「수학적 귀납법」과 이어진 낱말입니다. 누르면 그 낱말로 넘어갑니다.
수학적 귀납법과 이어진 말
낱말에 마우스를 올리면 한 줄 뜻이 여기에 뜹니다. 낱말을 누르면 그 낱말로 넘어갑니다.
물건의 개수를 셀 때 쓰는 수 이다.
이미 참으로 인정된 사실만 써서 어떤 명제가 참임을 빈틈없이 밝히는 것.
등식의 양변에 같은 수를 더하거나 빼거나 곱하거나 ( 이 아닌 수로) 나눠도 등식은 성립한다.