주 메뉴 열기

바뀜

18 바이트 추가됨 ,  8년 전
 
==수학의 귀류법==
수학에서 '''귀류법''', {{.cw}}'''배리법'''은 증명하려는 [[명제]]의 결론이 부정이라는 것을 가정하였을 때 [[모순]]되는 가정이 나온다는 것을 보여, 원래의 명제가 참인 것을 증명하는 방법이다. 귀류법은 [[유클리드]]가 2000년전 [[소수 (수론)|소수]]의 무한함을 증명하기 위해 사용하였을 정도로 오래된 증명법이다.
 
예를 들어 <math>\sqrt{2}</math>가 [[무리수]]임을 귀류법으로 증명하기 위해서는 다음과 같은 과정을 따른다.