베르트랑의 역설 (확률): 두 판 사이의 차이

위키백과, 우리 모두의 백과사전.
내용 삭제됨 내용 추가됨
TedBot (토론 | 기여)
잔글 봇: 틀 이름 및 스타일 정리
편집 요약 없음
1번째 줄: 1번째 줄:
'''베르트랑의 역설'''은 [[확률의 고전적 정의]]에 관한 난제이다. [[조제프 베르트랑]]이 그의 저서 ''Calcul des probabilités'' (확률론) 에서 제안했다. 그 내용은 다음과 같다.
[[확률]]론에서 '''베르트랑의 역설'''은 [[확률의 고전적 정의]]에 관한 난제이다. [[조제프 베르트랑]]이 그의 저서 ''Calcul des probabilités'' (확률론) 에서 제안했다.<ref>Bertrand, Joseph (1889), "[http://gallica.bnf.fr/ark:/12148/bpt6k99602b/f64.image Calcul des probabilités]", ''Gauthier-Villars'', p. 5-6.</ref> 그 내용은 다음과 같다.


:[[원 (기하학)|원]]에 [[내접]]하는 [[정삼각형]]을 그리고 원에서 임의의 [[현 (기하학)|현]]을 선택할 때, 현의 길이가 정삼각형의 한 변의 길이보다 클 확률은?
{{인용문|[[원 (기하학)|원]]에 [[내접]]하는 [[정삼각형]]을 그리고 원에서 임의의 [[현 (기하학)|현]]을 선택할 때, 현의 길이가 정삼각형의 한 변의 길이보다 클 확률은?}}

베르트랑은 동 저서에서 3가지의 결과값이 다른 해법을 소개했다.
베르트랑은 동 저서에서 3가지의 결과값이 다른 해법을 소개했다.<ref name="Drory">{{저널 인용 |last=Drory |first=Alon |title=Failure and Uses of Jaynes' Principle of Transformation Groups |journal= Foundations of Physics |volume=45 |issue=4 |year=2015 |pages=439–460 |doi= 10.1007/s10701-015-9876-7 |arxiv=1503.09072 |bibcode=2015FoPh...45..439D}}</ref> 베르트랑은 저서에서 확률 영역이 무한대일 때 무비판적으로 [[무차별성의 원칙]]을 적용한다면 확률이 명확하고 잘 정의된 결과를 도출하지 못한다는 예시로 이를 언급하였다.<ref name="Shackel">{{저널 인용 |last=Shackel |first=N. |title=Bertrand's Paradox and the Principle of Indifference |journal=Philosophy of Science |volume=74 |issue=2 |year=2007 |pages=150–175 |doi=10.1086/519028 |url=http://orca.cf.ac.uk/3803/1/Shackel%20Bertrand%27s%20paradox%205.pdf}}</ref>


== 세가지 해법 ==
== 세가지 해법 ==
=== 첫 번째 ===
=== 첫 번째 ===
[[파일:Bertrand1-figure.svg|오른쪽]]
[[파일:Bertrand1-figure.svg|오른쪽|280px|섬네일|1번 해법의 경우. 삼각형의 한 변보다 긴 현은 빨강, 짧은 현은 파랑으로 그려져 있다.]]
현의 종점을 무작위로 놓는 (random endpoint) 해법이다. 오른쪽 그림과 같이 현의 시작점을 삼각형의 한 [[꼭짓점]]으로 하자. 이 경우 현이 삼각형의 한 변보다 길어지기 위해서는 시작점의 반대쪽에 있는 변을 지나야 한다. 이 조건을 만족하기 위해서는 현과 시작점에서의 원의 [[접선]]이 이루는 [[각도]]가 60~120도가 되어야 한다. 현을 정의할 수 있는 각도는 0~180도 이므로 그래서 60/180 = '''1/3'''.
현의 종점을 무작위로 놓는(random endpoint) 해법이다. 오른쪽 그림과 같이 현의 시작점을 삼각형의 한 [[꼭짓점]]으로 하자. 이 경우 현이 삼각형의 한 변보다 길어지기 위해서는 시작점의 반대쪽에 있는 변을 지나야 한다. 이 조건을 만족하기 위해서는 현과 시작점에서의 원의 [[접선]]이 이루는 [[각도]]가 60~120도가 되어야 한다. 현을 정의할 수 있는 각도는 0~180도 이므로 그래서 60/180 = '''1/3'''.
{{-}}
{{-}}


=== 두 번째 ===
=== 두 번째 ===
[[파일:Bertrand2-figure.svg|오른쪽]]
[[파일:Bertrand2-figure.svg|오른쪽|280px|섬네일|2번 해법의 경우. 삼각형의 한 변보다 긴 현은 빨강, 짧은 현은 파랑으로 그려져 있다.]]
현과 원의 중심 사이의 거리를 무작위로 놓는 (random radius) 해법이다. 오른쪽 그림과 같이 삼각형의 한 변과 [[평행]]한 현을 생각하자. 이 경우 현이 변보다 안쪽에 있어야 변보다 길어질 수 있다. 원의 내접 정삼각형의 변은 [[반지름]]을 이등분하므로 '''1/2'''.
현과 원의 중심 사이의 거리를 무작위로 놓는(random radius) 해법이다. 오른쪽 그림과 같이 삼각형의 한 변과 [[평행]]한 현을 생각하자. 이 경우 현이 변보다 안쪽에 있어야 변보다 길어질 수 있다. 원의 내접 정삼각형의 변은 [[반지름]]을 이등분하므로 '''1/2'''.
{{-}}
{{-}}


=== 세 번째 ===
=== 세 번째 ===
[[파일:Bertrand3-figure.svg|오른쪽]]
[[파일:Bertrand3-figure.svg|오른쪽|280px|섬네일|3번 해법의 경우. 내접원을 지나는 현은 빨강, 그렇지 않은 현은 파랑으로 그려져 있다.]]
현의 [[중점 (기하학)|중점]]을 무작위로 놓는 (random midpoint) 해법이다. 삼각형에 내접하는 원을 그리고, 바깥쪽 원에 임의의 현을 하나 놓는다. 삼각형의 한 변의 길이보다 긴 현은 안쪽 원을 지나며 현의 중점은 안쪽 원 안에 있다. 즉 현의 중점이 안쪽 원에 놓일 확률을 구하면 된다. 안쪽 원의 반지름은 바깥쪽 원의 반이므로 넓이는 4배 차이가 난다. '''1/4'''.
현의 [[중점 (기하학)|중점]]을 무작위로 놓는(random midpoint) 해법이다. 삼각형에 내접하는 원을 그리고, 바깥쪽 원에 임의의 현을 하나 놓는다. 삼각형의 한 변의 길이보다 긴 현은 안쪽 원을 지나며 현의 중점은 안쪽 원 안에 있다. 즉 현의 중점이 안쪽 원에 놓일 확률을 구하면 된다. 안쪽 원의 반지름은 바깥쪽 원의 반이므로 넓이는 4배 차이가 난다. '''1/4'''.
{{-}}
{{-}}


== 고전적 해법 ==
== 각 해법의 차이점 ==
이 역설의 고전적 해법이자 베르트랑 자신의 저서에서 언급한 문제는 세가지 해법의 요지는 현의 무엇을 '무작위'로 놓는가에 따라 달라진다고 보았다.<ref name="Drory"/> 아래에 세 해법을 시각화한 그림이 있다.

상기 세가지 해법의 요지는 현의 무엇을 ‘무작위’로 놓는가이다. 아래에 세 해법을 시각화한 그림이 있다.


{| style="margin: auto;"
{| style="margin: auto;"
|-
|-
| [[파일:Bertrand1-scatterplot.svg|왼쪽|섬네일|168픽셀|해법 1에 의해 선택된 현들의 중점]]
| [[파일:Bertrand1-scatterplot.svg|왼쪽|섬네일|180px|해법 1에 의해 선택된 현들의 중점]]
| [[파일:Bertrand2-scatterplot.svg|왼쪽|섬네일|168픽셀|해법 2에 의해 선택된 현들의 중점]]
| [[파일:Bertrand2-scatterplot.svg|왼쪽|섬네일|180px|해법 2에 의해 선택된 현들의 중점]]
| [[파일:Bertrand3-scatterplot.svg|왼쪽|섬네일|168픽셀|해법 3에 의해 선택된 현들의 중점]]
| [[파일:Bertrand3-scatterplot.svg|왼쪽|섬네일|180px|해법 3에 의해 선택된 현들의 중점]]
|-
|-
| [[파일:Bertrand1-chords.svg|왼쪽|섬네일|168픽셀|해법 1에 의해 선택된 현들]]
| [[파일:Bertrand1-chords.svg|왼쪽|섬네일|180px|해법 1에 의해 선택된 현들]]
| [[파일:Bertrand2-chords.svg|왼쪽|섬네일|168픽셀|해법 2에 의해 선택된 현들]]
| [[파일:Bertrand2-chords.svg|왼쪽|섬네일|180px|해법 2에 의해 선택된 현들]]
| [[파일:Bertrand3-chords.svg|왼쪽|섬네일|168픽셀|해법 3에 의해 선택된 현들]]
| [[파일:Bertrand3-chords.svg|왼쪽|섬네일|180px|해법 3에 의해 선택된 현들]]
|}
|}


베르트랑은 무엇을 무작위로 선택하는지 그 방법을 하나로 특정한다면 문제가 하나로 잘 정의된 해결법을 가지게 될 것이라고 주장하였다. 베르트랑이 제시한 3가지 정답은 서로 다른 선택 방법에 해당하며, 추가적인 정보가 없다면 다른 정답을 제치고 특정한 정답을 선호할 이유가 없으므로 위 문제는 고유한 하나의 정답이 없다고 보았다.<ref name="Marinoff">{{저널 인용 |last=Marinoff |first=L. |title=A resolution of Bertrand's paradox |journal=Philosophy of Science |volume=61 |year=1994 |pages=1–24 |doi=10.1086/289777}}</ref>
==이분법과 호도법==

{| class="wikitable"
== 실제 실험에서 ==
|-
제인스가 제시한, 멀리 있는 작은 원에 빨대를 던지는 물리 실험과 같은 특정 경우에서 [[통계역학]]과 [[유체역학]]과 같은 특정 물리계에 존재하는 변환 불변량을 만족하는 방법은 오직 2번째 방법만이 정답으로 인정된다.
| [[파일:Bertrand1-figure2.svg|300px|]]

|-
하지만 실제 세계에서 실험마저도 다른 선택 방법의 정답을 만족하는 물리 실험을 설계하는 것이 가능하다. 예를 들어 원 중앙에 둘레 위의 한 점을 가리키는 스피너와 같은 회전기를 단 후 서로 다른 두 회전기의 서로 독립된 회전 결과 점을 이은 현을 표시하도록 하면 1번째 방법의 확률이 구해진다. 또한 원 전체를 끈적한 [[당밀]] 같은 걸로 덮어버린 후 파리를 날려보내 처음에 원 위에 앉은 점을 현의 중점으로 두도록 계산한다면 3번째 방법의 확률이 구해진다.<ref>{{저널 인용 |last=Gardner |first=Martin |title=The Second Scientific American Book of Mathematical Puzzles and Diversions |publisher=University of Chicago Press |year=1987 |pages=[https://archive.org/details/2ndscientificame00gard/page/223 223–226] |isbn=978-0-226-28253-4 |url=https://archive.org/details/2ndscientificame00gard/page/223}}</ref> 여러 연구자들은 서로 다른 확률값을 얻기 위해 실험을 의도적으로 설계해보았고, 실제로 실험을 어떻게 설계하냐에 따라서 확률이 달라짐을 경험적으로 검증하였다.<ref>{{저널 인용 |last=Tissler |first=P.E. |title=Bertrand's Paradox |journal=The Mathematical Gazette |publisher=The Mathematical Association |volume=68 |issue=443 |date=March 1984 |pages=15–19 |doi=10.2307/3615385 |jstor=3615385}}</ref><ref>{{저널 인용 |last=Kac |first=Mark |title=Marginalia: more on randomness |journal=American Scientist |volume=72 |issue=3 |date=June 1984 |pages=282–283 }}</ref><ref name="Drory"/>
| 예시
|}
원에 내접하는 정삼각형의 한변의 호의 길이는 <math>{{360^{\circ}}\over{3}}</math>, 원의 양분된 호의 길이는 <math>{{360^{\circ}}\over{2}}</math>
따라서 정삼각형의 한 변보다 큰 호의 길이는
:<math>{{360^{\circ}}\over{2}}-{{360^{\circ}}\over{3}}= 180-120 = 60</math>
정삼각형의 한 변보다의 큰 호의 길이인 임의의 [[현 (기하학)|현]](chord)의 확률은
:<math>{{60}\over{180}}= {{1}\over{3}}</math>


== 같이 보기 ==
== 같이 보기 ==
* [[활꼴]]
* [[활꼴]]
* [[변심거리]]
* [[변심거리]]

* [http://www.cut-the-knot.org/bertrand.shtml Cut-the-knot의 베르트랑의 역설] - 베르트랑의 역설에 관한 시뮬레이션을 할 수 있다. ([[JVM]] 필요)
==참고==
== 각주 ==
{{각주}}
{{각주}}

== 외부 링크 ==
* [http://www.cut-the-knot.org/bertrand.shtml Cut-the-knot의 베르트랑의 역설] - 베르트랑의 역설에 관한 시뮬레이션을 할 수 있다. ([[JVM]] 필요)

[[분류:확률론]]
[[분류:확률론]]
[[분류:수학의 역설]]
[[분류:수학의 역설]]

2021년 7월 12일 (월) 17:11 판

확률론에서 베르트랑의 역설확률의 고전적 정의에 관한 난제이다. 조제프 베르트랑이 그의 저서 Calcul des probabilités (확률론) 에서 제안했다.[1] 그 내용은 다음과 같다.

내접하는 정삼각형을 그리고 원에서 임의의 을 선택할 때, 현의 길이가 정삼각형의 한 변의 길이보다 클 확률은?

베르트랑은 동 저서에서 3가지의 결과값이 다른 해법을 소개했다.[2] 베르트랑은 저서에서 확률 영역이 무한대일 때 무비판적으로 무차별성의 원칙을 적용한다면 확률이 명확하고 잘 정의된 결과를 도출하지 못한다는 예시로 이를 언급하였다.[3]

세가지 해법

첫 번째

1번 해법의 경우. 삼각형의 한 변보다 긴 현은 빨강, 짧은 현은 파랑으로 그려져 있다.

현의 종점을 무작위로 놓는(random endpoint) 해법이다. 오른쪽 그림과 같이 현의 시작점을 삼각형의 한 꼭짓점으로 하자. 이 경우 현이 삼각형의 한 변보다 길어지기 위해서는 시작점의 반대쪽에 있는 변을 지나야 한다. 이 조건을 만족하기 위해서는 현과 시작점에서의 원의 접선이 이루는 각도가 60~120도가 되어야 한다. 현을 정의할 수 있는 각도는 0~180도 이므로 그래서 60/180 = 1/3.

두 번째

2번 해법의 경우. 삼각형의 한 변보다 긴 현은 빨강, 짧은 현은 파랑으로 그려져 있다.

현과 원의 중심 사이의 거리를 무작위로 놓는(random radius) 해법이다. 오른쪽 그림과 같이 삼각형의 한 변과 평행한 현을 생각하자. 이 경우 현이 변보다 안쪽에 있어야 변보다 길어질 수 있다. 원의 내접 정삼각형의 변은 반지름을 이등분하므로 1/2.

세 번째

3번 해법의 경우. 내접원을 지나는 현은 빨강, 그렇지 않은 현은 파랑으로 그려져 있다.

현의 중점을 무작위로 놓는(random midpoint) 해법이다. 삼각형에 내접하는 원을 그리고, 바깥쪽 원에 임의의 현을 하나 놓는다. 삼각형의 한 변의 길이보다 긴 현은 안쪽 원을 지나며 현의 중점은 안쪽 원 안에 있다. 즉 현의 중점이 안쪽 원에 놓일 확률을 구하면 된다. 안쪽 원의 반지름은 바깥쪽 원의 반이므로 넓이는 4배 차이가 난다. 1/4.

고전적 해법

이 역설의 고전적 해법이자 베르트랑 자신의 저서에서 언급한 문제는 세가지 해법의 요지는 현의 무엇을 '무작위'로 놓는가에 따라 달라진다고 보았다.[2] 아래에 세 해법을 시각화한 그림이 있다.

해법 1에 의해 선택된 현들의 중점
해법 2에 의해 선택된 현들의 중점
해법 3에 의해 선택된 현들의 중점
해법 1에 의해 선택된 현들
해법 2에 의해 선택된 현들
해법 3에 의해 선택된 현들

베르트랑은 무엇을 무작위로 선택하는지 그 방법을 하나로 특정한다면 문제가 하나로 잘 정의된 해결법을 가지게 될 것이라고 주장하였다. 베르트랑이 제시한 3가지 정답은 서로 다른 선택 방법에 해당하며, 추가적인 정보가 없다면 다른 정답을 제치고 특정한 정답을 선호할 이유가 없으므로 위 문제는 고유한 하나의 정답이 없다고 보았다.[4]

실제 실험에서

제인스가 제시한, 멀리 있는 작은 원에 빨대를 던지는 물리 실험과 같은 특정 경우에서 통계역학유체역학과 같은 특정 물리계에 존재하는 변환 불변량을 만족하는 방법은 오직 2번째 방법만이 정답으로 인정된다.

하지만 실제 세계에서 실험마저도 다른 선택 방법의 정답을 만족하는 물리 실험을 설계하는 것이 가능하다. 예를 들어 원 중앙에 둘레 위의 한 점을 가리키는 스피너와 같은 회전기를 단 후 서로 다른 두 회전기의 서로 독립된 회전 결과 점을 이은 현을 표시하도록 하면 1번째 방법의 확률이 구해진다. 또한 원 전체를 끈적한 당밀 같은 걸로 덮어버린 후 파리를 날려보내 처음에 원 위에 앉은 점을 현의 중점으로 두도록 계산한다면 3번째 방법의 확률이 구해진다.[5] 여러 연구자들은 서로 다른 확률값을 얻기 위해 실험을 의도적으로 설계해보았고, 실제로 실험을 어떻게 설계하냐에 따라서 확률이 달라짐을 경험적으로 검증하였다.[6][7][2]

같이 보기

각주

  1. Bertrand, Joseph (1889), "Calcul des probabilités", Gauthier-Villars, p. 5-6.
  2. Drory, Alon (2015). “Failure and Uses of Jaynes' Principle of Transformation Groups”. 《Foundations of Physics》 45 (4): 439–460. arXiv:1503.09072. Bibcode:2015FoPh...45..439D. doi:10.1007/s10701-015-9876-7. 
  3. Shackel, N. (2007). “Bertrand's Paradox and the Principle of Indifference” (PDF). 《Philosophy of Science》 74 (2): 150–175. doi:10.1086/519028. 
  4. Marinoff, L. (1994). “A resolution of Bertrand's paradox”. 《Philosophy of Science》 61: 1–24. doi:10.1086/289777. 
  5. Gardner, Martin (1987). “The Second Scientific American Book of Mathematical Puzzles and Diversions”. University of Chicago Press: 223–226. ISBN 978-0-226-28253-4. 
  6. Tissler, P.E. (March 1984). “Bertrand's Paradox”. 《The Mathematical Gazette》 (The Mathematical Association) 68 (443): 15–19. doi:10.2307/3615385. JSTOR 3615385. 
  7. Kac, Mark (June 1984). “Marginalia: more on randomness”. 《American Scientist》 72 (3): 282–283. 

외부 링크