주 메뉴 열기

바뀜

680 바이트 추가됨 ,  9년 전
예시 추가.
'''귀류법'''({{llang|ko-KP|귀유법}}), '''배리법'''은 증명하려는 [[명제]]의 부정이 참이라는 것을 가정하였을 때 [[모순]]되는 결과가 나온다는 것을 보여, 원래의 명제가 참인 것을 증명하는 방법이다. 귀류법은 [[유클리드]]가 2000년전 [[소수 (수론)|소수]]의 무한함을 증명하기 위해 사용하였을 정도로 오래된 증명법이다.
 
예를 들어 <math>\sqrt{2}</math>가 [[무리수]]임을 귀류법으로 증명하기 위해서는 다음과 같은 과정을 따른다.
 
#<math>\sqrt{2}</math>가 [[유리수]]라고 가정한다. 따라서 <math>\sqrt{2} = \frac{b}{a}</math>으로 둘 수 있다. (<math>a, b</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>는 무리수이다.
 
{{토막글|수학}}
 
[[분류:논리학]]

편집

12,926