루트2 증명 썸네일형 리스트형 (해석학 공부 중) 4월 21일, 루트 2의 무리수 증명과 귀류법 수학적 논리력과 rigor에 대해 이해하기 위해... Abott 책 읽으면서(하루에 2페이지) 공부 및 정리 중입니다... ㅎㅎ 개인 정리 용도임으로 자세한 내용은 교재 등을 참고 바랍니다. Hardy라는 사람은 말년에 A Mathematician's Apology라는 에세이를 한 편 남겼다. 거기서 그는 '수학의 아름다움'에 대해 언급하면서, sqrt(2)가 무리수(irrational)하다는 피타고라스파의 B.C. 500년의 중명에 대해 말한다. Theorem) 제곱근의 값이 2인 유리수는 존재하지 않는다. 이 Theorem은 다음과 같이 증명할 수 있는데, 이 때 귀류법(proof by contradiction)이라는 방법을 사용한다. 귀류법은 명제가 참이라 가정하고 논리를 쭉 이어나가다가, 결국에는.. 더보기 이전 1 다음