베이즈 정리란 사후 확률 (posterior probability) 을 사전 확률 (prior probability) 를 이용하여 표현하는 방법으로 수학적으로 다음과 같이 표현합니다.
사건 B가 먼저 일어난 후 사건 A가 일어날 때, $$P(B|A)=\frac{P(A|B)\cdot P(B)}{P(A)}$$$$\begin{aligned}P(B|A)&\text{ : 사후 확률, 나중에 일어나는 사건 A를 전제로 하는 조건부 확률}\\
P(B)&\text{ : 사전 확률, 사건 A가 일어나기전 사건 B가 일어날 확률}\\
P(A|B)&\text{ : 사건 B가 일어난 후에 사건 A가 일어날 확률}\end{aligned}$$
이 글에서는 베이즈 정리를 직접 유도해보면서 사후 확률과 베이즈 정리의 의미와 목적에 대해 설명하고, 이 정리를 어떻게 활용할 수 있는지에 대해 이야기 해보겠습니다. (more…)
3차 함수 \(y=ax^3+bx^2+cx+d\) 의 그래프가 직선 \(y=mx+n\) 의 그래프와 x좌표가 α인 점에서 접하고, x좌표가 β인 점에서 만날 때, 3차 함수의 그래프와 직선으로 둘러싸인 부분의 넓이는
$$\begin{equation}\begin{aligned}&\int_{\alpha}^{\beta}\left|ax^3+bx^2+cx+d-(mx+n)\right|dx\\
&=\int_{\alpha}^{\beta}\left|a(x-\alpha)^2(x-\beta)\right|dx\\
&=\frac{|a|}{12}(\beta-\alpha)^4\end{aligned}\end{equation}$$
이 글에서는 이 식의 간단한 증명을 소개합니다.
전설의 수학 문제를 찾아서, 3번째 문제는 3인의 죄수 문제입니다. 이 문제 역시 전설의 수학 문제 #1과 #2와 같은 조건부 확률 문제입니다. 서벨로니 (Serbelloni) 문제라고도 알려진 이 문제는 1966년 여름 서벨로니 별장에서 열린 이론 생물학회에서 화제가 된 문제입니다.
A, B, C 3명의 죄수가 있습니다. 3명의 죄수 중에서 곧 2명이 처형이 될 예정이고, 3인의 죄수 모두가 이 사실을 알고 있습니다. 하지만 처형이 될 죄수 2명의 이름은 간수만 알고 있습니다. 어느 날 죄수A는 간수에게 죄수B와 C 2명 중에서 적어도 1명이 처형되는 것은 확실하니 B나 C중 누가 처형이 되는지 한 사람의 이름을 말해달라고 부탁했습니다. 이 때 간수는 B가 처형이 될 것이라고 대답해 주었습니다.
이 말을 들은 죄수 A는 자신이 처형될 확률이 낮아졌다고 무척 기뻐했습니다. 대답을 듣기 전 자신이 처형될 확률은 \(\frac{2}{3}\approx 66.7\%\) 였지만 대답을 듣고 난 후 뒤에는 B와 같이 처형될 죄수는 자신이 아니면 C이므로 앞으로 자신이 처형될 확률이 \(\frac{1}{2}=50\%\) 가 되어 자신이 처형될 확률이 간수의 대답을 듣기 전보다 낮아졌다고 생각했기 때문입니다. 간수가 거짓말을 하지 않는다면 과연 죄수의 판단은 옳은 것일까요?
이차함수의 그래프와 두 접선으로 둘러싸인 넓이를 \(\mathcal{A}\), 두 접점을 연결한 직선과 이차함수로 둘러싸인 넓이를 \(\mathcal{B}\) 라 하면,$$A:B=1:2$$ 이 비율에 대한 간단한 증명을 소개합니다.
이차함수와 두 접선으로 둘러 싸인 넓이는 $$\mathcal{A}=\frac{|a|}{12}|\beta-\alpha|^3$$ 입니다. 이 공식에 대한 증명을 설명합니다.
불변성이란 일반적으로,
조작이나, 반복이 계속될 때에도 바뀌지 않는 특수한 상황
을 뜻합니다. 불변성이라는 단어는 조금 생소하게 들릴수도 있지만 사실은 일상 생활에서도 자주 쓰이는 수학적 개념입니다. 등차 수열에서 인접한 두 항의 차이가 항상 일정(공차)하거나 수열의 귀납적 관계(점화식)관계 등이 바로 불변성을 사용하는 좋은 예입니다. 이 글에서는 2009학년도 3월 모의고사 가형 21번을 통해 불변성에 대해 이야기 해보겠습니다.
이차함수 \(y=ax^2+bx+c\) 의 두 접점 \((\alpha, f(\alpha)\), \((\beta, f(\beta))\) 에서 그은 두 접선이 만나는 점의 좌표는 $$\left(\frac{\alpha+\beta}{2}, a\alpha\beta+b\left(\frac{\alpha+\beta}{2}\right)+c\right)$$ 이다. 특히 이 교점의 x좌표는 a와 관계없이 두 접점을 연결한 선분의 중점이 갖는 x좌표와 같다.
