1. 나눗셈
a는 정수이고 b는 양의 정수라 할 때, 다음을 만족하는 유일한 정수 q, r이 존재한다.a=bq+r단,0≤r<b
이 정리는 어떤 정수
예를 들어,
여기서 몫
(1) 약수와 배수
a, b가 정수이고
나누어떨어짐(divisibility)의 성질
a를 0이 아닌 정수, b와 c를 임의의 정수라고 할 때
1.이고 이면, 이다.
2.이면, 이다.
3.이고 이면, 이다.
증명
(1)
가정으로부터
(2)
가정으로부터
(3)
가정으로부터
(2) 최대공약수
0이 아닌 두 정수
- 공약수 (common divisor): 2개 이상의 정수에서 공통인 약수
- 0이 아닌 두 정수의 최대공약수는 유일하게 존재함.
-
-
베주의 항등식
적어도 하나는 0이 아닌 정수
-
📌 gcd(a,b) = gcd(a, a-b)임을 증명하시오.
✘ 증명 :
먼저,
이를 통해
반대로,
이를 통해
이로써,
따라서,
유클리드 호제법
최대공약수는 기원전 300년 전부터 사용했던 유클리드 호제법을 사용해서 쉽게 계산할 수 있다.
이 정수일 때, 이면 이다.
✘ 증명 :
이고,
이다. 따라서
만일
이제
이것을 다시
따라서
결론적으로,
알고리즘
유클리드 호제법의 정리를 알고리즘으로 표현하면 다음과 같다.
1. 만일
2. 만일
따라서
📌 예제: 유클리드 호제법을 통해 gcd(287, 91)을 구하시오.
✘ 풀이:
1. 첫 번째 단계:
여기서
2. 두 번째 단계:
여기서
3. 세 번째 단계:
여기서
나머지가
결론:
📌 예제: 24m X 15m 크기의 직사각형 바닥에 빈자리가 없도록 타일을 깔고자 한다. 동일한 크기의 정사각형 타일만 사용한다고 할 때, 유클리드 호제법을 이용하여 필요한 타일의 최소 개수를 구하시오.
✘ 풀이:
유클리드 호제법을 이용하여 24m X 15m 크기의 직사각형 바닥에 빈자리가 없도록 깔 수 있는 동일한 크기의 정사각형 타일의 한 변의 길이를 구해보자.
1. 두 수 24와 15의 최대공약수를 구한다.
첫 번째 단계:
여기서 24를 15로 나눈 몫은 1이고, 나머지는 9이다.
두 번째 단계:
여기서 15를 9로 나눈 몫은 1이고, 나머지는 6이다.
세 번째 단계:
여기서 9를 6으로 나눈 몫은 1이고, 나머지는 3이다.
네 번째 단계:
여기서 6을 3으로 나눈 몫은 2이고, 나머지는 0이다.
나머지가 0이 되었으므로, 이때의 나누는 수가 최대공약수이다. 따라서,
2. 한 변의 길이가 3m인 정사각형 타일을 사용하여 24m X 15m 크기의 직사각형 바닥을 빈자리 없이 깔 수 있다.
3. 24m X 15m 직사각형을 한 변의 길이가 3m인 정사각형으로 나눈다.
가로에 필요한 타일의 개수:
세로에 필요한 타일의 개수:
4. 따라서 필요한 타일의 최소 개수는 가로와 세로에 필요한 타일 개수를 곱한 값이다.
필요한 타일의 최소 개수는 40개이다.
2. 나머지 연산
(1) 모듈로 합동
a, b가 정수이고
25 - 11 = 14 = 2
25 = 3
가 정수이고 이 양의 정수라 하자. 그러면 은 과 필요충분조건이다.
(2) 합동의 기본 정리
1.
2.
3.
4.
5.
6.
3. 소수와 소인수 분해
1보다 큰 모든 자연수는 최소한 두 개의 자연수로 나누어 떨어진다. 왜냐하면, 1보다 크 자연수는 항상 1과 자기 자신으로 나누어 떨어지기 때문이다. 어떤 자연수는 1과 자기 자신 외에는 약수를 가지지 않는데 이러한 자연수를 소수(prime)라고 한다.
(1) 소수와 합성수
1보다 큰 자연수
-
- 소인수: 주어진 자연수의 약수 중에서 소수인 것
- 소인수분해: 합성수를 소인수들의 곱으로 표현하는 것.
보조정리
1.
2.
3.
산술의 기본정리
- Fundamental theorem of arithmetic
- 소인수분해: 합성수를 소인수들의 곱으로 표현하는 것.
✘ 증명:
만약
위 과정을 반복하면, 유한 번의 과정 후에
곱하는 순서를 무시했을 때, 표현방법은 유일하다.
양변을 같은 수
소수판별법
만약
만약이 합성수라면, 합성수의 정의에 의해 인 인수 가 존재한다. 양의 인수에 대한 정의에 따라 로 표현할 수 있고 는 1보다 큰 양수이다. 만약 이고 이라면 이 되는데 이는 와 모순이 된다. 따라서 이거나 이어야 한다. (Q.E.D.)
📌 예제: 101은 소수인가?
✘ 풀이: 만일 101이 합성수라면, 101의 소인수 중 하나는
- 101 ÷ 2 ≠ 정수
- 101 ÷ 3 ≠ 정수
- 101 ÷ 5 ≠ 정수
- 101 ÷ 7 ≠ 정수
따라서 101은 10.05보다 작은 소수로 나눌 수 없으므로 101은 소수이다.
에라토스테네스의 체
에라토스테네스의 체는 특정한 정수
1. 1에서 100까지 모든 수를 나열한다.
2. 2는 소수이므로, 2를 제외한 2의 배수들을 모두 지운다.
- 지워지는 숫자들: 4, 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 26, .....
3. 3은 남아 있는 수 중 2보다 큰 첫 번째 소수이므로, 3을 제외한 3의 배수들을 모두 지운다.
- 지워지는 숫자들: 6, 9, 12, 15, 18, 21, 24, 27, 30, .....
4. 5는 남아 있는 수 중 3보다 큰 첫 번째 소수이므로, 5를 제외한 5의 배수들을 모두 지운다.
- 지워지는 숫자들: 10, 15, 20, 25, 30, .....
5. 7은 남아 있는 수 중 5보다 큰 첫 번째 소수이므로, 7을 제외한 7의 배수들을 모두 지운다.
- 지워지는 숫자들: 14, 21, 28, .....
6. 계속해서 남아 있는 수 중 가장 작은 소수를 선택하여, 그 소수의 배수들을 모두 지운다. 이 과정을
결과적으로, 남아 있는 숫자들은 모두 소수이다.
(2) 소수의 무한성
무한히 많은 소수가 존재한다.
✘ 증명
유클리드는 대우를 이용하여 증명한다. 소수가
메르센 소수
Mersenne Prime
-
-
✘ 증명
-

소수 정리
- 2부터
4. RSA 암호
(1) 페르마의 작은 정리
이다. 또한 모든 정수
이다.
📌 예제:
✘ 풀이:
- 모든 정수
그런데 222 = 22 × 10 + 2 이므로
따라서
'CS > 이산수학' 카테고리의 다른 글
이산수학 - 조합론 (0) | 2024.05.16 |
---|---|
이산수학 - 그래프, 트레일, 경로, 이분 그래프, 완전 이분 그래프, 정규 그래프, 오일러 투어, 해밀턴 경로 (0) | 2024.05.15 |
이산수학 - 함수, 함수의 상등, 전사함수, 단사함수, 합성함수, 계승함수, 바닥함수, 천장함수, 나머지 함수 (0) | 2024.05.15 |
이산수학 - 관계, 관계의 표현, 관계의 성질, 관계의 종류, 반사적, 대칭적, 추이적, 동치관계 (0) | 2024.05.15 |
이산수학 - 행렬: 행렬의 연산, 종류, 정방행렬, 단위행렬, 역대칭행렬, 삼각행렬, 역행렬, 부울행렬 (0) | 2024.05.15 |