1073
2013-10-19 17:46:25
2
so_so//
두 유리수 사이에는 항상 유리수가 존재함을 증명하려 합니다.
님 말대로, 실수의 완비성과 유리수의 countable 등을 종합하여 결론을 내리면 더 예뻐 보이죠.
다른 정리 증명을 위한 연습도 될 수 있고, 수학에 대한 더 깊은 이해도 할 수 있습니다.
그렇다고 아래와 같은 증명이 '증명이 아니다'라고 할수는 없습니다.
[두 유리수의 평균은 유리수이고, 두 유리수 사이에 있다. 항상 유리수를 찾을 수 있으니, 증명되었다.]
존재 증명이 직접 증명이나 대우법 등보다 나쁜 증명이라고 할 수는 없듯이, 126개를 전부 찾은게 증명이 아니라고 할 수 없습니다.
논리적 하자는 없으니까요.