시리즈:수포자도 쉽게 알 수 있는 수학/수의 체계와 수의 성질 편집하기

{{쉽게 알 수 있다 시리즈|수학이 정말 쉬워서 저 수포자 그만둡니다.}}
{{도와주세요! 리브레 선생님!|수포자도 쉽게 알 수 있는 수학/질문|도와주세요! 리브레 수학 선생님! 코너 바로가기}}

==수의 체계==
[[파일:수_체계.png]]
* '''자연수(Natural number)'''는 1, 2, 3, ……과 같이 계속 1씩 늘어나며 이어지는 수이다.<ref>0을 포함하는 의미로 쓰는 책도 더러 있다. Whole number라는 표현도 있는데, 얘는 책에 따라 자연수를 뜻하기도 하고, 0을 포함하는 자연수를 뜻하기도 하고, 아래 소개할 정수를 뜻하기도 하는 등 잘 합의되지 않은 개념이다.[http://mathworld.wolfram.com/WholeNumber.html 참조] 단어 자체에 연연하지 말고, 무슨 뜻으로 썼는지를 잘 살펴보자.</ref>
** 사람을 세는 데 쓰는 수라고 생각하면 이해하기 쉽다. 한 사람이면 어른이건 어린이건 1 명이지, 어리다고 ½ 명이라거나 [[루저|키가 작다고]] 0.7 명이라 하지는 않는다.
** 좀 더 정확히 말하면 자연수란 개수를 셀 때(= 기수 = 한 명, 두 개, 세 자루, …) 그리고 순위를 나타낼 때(= 서수 = 첫 번째, 두 번째, 세 번째, …) 쓰는 수이다.
* '''정수(Integer)'''는 자연수에 0과 마이너스 자연수(−1, −2, −3, …… 등 −(자연수))를 더한 개념이다. 이때 자연수를 ‘'''양의 정수'''’, −(자연수)를 ‘'''음의 정수'''’라 한다.
* '''유리수(Rational number)'''는 분수로 나타낼 수 있는 모든 수이다.
* '''실수(Real number)'''는 수직선 위에 있는 모든 수이다.<ref>정의 자체가 수직선(완비순서체)이니 순환하지 않는 무한소수 같은 쓸데없는 언급 좀 하지 말기 바란다. 실수를 수직선 위에 채우는 게 아니고 수직선 자체가 실수이다.</ref>
** 유리수도 모두 수직선 위에 놓을 수 있지만, 수직선 위에는 유리수가 아닌 수도 존재한다. 대표적인 것이 <math>\sqrt{2}</math>이다. 이렇게 빠진 부분을 모두 메꾼 것이 바로 실수이다. 따라서 현'''실''' 세계의 눈에 보이는 모든 '''수'''치는 전부 실수라고 할 수 있다.
** 실수 중 유리수가 아닌 수를 '''무리수(irrational number)'''라고 한다.
* '''복소수(Complex number)'''는 ''a''+''bi'' 꼴로 나타낼 수 있는 모든 수이다(''a'', ''b''는 실수, ''i''는 <math>\sqrt{-1}</math>). 평면 위에 있는 모든 수라고 생각해도 된다.
** ''a''나 ''b''는 0도 될 수 있으므로 복소수에는 순허수 ''bi''(''b''≠0)나 실수 ''a''도 포함된다.
** 복소수 중 실수가 아닌 수를 '''허수(imaginary number)'''라 한다.

* ''y''=2''x''+3와 같은 식에서 ''x''나 ''y''는 상황에 따라 달라지므로 변수라 한다. 그러나 ''3''은 변치 않고 항'''상''' 일정한 '''수'''이므로 상수라 한다. 즉 ''y''=''ax''+''b''라고 적어 놓고 “''a''와 ''b''는 상수”라고 하면, “뭔지 몰라도 2나 3 같이 값이 뭔가로 정해져 있겠구나” 하면 된다.
** 고등학교 과정까지는 아무 언급이 없다면 상수는 실수<s>mistake</s>이다.

* '''소수(Decimal)'''<ref>물론 decimal에는 이외에도 다른 뜻이 많다.</ref>란 소수점 아래에 뭔가 값을 갖는 '''실수'''이다.
** 유리수를 소수로 나타내면, 0.4(=2/5)이나 0.75(=3/4)처럼 소수점 아래가 가다가 뚝 끝나는 '''유한소수'''가 되거나 0.3 45 45 45 …(=19/55)처럼 소수점 아래가 어느 순간부터 계속 반복되는 '''순환하는 무한소수'''가 된다. 또한 모든 유한소수 및 순환하는 무한소수는 다 유리수이다.
** 따라서 무리수는 소수로 나타내면 순환하지 않는 무한소수가 되고, 모든 순환하지 않는 무한소수는 무리수이다.
** 무한소수에는 [[극한]]의 개념이 녹아 있기 때문에 쉽게 생각하면 안 되고, 오개념만 쌓인다. 제발 부탁하건대 무리수의 개념은 실수 중 유리수가 아닌 수로만 잡고, 무한급수를 제대로 배우기 전까지(=대학교 가기 전까지)는 무한소수 가지고 머리 싸매지 말 것.

==수의 성질==
=== 정수론 ===
사실 많은 내용이 나오지 않는다. 이 뒤의 심화 내용들이 문제지만..
==== 나머지 정리 ====
모든 정수는 다른 정수로 나눈 몫과 나머지를 이용해 나타낼 수 있다. 그런데 그렇게 나타내는 방법은 제수(다른 수를 나누는 수)가 정해지면 '''유일'''하다는 것이다.

* 몫과 나머지에 대한 설명 [[추가바람]]

예를 들어, 7을 3으로 나눈다고 하자. 그러면 몫은 2, 나머지는 1이다. 따라서, <math>7=3\times 2+1</math>이라고 쓸 수 있다. 그런데 7을 3으로 나눌 때 몫은 2 이외의 값이 안 나오고 나머지도 1 이외의 값이 안 나온다.

이번에는 -12를 5로 나눈다고 하자. 그러면 몫은 -3, 나머지는 3이다. 따라서, <math>-12=5\times \left(-3\right)+3</math>이라고 쓸 수 있다. 여기에서 중요한 것은 ''제수는 항상 자연수''이고, ''나머지는 0 이상이며 제수보다 작은 정수''이다. 나머지를 이렇게 정의하면, 앞서 제시한 예와 마찬가지로 -12를 5으로 나눌 때 몫은 -3 이외의 값이 안 나오고 나머지도 3 이외의 값이 안 나온다.

* ''F''[''t'']의 나머지 정리와 인수정리에 대한 내용 [[추가바람]]

==== 나누어 떨어짐 ====
위의 나머지 정리에서 나머지가 0인 경우이다.

예를 들어, −15 = 5 × (−3)이고 나머지는 0이 된다. 이때 '''“−15는 5로 나누어 떨어진다”'''라고 한다. 나중에는 그냥 '''“5는 −15를 나눈다”'''라고도 한다.

여기서 '''배수(multiple)'''와 '''약수(divisor)'''(또는 '''인수(factor)''')라는 개념이 등장하는데, ''a''가 ''c''를 나누는 경우 ''c''는 ''a''의 '''배수''', ''a''는 ''c''의 '''약수'''(또는 '''인수''')라고 한다. 위의 예에서 −15는 5의 배수이고, 5는 −15의 약수(또는 인수)이다.

0은 모든 수의 배수이고, 1은 모든 수의 약수이다. 또, 수 자기 자신은 항상 자기 자신의 배수이자 약수이다.

==== [[소수]] ====
어떤 수는 약수가 많고, 어떤 수는 약수가 적다. 그런데 앞서 보았듯 1과 자기 자신은 언제나 자기 자신의 약수이다. 그렇다면 약수의 수가 제일 적은 수는 '''1과 자기 자신만을 약수로 갖는 수'''일 것이다. 이런 수를 '''소수(prime number)'''라 한다.

잘 알고 있듯이, 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, … 이렇게 계속 나아간다.

1은 소수라고 하지 않는다. 모든 수를 나누므로 약수와 배수를 논할 때 의미가 없기 때문이다. 이 말이 좀 이해하기 어려워서 보통은 약수가 1개뿐이기 때문이라고 설명하고, 소수는 ‘약수가 2개뿐인 수’라고 정의하기도 한다.

소수를 알고 있으면 최대공약수, 최소공배수를 구할 때 편하다는 사실은 이미 잘 알고 있을 것이다. 이는 궁극적으로 아래 소인수분해 때문이다.

===== [[소인수분해]] ====~
소수인 인수를 소인수라고 한다. 그리고 어떤 수를 소인수들의 곱으로 나타내는 것을 소인수분해라고 한다.

모든 자연수는 소인수분해가 존재하고 유일하다(이 측면에서도 1이 소수이면 곤란하다). 무슨 뜻이냐면, 마음껏 소인수분해를 이용해도 된다는 뜻이다.

===== 배수 판정법 =====
어떤 자연수가 다른 자연수의 배수인지를 알아내는 방법이다. 물론 나눠 보면 된다(…). 하지만 그것보다 쉬운 방법이 있기 때문에 이런 걸 배운다.

소인수분해 때문에 보통은 어떤 소수의 배수인지만 알아내면 된다. 하지만 나누는 수가 소수가 아닌 경우에도 배수 판정법이라고 한다.

* 2 또는 5의 배수인지
*: 마지막 자리만 보면 된다. 이는 10이 2와 5의 배수이기 때문이다.
*: 비슷한 이유로 4 또는 25의 배수인지는 마지막 두 자리만 보면 되고, 8 또는 125의 배수인지는 마지막 세 자리만 보면……
*: 물론 10의 배수이려면 마지막 자리가 0이어야 한다.
*: 더 훌륭한 점은 마지막 자리를 2 또는 5로 나눈 나머지가 원래 수를 2 또는 5로 나눈 나머지와 같다는 것이다. 4, 25, …도 마찬가지이다.
* 3의 배수인지
*: 모든 자릿수(digits)를 다 더해서 3의 배수인지 보면 된다. 이는 10<sup>''n''</sup>−1이 3의 배수이기 때문이다.
*: 비슷한 이유로 9의 배수인지는 모든 자릿수를 다 더해서 9의 배수인지 보면 된다.
*: 노파심에 첨언하자면 6의 배수인 것과 모든 자릿수의 합이 6의 배수인지랑은 관계 없다. 모든 자릿수의 합이 3의 배수이면서 마지막 자리가 짝수이면 된다(…).
*: 이 경우도 모든 자릿수의 합을 3 또는 9로 나눈 나머지가 원래 수를 3 또는 9로 나눈 나머지와 같다.
* 7의 배수인지
*: 마지막 자리를 떼어 두 배를 한 뒤 십의 자리 이상에서 뺀 것이 7의 배수인지 보면 된다. 즉 10''p''+''q''이면 ''p''−2''q''가 7의 배수인지 보면 된다. 이는 21=3·7이 7의 배수이기 때문이다.
*: 달리 말하면 마지막 자리를 떼어 다섯 배를 한 뒤 십의 자리 이상에 더한 것이 7의 배수인지 봐도 된다는 뜻이다. 그런데 상식적으로 덧셈을 하면 숫자가 커지므로 쓸모가 적다.
*: 자릿수가 많은 경우 마지막 세 자리를 떼어 천의 자리 이상에서 뺀 것이 7의 배수인지 보기도 한다. 이는 1001=7·11·13이 7의 배수이기 때문이다.
*: 참고로 이 경우는 10''p''+''q''와 ''p''−2''q''를 7로 나눈 나머지가 절대로 같지 않다! 주의해야 한다.
*: 13의 배수인지도 마지막 세 자리를 떼어 천의 자리 이상에서 빼 봐도 된다.
* 11의 배수인지
*: 홀수번째 자릿수(일의 자리, 백의 자리, …)의 합과 짝수번째 자릿수(십의 자리, 천의 자리, …)의 합의 차가 11의 배수인지 보면 된다. 이는 ''n''이 짝수이면 10<sup>''n''</sup>−1이, ''n''이 홀수이면 10<sup>''n''</sup>+1이 각각 11의 배수이기 때문이다.
*: 7의 배수 때와 같이 마지막 세 자리를 떼어 천의 자리 이상에서 빼 봐도 된다.

==== 소수 판정법 ====
어떤 자연수가 소수인지 아닌지를 판별하는 방법이다. 방법은 여러 가지가 있다.

소수 판정법은 현대적으로도 중요한 의미를 갖는다. [[RSA 암호체계]]가 소인수분해에 기반하고 있기 때문이다.

여기서 말하는 소수 판정법은 그런 컴퓨터를 이용해야 할 만한 본격적인 방법 말고, [[닝겐]]의 힘으로 소수인지 아닌지 판별하는 방법을 말한다.

본질적으로 배수 판정법이 필요하다.

===== 에라토스테네스의 체 =====
일정 범위(예를 들어 2 이상 100 이하)의 자연수를 소수와 합성수로 싹 갈라 넣는 방법이다.

2 이상 ''N'' 이하의 자연수를 쭉 나열해 놓고(규칙적으로 직사각형 모양으로 나열하면 좋다), 다음과 같은 알고리즘을 반복한다.

[[파일:Sieve of Eratosthenes animation.gif]]

{{인용문2|
i) ○표나 ✕표가 쳐져 있지 않은 최소의 자연수에 ○표를 한다. → 소수

ii) i)에서 표기한 자연수의 배수에 ✕표를 한다. → 합성수

iii) 모든 자연수에 ○표나 ✕표가 쳐졌다면 종료한다. 아니라면 i)로 돌아간다.}}

이 방법은 일정 범위 내에 있는 '''모든''' 소수를 찾아낼 수 있다는 점이 장점이다. 그러나 일단 자연수를 전부 나열해야 되{{ㅊ|고 전부 나열하자마자 그 중 절반(짝수)을 죽죽 지우면서 내가 왜 이걸 했지 하게 되}}는 등 시간적·공간적으로 번잡한 면이 있다.

===== 2 이상 <math>\sqrt{n}</math> 이하의 소수로 나눠 보는 방법 =====
어떤 정해진 자연수 ''n'' 딱 하나가 소수인지를 판별하기 위해 에라토스테네스의 체를 사용하기는 낭비이다. 이때는 2 이상 ''n'' 미만의 자연수 중 ''n''을 나누는 수가 있는지를 보면 된다.

그런데, 사실 <math>n</math>이 합성수라면 <math>\sqrt{n}</math> 이하의 소인수를 최소한 하나는 반드시 갖기 때문에, 결론적으로 2 이상 <math>\sqrt{n}</math> 이하의 소수로만 나눠 보면 된다.

증명은 간단하다.
<div class="toccolours mw-collapsible mw-collapsed" style="width:500px">
수식 주의
<div class="mw-collapsible-content">
<math>n</math>이 합성수라면 자기 자신이 아닌 소인수를 가질 것이다. 아무 거나 하나 잡아 <math>q</math>라고 하자.

(i) 만일 <math>q \leq \sqrt{n}</math>이면 끝.

(ii) 아니라면 <math>\frac{n}{q} < \sqrt{n}</math>일 것이므로 <math>\frac{n}{q}</math>의 소인수를 아무 거나 하나 잡으면 끝.
</div>
</div>

===== 쪼개기 =====
위 방법을 쓰려고 해도, 예를 들어 [[691]]이 소수인지 알아보기 위해서는 2부터 23까지 9개의 소수로 나눠 봐야 한다. 이것도 너무 귀찮은 경우 수를 적당히 쪼개서 소수를 두어 개씩 세트로 날릴 수 있다.

이 방법은 작은 수의 배수 판정이 쉽다는 점을 이용한 것이다.

계속 691로 예를 들자.

* 일단 2나 5의 배수는 아니다.
*: {{ㅊ|2}} 3 {{ㅊ|5}} 7 11 13 17 19 23
* 69와 1로 쪼갠다.
** 69=3·23인데 1은 3의 배수도 23의 배수도 아니므로 691은 3이나 23의 배수가 아니다.
*: {{ㅊ|2 3 5}} 7 11 13 17 19 {{ㅊ|23}}
* 6과 91로 쪼갠다.
** 91=7·13인데 6은 7의 배수도 13의 배수도 아니므로 691은 7이나 13의 배수가 아니다.
*: {{ㅊ|2 3 5 7}} 11 {{ㅊ|13}} 17 19 {{ㅊ|23}}
* 68과 11로 쪼갠다.
** 68은 11의 배수가 아니므로 691은 11의 배수가 아니다.
** 68=4·17인데 11은 17의 배수가 아니므로 691은 17의 배수가 아니다.
*: {{ㅊ|2 3 5 7 11 13 17}} 19 {{ㅊ|23}}
* 57과 121로 쪼갠다.
** 57=3·19인데 121=11<sup>2</sup>는 19의 배수가 아니므로 691은 19의 배수가 아니다.
*: {{ㅊ|2 3 5 7 11 13 17 19 23}}
(어떻게 57과 121로 쪼갤 생각을 했냐고? 이 방법은 본질적으로 나눗셈이다. 691을 19로 나누어 보려면, 먼저 몫의 십의 자리에 3을 적고 십의 자리에서 57을 빼서 121로 만들 것이다. 그런데 여기서 더 진행하지 않고, 121=11<sup>2</sup>이라는 사실만으로 끝낸 것이다.)

따라서 네 번만에 691이 소수임을 알게 되었다.

==== [[소인수분해]] ====
임의의 자연수 <math>n</math>을 소수들만의 곱으로 나타내는 것이다. 위에 서술한 소수판정법을 이용해서 자기 자신과 1이 아닌 인수가 발견될 경우, 자기 자신을 인수로 나누는 과정을 소수만 남을 때까지 반복한다. 그 다음, 그 때까지 구한 인수들 중 소수가 아닌 인수들에 대해 같은 과정을 반복하면 된다.<s>뭐래는겨</s>

이게 무슨 소리인지 예제를 통해 확인해보자. 780을 소인수분해 한다고 해보자. 우선적으로, 2와 5로 나누는 것을 시도해서 <math>780=2^2\times 5\times 39</math>를 얻고, <math>39=3\times 13</math>이므로 최종적으로 <math>780=2^2\times 3\times 5\times 13</math>을 얻는다.

==== 정수 함수 ====
흔히들 '가우스함수'라고 부르는 그것이다. 사실은 정수함수가 맞는 표현.
어떤 실수 <math>x</math>가 정수 <math>n</math>에 대해 <math>n\le < n+1</math>를 만족할 때, 정수함수 <math>\left[x\right]=n</math>으로 정의한다.

==== 절댓값 ====
절댓값의 정의는 어떤 수를 수직선에 표시했을 때 원점(0)에서부터의 거리인데, 그냥 부호만 빼면 된다. 4의 절대값은 4이고 -3의 절댓값은 3이 된다. 
단, 이해는 그냥 부호만 뺀다기 보다 -부호를 한번 더 붙혀 양수를 만든다고 생각하는 것이 문자의 절댓값 표시 에서 더 헷갈리지 않는다. 즉, 4의 절댓값은 4, -3의 절댓값은 -(-3)=3이다.


{{주석}}
{{리브레 시리즈}}
[[분류:수학]]