수학사랑쇼핑몰

HOME >수학이야기>송영준의 수학따지기

왜 한 번의 증명으로 모든 경우를 증명할 수 있는가

Posted at 2011-11-28 16:33:15

<DIV class=board>
이 글은 저널 '수학사랑' 58호(2006년 9/10월호)에 실렸던 필자의 
글을 조금 고친 것입니다.<?xml:namespace prefix = o ns = 
"urn:schemas-microsoft-com:office:office" /><o:p></o:p>
&nbsp;<o:p></o:p>
따짐이: 선생님, 증명에 대한 질문이 
있는데요.<o:p></o:p>
선생님: 뭘 
증명하려고?<o:p></o:p>
따짐이: 아니, 그게 아니라 증명이라는 것 자체에 대한 
질문인데.<o:p></o:p>
선생님: 음... 아주 
좋은 질문이야.<o:p></o:p>
따짐이: 예? 아직 질문하지 
않았는데요?<o:p></o:p>
선생님: 무엇이든 더 
높은 관점에서 큰 시각으로 보려는 것은 훌륭한 일이야. 보통 그걸 못해서 공부가 잘 안 
되지.<o:p></o:p>
따짐이: 아, 예. 어쨌든, 알고 싶은 것은요, 예를 들어 ‘삼각형의 세 내각의 크기의 
합은 180도이다’ 라는 명제에서, 종이를 잘라서 붙여 보는 것으로 증명이 되는 것은 아니라고 
하잖아요?<o:p></o:p>
선생님: 그렇지. 그것은 
그 하나의 삼각형만, 그것도 180도인지 179.9도인지 180.5도인지 확실하지 않는 각이라는 것을 보일 
뿐이지.<o:p></o:p>
따짐이: 그런데 그걸 증명한다면서 하는 일도 별로 다르지 않은 것 
같아서요.<o:p></o:p>
선생님: 왜 
그렇지?<o:p></o:p>
따짐이: 그 증명은, 예를 들어 이렇게(오른쪽 그림) 삼각형 ABC를 그리고, C 를 
지나고 선분 AB에 평행한 직선(점선)을 그은 다음, x 끼리 동위각이어서 크기가 같고, y 끼리 엇각이어서 크기가 같고, 그래서 x+y+z 가 
평각의 크기와 같게 된다는 거죠?<o:p></o:p>
<o:p></o:p>

<img onLoad='miniSelfResize(contents_26,this); if(this.parentNode.tagName=="A"){this.onclick = "";}' border=0 hspace=0 alt="" 
align=baseline 
src="http://www.mathlove.co.kr/board1/MBImages/i070413169_pic03.jpg">
선생님: 
그렇지.<o:p></o:p>
따짐이: 증명은 이게 끝이죠?<o:p></o:p>
선생님: 
그래.<o:p></o:p>
따짐이: 이건 단 한 개의 그림만 가지고 증명을 한 것 아닌가요? 이게 아래쪽 x 와 y 
부분을 오려서 위쪽 x 와 y 부분에 갖다 맞추는 것하고 어떤 차이가 있죠?<o:p></o:p>
선생님: 아래 그림처럼 
삼각형 모양이 달라도 항상 똑같은 방식으로 해서 x+y+z 가 평각의 크기와 같음을 보일 수 있지 
않니?<o:p></o:p>
<img onLoad='miniSelfResize(contents_26,this); if(this.parentNode.tagName=="A"){this.onclick = "";}' 
border=0 hspace=0 alt="" align=baseline 
src="http://www.mathlove.co.kr/board1/MBImages/i070413724_pic01.jpg">&nbsp;&nbsp;&nbsp; 
&nbsp;<img onLoad='miniSelfResize(contents_26,this); if(this.parentNode.tagName=="A"){this.onclick = "";}' border=0 hspace=0 alt="" align=baseline 
src="http://www.mathlove.co.kr/board1/MBImages/i070413478_pic02.jpg"><o:p></o:p>
따짐이: 하지만 그건 오려서 맞춰 보는 것도 마찬가지죠. 오려서 맞춰 보면 항상 평각이 
나오니까요.<o:p></o:p>
선생님: 그렇게 말할 수 
있는 것 자체가 수학적으로 증명을 했기 때문이지. 삼각형의 세 내각의 크기의 합이 항상 180도라는 사실을 몰랐다면, 오려서 맞춰 보면 항상 
평각이 나온다고 자신 있게 말할 수 없을 걸?<o:p></o:p>
따짐이: 그럼 위에서 한 것처럼 증명을 하면, 항상 그렇게 된다는 것을 알 수 있다는 
건가요? 단 한 경우에 대한 증명으로?<o:p></o:p>
선생님: 그래. 하지만 
그것은 단 한 경우에 대한 증명이 아니야. 이것으로 모든 경우를 다 말하고 있는 것이지.<o:p></o:p>
따짐이: 이제야 문제의 핵심이 나타나는군요. 단 하나의 증명으로 모든 경우에 대해 다 
증명했다고 말할 수 있는 것은 왜냐는 게 바로 제가 알고 싶은 거라고 할 수 있겠네요.<o:p></o:p>
선생님: 오려서 
붙여보거나 각도기로 재서 합해 보는 것과, 위와 같이 증명하는 것과의 가장 근본적인 차이점은 
무엇일까?<o:p></o:p>
따짐이: 글쎄... 실험으로 할 때는 이 각이 몇 도, 이 각은 몇 도 하고 숫자가 
나오는데, 증명에서는 숫자 대신 문자를 사용했다는 것?<o:p></o:p>
선생님: 잘 
아네.<o:p></o:p>
따짐이: 그, 그러니까 문자를 쓰면 한 경우에 대해 증명하면 모든 경우가 다 
증명된다?<o:p></o:p>
선생님: 무조건 문자를 
쓰면 그렇다는 것이 아니고, 그 문자들에 아무 값이나 대입해도 똑같이 되도록 증명을 하는 것이 중요하지. 이 경우 x, y, z 보다는 A, 
B, C 가 더 기본적인 문자(변수)라고 할 수 있어. x, y, z 는 A, B, C 에 의해 정해지는 
것이니까.<o:p></o:p>
따짐이: A, B, C 가 임의의 값을 취해도 저 증명을 그대로 따라갈 수 있다는 
건데... A, B, C 의 값이란 무엇이죠?<o:p></o:p>
선생님: A, B, C 
가 어느 점이냐는 것이지. 여기서는 A, B, C 가 삼각형을 이루는, 다시 말해 한 직선 위에 있지 않다는 조건 아래에서 평면 위의 아무 
점이나 되어도 상관이 없다는 것이야.<o:p></o:p>
따짐이: 정말 상관이 없는지, 아니면 A, B, C 가 묘한 위치에 있으면 저 증명을 
그대로 따라갈 수 없게 되는지 어떻게 알죠?<o:p></o:p>
선생님: 거기가 
중요한데, 증명을 할 때 A, B, C 가 한 직선 위에 있지 않은 평면 위의 점이라는 사실 이외에는 사용하지 않으면 되는 
거지.<o:p></o:p>
따짐이: 허, 그럴싸한데? 어디 확인해 보죠. A, B, C 로 삼각형을 만들 수 
있으니까, x, y, z 라는 각이 생기긴 생길 것이고... C를 지나면서 선분 AB에 평행선을 긋는 것도... 그러면 평행선의 성질에 의해 
x끼리, y끼리 크기가 같은 것도... 그래서 합해서 C 를 꼭지점으로 하는 평각과 크기가 같아지는 
것도...<o:p></o:p>
선생님: 그래, A, 
B, C 를 한 직선 위에 있지 않은 평면 위의 ‘임의의’ 점으로 잡아도 항상 할 수 있는 일들이지. 즉 A, B, C 를 어디에 잡든지 
상관없이 삼각형 ABC의 내각의 합은 180도라는 것이야.<o:p></o:p>
따짐이: 그렇군! 그래서 증명할 때 ‘임의의’ 라는 말이 그렇게 많이 나오는 
거군요.<o:p></o:p>
선생님: 그래. 
‘임의의’ 라는 말은 증명에서 핵심적인 단어라고 할 수 있지. 또, 증명을 공부하다 보면 하나의 명제를 증명하는 데 몇 가지 경우로 나누어서 
증명할 때가 있지? 그건 문자(변수)의 모든 값에 대해 하나의 증명 방법을 사용하기 어려울 때, 몇 가지 경우로 나누어서 각각을 다른 방법으로 
증명하고 있는 것이지. 이것도 ‘임의의’ 라는 말을 이해하면 왜 그렇게 되어야 하는지 이해할 수 
있겠지.</DIV>

Total 29 Articles, 1 of 2 Pages

29	왜 식끼리 계산하는가?	2012-01-19	8169

28	왜 별 모양의 다각형은 교과서에 없는가	2011-12-05	5714

27	왜 부등식의 성질은 등식의 성질과 다른가	2011-11-28	2977

26	왜 음수 곱하기 음수는 양수인가?	2011-11-28	4942

25	왜 함수를 그렇게 정의하는가?	2011-11-28	3524

24	왜 한 번의 증명으로 모든 경우를 증명할 수 있는가	2011-11-28	2548

23	왜 1은 2보다 작은가	2011-11-28	4209

22	어떻게 하면 수학을 배우고 싶어할 수 있는가?	2011-11-28	3825

21	왜 확률과 통계를 같이 배우는가	2011-11-28	2939

20	왜 사교육이 문제라고 하는가?	2011-11-28	3447

19	왜 교집합, 합집합이 중요한가?	2011-11-28	2634

18	컴퓨터는 어떻게 모든 자료를 수로 나타내는가?	2011-11-28	2624

17	왜 구구단을 외우는가?	2011-11-28	3316

16	어떻게 해야 수학 공부를 잘 할 수 있는가?	2011-11-28	3841

15	왜 무리수를 사용하는가?	2011-11-28	2845

14	왜 호도법(라디안)을 사용하는가?	2011-11-28	3798

13	왜 0이 중요한가? (2)	2011-11-28	2536

12	왜 0이 중요한가? (1)	2011-11-28	2987

11	왜 0.999999… = 1 인가?	2011-11-28	4125

10	왜 사람들은 수식을 두려워하는가?	2011-11-28	2887

1 [2]

제목 내용

ㆍ총구매액	0 원
ㆍ적립금	0 원
ㆍ할인쿠폰	0 원

ㆍ장바구니	0 개
ㆍ위시리스트	0 개