귀류법: 두 판 사이의 차이

내용 삭제됨 내용 추가됨

인라인

2010년 1월 18일 (월) 03:25 판

귀류법(조선말: 귀유법), 배리법은 증명하려는 명제의 결론이 부정이라는 것을 가정하였을 때 모순되는 가정이 나온다는 것을 보여, 원래의 명제가 참인 것을 증명하는 방법이다. 귀류법은 유클리드가 2000년전 소수의 무한함을 증명하기 위해 사용하였을 정도로 오래된 증명법이다.

예를 들어 ${\sqrt {2}}$ 가 무리수임을 귀류법으로 증명하기 위해서는 다음과 같은 과정을 따른다.

${\sqrt {2}}$ 가 유리수라고 가정한다. 따라서 ${\sqrt {2}}={\frac {b}{a}}$ 으로 둘 수 있다. ( $a,b$ 는 서로소인 자연수)
$2a^{2}=b^{2}$ 이므로 $b$ 는 2의 배수이다. 따라서 $b=2b'$ 로 둘 수 있다.
$2b'^{2}=a^{2}$ 이므로 $a$ 는 2의 배수이다. 이는 $a,b$ 가 서로소라는 가정에 모순이다. 따라서 ${\sqrt {2}}$ 는 무리수이다.

이 글은 수학에 관한 토막글입니다. 여러분의 지식으로 알차게 문서를 완성해 갑시다.

2010년 1월 18일 (월) 03:12 판 편집 Adrenalin (토론 \| 기여) 12,926 편집 예시 추가. ← 이전 편집		2010년 1월 18일 (월) 03:25 판 편집 편집 취소 ToePeu (토론 \| 기여) 7,916 편집 일반적인 설명으로.. 다음 편집 →
1번째 줄:		1번째 줄:
	'''귀류법'''({{llang\|ko-KP\|귀유법}}), '''배리법'''은 증명하려는 [[명제]]의 ~~부정이~~ ~~참이라는~~ 것을 가정하였을 때 [[모순]]되는 ~~결과가~~ 나온다는 것을 보여, 원래의 명제가 참인 것을 증명하는 방법이다. 귀류법은 [[유클리드]]가 2000년전 [[소수 (수론)\|소수]]의 무한함을 증명하기 위해 사용하였을 정도로 오래된 증명법이다.		'''귀류법'''({{llang\|ko-KP\|귀유법}}), '''배리법'''은 증명하려는 [[명제]]의 결론이 부정이라는 것을 가정하였을 때 [[모순]]되는 가정이 나온다는 것을 보여, 원래의 명제가 참인 것을 증명하는 방법이다. 귀류법은 [[유클리드]]가 2000년전 [[소수 (수론)\|소수]]의 무한함을 증명하기 위해 사용하였을 정도로 오래된 증명법이다.

	예를 들어 <math>\sqrt{2}</math>가 [[무리수]]임을 귀류법으로 증명하기 위해서는 다음과 같은 과정을 따른다.		예를 들어 <math>\sqrt{2}</math>가 [[무리수]]임을 귀류법으로 증명하기 위해서는 다음과 같은 과정을 따른다.