분류 | 게시판 |
베스트 |
|
유머 |
|
이야기 |
|
이슈 |
|
생활 |
|
취미 |
|
학술 |
|
방송연예 |
|
방송프로그램 |
|
디지털 |
|
스포츠 |
|
야구팀 |
|
게임1 |
|
게임2 |
|
기타 |
|
운영 |
|
임시게시판 |
|
얼마전 베스트에 수학 사상 가장 우아한 증명이라는 게시글이 올라왔는데 어렵다는 댓글이 많아서 쉽게 정리를 해 보았어요.
http://todayhumor.com/?humordata_1999075원게시글 클릭하기 귀찮으신 분들을 위해 이미지 퍼왔습니다요.
위의 설명대로 가장 큰 소수(prime number)가 존재한다고 가정하고, 그 가장 큰 소수를 p_n이라고 하자.
그리고 P를 다음과 같이 모든 소수의 곱에 1을 더한 수라고 하자.
P = p_1 * p_2 *.......*p_(n-1)*p_n + 1
P는 당연히 p_n보다 큰 수이고,
P는 p_1, p_2, p_3, ......, p_(n-1), p_n 중 어느 소수와도 나누어 떨어지지 않는다.이말인즉, P는 p_n 보다 큰 소수로 나누어 떨어지거나, 어느 소수로도 나누어 떨어지지 않는다.
즉, p_n보다 큰 소수는 존재할 수밖에 없다. <증명 끝>
그런데 위의 파란색 문장이 직관적으로 이해가 어려운데 아래와 같이 증명할 수 있습니다.
P가 p_1, p_2, p_3, ......, p_(n-1), p_n 중 하나의 소수와 나누어 떨어진다고 가정하고, 그 소수를 p_i라고 하자.
P = M*p_i
P는 p_i에 나누어 떨어지므로 M은 정수이다.
위의 식 양변을 p_i로 나누면,
P/p_i = M
{p_1*p_2*...*p_(i-1)*p_i*p_(i+1)*......*p_(n-1)*p_n + 1}/p_i = M
좌변을 풀어헤치면,
p_1*p_2*...*p_(i-1)*p_(i+1)*......*p_(n-1)*p_n + 1/p_i = M
좌변 첫번째 항은 정수이고, 두번째 항인 1/p_i는 정수가 아니다.
이는 M이 정수라는, 즉 P가 p_1, p_2, p_3, ......, p_(n-1), p_n 중 하나의 소수와 나누어 떨어진다는 가정에 모순.
따라서 P는 p_1, p_2, p_3, ......, p_(n-1), p_n 중 어느 소수와도 나누어 떨어지지 않는다. <증명 끝>
죄송합니다. 댓글 작성은 회원만 가능합니다.
번호 | 제 목 | 이름 | 날짜 | 조회 | 추천 | |||||
---|---|---|---|---|---|---|---|---|---|---|
16 | [창작소설] 아버지는 사이비 교주 (13화) | 최평화 | 24/04/28 13:51 | 211 | 1 | |||||
15 | [창작소설] 아버지는 사이비 교주 (12화) | 최평화 | 24/04/08 00:16 | 326 | 0 | |||||
14 | [창작소설] 아버지는 사이비 교주 (11) | 최평화 | 24/03/24 10:16 | 270 | 3 | |||||
13 | [창작소설] 아버지는 사이비 교주 (10) | 최평화 | 24/03/18 07:06 | 248 | 1 | |||||
12 | [창작소설] 아버지는 사이비 교주 (9) | 최평화 | 24/03/13 21:36 | 175 | 0 | |||||
11 | 장우산이 돌아왔다! | 최평화 | 24/03/11 21:04 | 191 | 0 | |||||
10 | [창작소설] 아버지는 사이비 교주 (8) | 최평화 | 24/02/05 01:39 | 361 | 1 | |||||
9 | [창작소설] 아버지는 사이비 교주 (7) | 최평화 | 24/01/21 07:39 | 285 | 1 | |||||
8 | [창작소설] 아버지는 사이비 교주 (6) | 최평화 | 23/12/28 10:27 | 289 | 0 | |||||
7 | [창작소설] 아버지는 사이비 교주 (5) | 최평화 | 23/12/25 07:39 | 305 | 0 | |||||
6 | [창작소설] 아버지는 사이비 교주 (4) | 최평화 | 23/12/17 06:10 | 331 | 1 | |||||
5 | [창작소설] 아버지는 사이비 교주 (3) | 최평화 | 23/12/03 09:24 | 310 | 1 | |||||
4 | [창작소설] 아버지는 사이비 교주 (2) | 최평화 | 23/11/19 03:07 | 334 | 2 | |||||
3 | [창작소설] 아버지는 사이비 교주 (1) | 최평화 | 23/11/02 08:54 | 241 | 2 | |||||
▶ | 소수(prime number) 개수의 무한함 증명 [1] | 최평화 | 23/09/18 02:52 | 330 | 5 | |||||
1 | 한국전쟁 직후? 부산 배경 웹툰 제목 찾아요 [2] | 최평화 | 23/08/14 13:32 | 179 | 0 | |||||
|
||||||||||
[1] | ||||||||||