

※ 이 글은 증명하는 글이 아닙니다.
대충 사례나 수열을 나열한 다음 감으로 때려잡은 글입니다.
심각하게 읽지 마세요.
버스를 타고 가다 이런 생각이 들었다.
어렸을 때 읽은 여러 잡서들 중에서 "똑같이 생긴 물건들이 몇개 있는데 그 가운데 하나가 무겁다. 이때 이 무거운 물체를 솎아내기 위해 양손저울을 최소한으로 이용한다면 몇 번 이용해야 하는가"라는 식의 문제들이 많았던 것으로 기억난다. 몇 번이 필요한 것일까?
두 개의 물체 중 어느 것이 무거운지를 알기 위해서는 한 번만 달면 된다.
세 개의 물체라면 물제 하나를 빼 놓고 한 번만 달면 된다. 만약 두 무게가 같으면 처음 빼놓은 하나가 무거울 것이고, 아니면 두개를 다는 중에 하나가 가벼우니 위로 올라갈테니 말이다.
네 개의 물체라면 두 번을 달면 된다.
...
열세 개의 물체라면 우선 하나를 빼고 열두 개를 반으로 나눠 여섯개씩 달아 본다. 무거운 여섯를 반으로 나눠 다시 세개씩 달아 본다. 세개에서 한 개를 빼고 나머지 두 개를 달아 본다.
...
이런식으로 진행할 경우 다음의 결과가 나온다.
[괄호 안의 부호는 다음을 의미한다]
0 : 달 필요 없음.
1 : 하나를 뺀다.
L : 반으로 나눠 천칭에 달아본다.
0 : 0 (0)
1 : 0 (0)
2 : 1 (L)
3 : 1 (-1, L)
4 : 2 (L, L)
5 : 2 (-1, L, L)
6 : 2 (L, -1, L)
7 : 2 (-1, L, -1, L)
8 : 3 (L, L, L)
9 : 3 (-1, L, L, L)
10 : 3 (L, -1, L, L)
11 : 3 (-1, L, -1, L, L)
12 : 3 (L, L, -1, L)
13 : 3 (-1, L, L, -1, L)
14 : 3 (L, -1, L, -1, L)
15 : 3 (-1, L, -1, L, -1, L)
16 : 4 (L, L, L, L)
17 : 4 (-1, L, L, L, L)
18 : 4 (L, -1, L, L, L)
19 : 4 (-1, L, -1, L, L, L)
20 : 4 (L, L, -1, L, L)
21 : 4 (-1, L, L, -1, L, L)
22 : 4 (L, -1, L, -1, L, L)
23 : 4 (-1, L, -1, L, -1, L, L)
24 : 4 (L, L, L, -1, L)
25 : 4 (-1, L, L, L, -1, L)
26 : 4 (L, -1, L, L, -1, L)
27 : 4 (-1, L, -1, L, L, -1, L)
28 : 4 (L, L, -1, L, -1, L)
29 : 4 (-1, L, L, -1, L, -1, L)
30 : 4 (L, -1, L, -1, L, -1, L)
31 : 4 (-1, L, -1, L, -1, L, -1, L)
32 : 5 (L, L, L, L, L)
33 : 5 (-1, L, L, L, L, L)
그렇다면,
1. 동일한 물체 a개에 a와 외관은 같으나 무게가 다른 물체 b가 단 하나 섞여있을 경우 이 물체들의 전체 갯수를 n이라 할 때, 양손저울(천칭)을 가지고 b을 솎아내기 위해 서 필요한 최소한의 수 L은 몇인가?
거거슨...
L=log_2 n (L은 0 또는 자연수) 이를 임의대로 천칭수(Libra)라고 하자. 그냥 -_-... 뽀대.
ex.) n=1000일 경우
log_2 512 = log_2 2^9=9 < log_2 1000 < log_2 1024=log_2 2^10 =10
1000개의 물체 가운데 무게가 다른 물체 하나를 솎아내기 위해서는 총 9번 천칭에 매달면 된다.
즉, 1000의 천칭수는 9이다.
1000개의 물체 가운데 섞여있는 것 하나를 솎아내는 전 과정을 서술하면 다음과 같다.
1000 -> 둘로 나누어 달기 (L)
500 -> 둘로 나누어 달기 (L)
250 -> 둘로 나누어 달기 (L)
125 -> 하나 빼고, 둘로 나누어 달기 (-1, L)
62 -> 둘로 나누어 달기 (L)
31 -> 하나 빼고, 둘로 나누어 달기 (-1, L)
15 -> 하나 빼고, 둘로 나누어 달기 (-1, L)
7 -> 하나 배고, 둘로 나누어 달기 (-1, L)
3 -> 하나 빼고, 둘로 나누어 달기 (-1, L)
전체적인 총 과정은,
L, L, L, -1, L, L, -1, L, -1, L, -1, L, -1, L
의 순서로 진행된다.
그런데 저 빼는 과정에서 무게가 다른 물체 하나가 솎아나올 수 있지 않을까? 그럴 경우의 확률을 구해서 평균값을 낼 수 있지 않을까? 그러니까, 하나 빼는 과정 중에서 무게가 다른 물체 b가 걸릴 확률같은것.
예를 들어,
세 개일 때 하나 빼둔 것이 무게가 다른 것일 수 있는 확률은 33.3333%
일곱 개일 때 하나 빼둔 것이 무게가 다른 것일 수 있는 확률 14.2857%, 두번째로 하나 뺀 것이 무게가 다른 것일 수 있는 확률은 33%
서른 한 개일 때, 처음 뺀 것이 걸릴 확률은 3.2258%, 다음 뺀 것이 걸릴 확률은 6.6666%, 그 다음 뺀 것이 걸릴 확률은 14.2857%, 그 다음은 33.3333%
당연히 처음 솎아낸 것이 걸릴 확률은 점점 낮아지며, 나중에는 저울을 잴 수록 전체 갯수는 줄어들게 되므로 솎아낸 것이 무게가 다른 것일 수 있는 확률은 점차 증가하며 그 최대치는 33.3333%이다.
2. 그렇다면 임의의 물체 a와 그 안에 섞인 단 하나의 무게가 다른 물체 b가 있을 경우 이 총 수를 n(=a+1)이라 할 때, 무게를 재기 위하 하나 빼는 조작을 통해 무게가 다른 물건b가 솎아내질 확률 N은?
N_0=0
N_1=0
N_2=0
N_3=1/3 ☆
N_4=0
N_5=1/5
N_6=1/3 ☆
N_7=1/7+1/3 ☆
N_8=0
N_9=1/9
N_10=1/5
N_11=1/11+1/5
N_12=1/3 ☆
N_13=1/13+1/3 ☆
N_14=1/7+1/3 ☆
N_15=1/15+1/7+1/3 ☆
N_16=0
N_17=1/17
N_18=1/9
2차 평편위에 그래프를 그려 보면 알겠지만 불연속적인 점들이 들쭉날쭉 하면서 그려진다. 잘 살펴보면 공통점은 홀수, 또는 소수(prime number)를 분모로 한 수열 합의 극한값이 N의 최대값이 됨을 알 수 있다.
그런데 이 수가 n이 증가함으로서 커지는 경향은 있지만, 그렇다고 선형으로 커지는 것은 아니다. 그리고 크기의 증가폭도 미미하다. 가령 n의 형식이 2^k (k는 자연수)의 형식을 지닌다면 b가 하나빼기 조작(-1)의 형식으로 솎아내질 확률은 0이다. 물론 n이 커지면 커질수록, 그리고 n이 홀수(2l+1, l>=0)일수록 -1조작을 통해 b가 솎아나올 확률은 점점 커 질 것이다. 확률을 크게 만드는 것은 마지막 조작값이 -1, L로 끝나게 되어 1/3을 추가 하는 경우이다.
1/3확률을 추가하는 경우는 전체 자연수의 절반에 해당한다. 그러니까 어떤 수 n이 가 2^(m) < n <2^(m+1)일 때, n이 2^(m+1)에 가까우면 n은 1/3확률을 추가로 가지게 된다. 위의 N_x 결과의 나열을 보면 각 묶음의 절반 이후로 1/3확률이 추가됨을 알 수 있다. (별표를 붙여놓았다.) 여기서 '가깝다'라는 표현이 모호하다. (m이라고 표기한 것은 천칭수 L의 소문자인 l로 표기할 경우 가독성이 떨어지기 때문이다.)
n에 대해 1/3확률이 추가로 붙을 경우를 L_p라고 하고 이를 수식화를 하면 다음과 같다. (L_p의 의미는 천칭으로 저울질을 하다가 마지막에 3이 남는 수를 의미한다.)
L_p 발생 n >= {2^m+2^(m+1)}/2, L_p 미발생 n < {2^m+2^(m+1)}/2
ex. n=975
log_2 2^9 < log_2 975 < log_2 2^10
따라서 975개의 물체가운데 단 하나의 다른 물체가 있을 경우 9번만 솎으면 그 하나를 골라낼 수 있으며,
975> (512+1024)/2 = 768 이므로 솎아서 다른 물체 b를 추려낼 확률이 추가로 1/3 증가한다.
자연수 975의 천칭수는 9이고 L_p가 발생한다.
ex. n=1367
log_2 2^10 < log_2 1367 < log_2 2^11
따라서 1367개의 물체가운데 단 하나의 다른 물체가 있을 경우 10번만 솎으면 그 하나를 골라낼 수 있으며,
1367 < (1024+2048)/2 = 768 이므로 솎아서 다른 물체 b를 추려낼 확률이 추가로 증가하지는 않는다.
자연수 1367의 천칭수는 10이고 L_p는 발생하지 않는다.
또한 n개의 물체 가운데 때 다른 물체 b를 솎아낼 일반적인 확률식 역시 존재하지 않는 것으로 생각되는데, 우선 홀수를 분모로 하는 수열의 시그마 극한값과, 소수(prime number)수열의 극한값을 어째어째 섞어서 계산해야 할 것처럼 보인다. 홀수를 분모로 하는 수열의 극한값이야 있겠지만, 소수(prime number)의 수열의 일반식조차 아직 않았기 때문에 존재하지 않는 것으로 나는 생각한다.
그냥.
버스에서 이런 생각을 했다곰.
행여나 재미있게 읽은 분이 있다면 감사할 따름.
엠티나 모임에서 52425개의 물체가 모두 외형은 동일하지만 단 하나가 질량이 다를 때 천칭(양손저울)을 이용해서 질량이 다른 하나를 솎아내기 위해 필요한 최소의 저울질 횟수를 질문한다면 소주병으로 맞을지도.
하지만, 정답은...
log_2 2^15 < 52425 < log_2 2^16 적어도 15번만 저울질 하면 발견 할 수 있다.
또한, 52425 < (2^15+2^16)/2 = 98202 이므로 하나씩 빼는 과정에서 1/3확률이 추가되지 않는다.
자연수 52425의 천칭수는 15이고 L_p는 발생하지 않는다.
이러한 수학분야를 recreation mathematics - 유희수학이라 한다. 근데 현대에서나 유희수학이지 하루에 수천가지 물건을 주고 받는 상인의 경우 잘못된거 하나 섞여서 낭패보고 빡칠 경우에는 나름 절실하지 않았을까? 금을 다룬다던지 하는 경우 말이다.
좌우지간,
EE!!
음, 근데...
천칭에서 저울질을 하는 패턴 -1. L의 패턴을 연구할수도 있을 것이다.
이를 바탕으로 각 자연수에 따른 솎아내기 (-1)과정을 통해 질량이 다른 b가 솎아내질 확률의 합을 구하는 공식을 만들어 보는 것도 재미있을 것이다.
- 오늘의 퀘스트
n개의 물체에 외양은 동일하나 무게가 다른 물체 b가 섞여 있을 경우 b를 골라내기 위해서 필요한 최소 천칭질의 일반식은 무엇인가?
- 보상
현금 1만원.
- 조건
증명할 것.
단 수학적 도구들은 미적분 및 통계확률 까지의 고등학교 정규과정에서 배우는 수학을 사용하되, 그 이상의 방법을 사용할 경우 어떻게 그러한지에 대해 확인할 수 있는 인터넷상의 문서를 밝혀두고 사용할 것.








