무리수: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
47번째 줄:
# <math>\sqrt {2}+3</math>을 유리수라 가정하자.
# 위의 식이 유리수라면 <math>\sqrt{2}+3=c</math> 를 만족하는 유리수 c가 있을 것이다.
# 2의두 번째 식에서 3을 이항시키면 <math>\sqrt {2}=c-3</math> 이 된다.
# 그런데 유리수는 뺄셈에 대하여 닫혀 있으므로 유리수 c에서 3을 뺀 값은 유리수이다.
# 위의 소제목에서 <math>\sqrt{2}</math> 가 유리수가 아니라는 것이 증명되었다. 이는 <math>\sqrt {2}+3</math>이 유리수라는 가정과 위배된다.