무언가에 관한 노트

<모든 삼각형은 정삼각형이다라는것에 대한 증명>

AG는 각의 이등분선이고, GD는 BC의 수직이등분선입니다. 그리고 G에서 나머지 두변에 수선을 내린것이 EF입니다.

이때 삼각형 AGE와 삼각형 AGF에서

빗변이 공통, 직각과 한 각이 같으므로 합동 

따라서 GE와 GF의 길이가 같다. 

삼각형 GDB와 삼각형 GDC에서

 두변과 그 사이의 끼인 직각이 같으므로 합동

따라서 GB와 GC의 길이가 같다.

삼각형 GBF와 삼각형 GCE에서

빗변과 나머지 한변의 길이가 같고, 한 각이 직각이므로 합동

AB = AF + FB = AE + EC = AC 이므로 두 변의 길이는 같다.

임의의 두 변의 길이가 같으므로 모든 삼각형은 정삼각형이라고 할 수 있다.

왜 이렇게 되었는지 이미 안다면 (이 증명의 허점을 안다면)

아래의 더보기를 눌러 보세요

더보기

이게 정의가 상당히 복잡해서 내 나름대로 그 의미를 재 해석하는데에도 시간이 꽤나 걸렸다.

나는 epsilon을 error의 첫글자 e 에 해당하는 그리스 문자로 보고,

delta를 difference의 첫글자 d에 해당하는 그리스 문자로 보았다.

이게 맞게 정의를 써보면

lim_{x->a} f(x) =L 이라는 명제는 다음 명제와 동치이다.

모든 양수 error값에 대해서 f(x)와 극한값 사이의 차이가 error값보다 작아지게하는 x값과 a사이의 양수인 difference가 존재한다. 

뭐 쓰고나서 보니 그냥 쓴말 그냥 다시 쓴것 뿐이네..

(N3) 1은 어떤 자연수의 다음 수도 아니다.

(N4) 두 수의 다음의 수가 같기 위해서는 그 두수가 같은 것일 수밖에 없다.

(N5) 어떤 집합이 1을 포함하고
 어떤 자연수를 포함한다면 그 다음의 자연수도 포함한다고 하자.
그러면 그 어떤 집합을 '자연수집합'이라고 한다.

(N5)를 친숙한 수식으로 표현하면


이제
여기서 각각의 의미를 살펴봅시다.
 
(N1)은 자연수의 시작을 의미합니다. 1으로부터 자연수가 시작되지요.
(N2)는 모든 자연수의 그 다음수가 존재한다고 함으로써 자연수 집합이 1뿐만이 아님을 의미합니다.
(N3)은 그렇게 확장되어가던 자연수의 집합이 닫힌 고리모양을 하지 않도록 합니다.
(N4)는 자연수의 다음수가 같은 두 수의 존재성을 부정함으로써 자연수가 6자 모양의 구조를 하지 않도록 해 줍니다.
(N5)는 수학적 귀납법에 대한 공리로서 흔히 말하는 수학적 귀납법은 이 공리에 기초한 것입니다.

이와 같은 공리계로 본 자연수2는 1의 다음수오 정의될 수 있고. 3은 2의 다음수 즉 1의 다음수의 다음수로 정의할 수 있다. 이와같이 모든 자연수를 정의내릴 수 있습니다.

이때 이러한 자연수 집합이 여러개 존재하지 않을까 하는 물음이 제기될 수 있으나 이는 별 문제가 되지 않는다.
1에 대해서 정의한 N이라는 집합과 1*에 대해서 정의한 두 집합 간에 일대일 대응이 존재하여 1->1*, 2->2* ...등의
대응을 지어줄 수 있다는 것이 증명되어있으므로 어차피 두 집합은 대등한 것임을 알 수 있습니다.

그런데, 자연수를 이렇게 정의만하면 아무런 쓸모가 없지요.
자연수집합이 정의되었으니 그에따른 연산을 정의해 대수적인 구조를 구축해 봅시다.

자연수의 덧셈을 정의하려고 합니다. 그런데 사용할 수 있는 말이 그렇게 많지 않습니다.
우리는 위의 공리계를 채택함으로서 거기에 있는 용어들로 새로운 용어나 연산을 정의해야 합니다.^[각주:2]
사용할 수 있는 개념들로는 '그 다음 수'와 '수학적 귀납법'이 있습니다.
수학적 귀납법을 이용해 덧셈을 귀납적으로 정의를 해 봅시다.

<자연수간의 덧셈의 정의>
(A1) a+1=a'
(A2) a+b'=(a+b)'

이 정의는 a+b를 a(의 다음수)를 b번 수행한 것임에서 착안한 것입니다.

A2로서 a+b의 뒤의 수대신에 그 보다 작은 수로 바꾸어 내려가면서 1까지 내려갈 수 있고 그때는 그 다음수로 하면 되므로 이 정의는 타당하다고 할 수 있습니다.

예를 들면 3+2를 이 정의에 따라 계산해 봅시다.

3+2 = 3+1'    (2의 정의)
 = (3+1)'     (A2)
 = 4'           (4의 정의)
 = 5            (5의 정의)

이로서 3+2를 계산 할 수 있습니다.

덧셈이 잘 정의되었으므로 이제 연산의 성질들^[각주:3]에 대해서 알아보도록 합시다.

<덧셈의 결합법칙>
자연수 a,b,c에 대해서
a+(b+c)=(a+b)+c
가 성립한다.

이는 수학적 귀납법, 즉(N5)를 이용해 증명할 수 있습니다.
모든 c에 대해서 성립함을 보이기 위해 우선 c=1일때를 생각해 보자.
a+(b+1)=a+b'   (A1)
 =(a+b)'         (A2)
 =(a+b)+1       (A1)
따라서 a+(b+1) = (a+b)+1

이제 a+(b+c)=(a+b)+c가 성립한다고 가정하자.
그러면
a+(b+(c+1))=a+(b+c')   (A1)
 =a+(b+c)'                  (A2)
 =(a+(b+c))'               (A2)
 =((a+b)+c)'               (가정)
 =(a+b)+c'                 (A2)
 =(a+b)+(c+1)            (A1)
따라서 c+1(즉,c')도 결합 법칙을 만족한다. 따라서 (N5)에 의해서
이 명제를 참으로 하는 c들의 집합(진리집합)은 자연수집합과 같다.
따라서 일반적으로 모든 자연수 a,b,c에 대해서
a+(b+c)=(a+b)+c  ■

또 연산 법칙에는 교환법칙이 있을 수 있다.

<덧셈에 대한 교환법칙>
모든 자연수 a,b에 대해서
a+b=b+a

이 역시 수학적귀납법(N5)를 이용하면 쉽게 증명할 수 있습니다.

덧셈이 나왔는데 이제 곱셈의 차례이다. 곱셈은 다음에 포스팅 하기로 하고 이만 마치도록 하겠습니다.

PS. 괜한 귀찮음으로 블로깅 초반에는 경어체를 쓰지 않았는데요, 독자들에 대한 미안한 마음이 들기에 최근에 경어체를 쓰려고 '노력'하고 있습니다. 그런데 쓰다가 무의식결에 경어체와 평어가 섞여있을 수 있습니다.