귀류법: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
잔글 r2.6.4) (로봇이 바꿈: es:Reductio ad absurdum |
|||
11번째 줄:
수학에서 '''귀류법'''{{.cw}}'''배리법'''은 증명하려는 [[명제]]의 결론이 부정이라는 것을 가정하였을 때 [[모순]]되는 가정이 나온다는 것을 보여, 원래의 명제가 참인 것을 증명하는 방법이다. 귀류법은 [[유클리드]]가 2000년전 [[소수 (수론)|소수]]의 무한함을 증명하기 위해 사용하였을 정도로 오래된 증명법이다.
예를 들어 <math>\sqrt{2}</math>가 [[
#<math>\sqrt{2}</math>가
#<math>2a^{2} = b^{2}</math>이므로 <math>b</math>는 2의 배수이다. 따라서 <math>b=2b'</math>로 둘 수 있다.
#<math>2b'^{2} = a^{2}</math>이므로 <math>a</math>는 2의 배수이다. 이는 <math>a, b</math>가 서로소라는 가정에 모순이다. 따라서 <math>\sqrt{2}</math>는
==주석==
| |||