"귀류법"의 두 판 사이의 차이

16 바이트 추가됨 ,  7년 전
→‎수학의 귀류법: 증명 과정을 자세히 설명
(→‎수학의 귀류법: 증명 과정을 자세히 설명)
#<math>2a^{2} = b^{2}</math>이므로 <math>b^{2}</math>는 2의 배수이다.
#<math>b^{2}</math>이 2의 배수이므로, <math>b</math>도 2의 배수이다. 따라서 <math>b=2b'</math>로 둘 수 있다. (여기서 <math>b'</math>는 자연수)
#<math>2b'a^{2} = a\frac{1}{2}b^{2}=2b'^{2}</math>이므로 <math>a</math>는 2의 배수이다. 이는 <math>a, b</math>가 서로소라는 가정에 모순이다. 따라서 <math>\sqrt{2}</math>는 유리수가 아니다.
#이는 <math>a, b</math>가 서로소라는 가정에 모순이다. 따라서 <math>\sqrt{2}</math>는 유리수가 아니다.
 
==주석==