밧줄을 기둥에 감으면 양끝의 장력이 달라도 정지할 수 있어요. 한 조건에서 멈췄다는 기록을 임계 등식에 넣으면, 마찰계수도 하나로 알아낸 셈일까요?
로프와 기둥의 조건이 바뀌지 않는 자체 교실모형을 정할게요. 양끝 장력은 양수이고 큰 장력/작은 장력의 비를 R≥1, 감긴 전체 각도를 θ>0 radians, 모르는 고정 계수를 μ≥0으로 써요. 다음 규칙을 문제의 판정 기준으로 줘요.
등호도 정지 가능에 포함하고, 부등식이 깨지면 정지 불가능으로 판정해요. 실제 움직임을 측정한 기록이나 미끄러짐 속도의 모형은 아니에요.
다음 두 가상 기록이 같은 μ에서 나왔다고 해 볼까요?
| 기록 | θ | R | 판정 |
|---|---|---|---|
| A | 2π | 4 | 정지 가능 |
| B | π | 4 | 정지 불가능 |
ln은 밑 e>1인 로그예요. A는 μ≥ln4/(2π)=ln2/π를, B는 μ<ln4/π=2ln2/π를 뜻해요. 편하게 c=μπ/ln2로 바꾸면
A만 보고 c=1이라고 정할 수 없어요. c=1과 c=7/4는 모두 두 기록에 맞아요. 성공한 판정은 계수가 임계값 이상임을 말할 뿐, 정확히 임계였다고 알려 주지는 않아요.
그렇다면 계수를 모르니 새 조건도 전혀 예측할 수 없을까요? 아래 세 조건을 모든 허용 c에 대하여 검사해 봐요.
| 새 조건 | 정지 기준 | 남은 모든 계수에서의 결론 |
|---|---|---|
| θ=π,R=2 | c≥1 | 모두 정지 가능 |
| θ=π,R=4 | c≥2 | 모두 정지 불가능 |
| θ=2π,R=8 | c≥3/2 | 두 판정 모두 가능 |
마지막 행은 c=1에서 불가능하고 c=7/4에서 가능해요. 계수의 유일한 추정과 새 조건의 확정 예측은 별개의 질문이에요.
임의의 유한 판정 기록도 정리할 수 있어요. 각 기록에 kᵢ=lnRᵢ/θᵢ를 대응시키고, 정지 가능 기록들의 kᵢ와0 중 최댓값을 L, 불가능 기록들의 kᵢ 중 최솟값을 U라 해 볼까요? 불가능 기록이 없으면 U=∞로 써요. 각 가능 기록은 μ≥kᵢ, 불가능 기록은 μ<kᵢ이므로 전체 허용집합은
이 구간은 L<U일 때만 비어 있지 않아요. L≥U이면 하나의 고정 μ로 설명할 수 없는 기록이에요. L=U인 한 점을 해로 남기면 엄격한 상계를 어겨요.
기록이 서로 맞더라도 유한한 정지 여부만으로 계수가 딱 하나 남지는 않아요. U가 유한하면 L과(L+U)/2가 서로 다른 두 해이고, U=∞이면 L과L+1이 두 해예요. 임계 등식이 정확히 관측되었다는 추가 정보는 현재 기록의 조건에 없어요.
이제 L<U인 서로 맞는 기록을 전제하자. L≥U이면 양립 불가로 끝내며, 새 조건을 다음 세 갈래로 분류하지 않아요. 비어 있는 허용집합에서는 “모든 계수에서 가능”과 “모든 계수에서 불가능”이라는 두 전칭 문장이 모두 공허하게 참이기 때문이에요. L<U일 때 새 조건의 k=lnR/θ에 대해서는 완전한 세 갈래 판정이 돼요. k≤L이면 모든 허용 μ에서 정지 가능, k≥U이면 모든 허용 μ에서 불가능, L<k<U이면 두 판정이 모두 가능해요. 마지막 경우에는 μ=L이 불가능한 예이고 μ=k가 가능한 예예요. U=∞일 때는 유한 k가 U 이상이 될 수 없어요. 오른쪽 끝을 제외했으므로 k=U도 모두 불가능이라는 경계가 생겨요.
Harvard의 데모에서 장력비의 임계 지수관계와 감긴 각도의 정의를 읽었어요. 여기서는 그 관계를 명시한 판정모형으로 바꾸어, 원문 실험값 대신 새 기록의 양립성과 모든 허용 계수에서의 예측을 증명했어요. 교사는 등식으로 계산한 한 숫자 옆에 무엇을 관측했는지 쓰게 하고, 같은 자료에 맞는 두 계수를 실제로 제시하게 해요.
착안: Harvard Natural Sciences Lecture Demonstrations, Rope Friction Around Pole. 판정규칙의 범위·가상 기록·질문·분류와 증명은 새로 작성했어요.