베이즈 정리란 사후 확률 (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좌표와 같다.
이 글에서는 \(\sec x \)와 \(\csc x\)의 3가지 적분 방법을 설명합니다. 세 방법 모두 다음 적분을 기본으로 사용하고 있습니다.
$$\int \frac{f'(x)}{f(x)}dx=\ln|f(x)| + C$$
이 글에서는 \(\sec x \)와 \(\csc x\)의 3가지 적분 방법을 설명합니다. 세 방법 모두 다음 적분을 기본으로 사용하고 있습니다.
$$\int \frac{f'(x)}{f(x)}dx=\ln|f(x)| + C$$
\(\sin x,\ \cos x,\ \tan x\) 의 역함수(역삼각함수)를 각각 $$\begin{align}\arcsin x&=\sin^{-1}x\\
\arccos x&=\cos^{-1}x,\\
\arctan x&=\tan^{-1}x\end{align}$$라고 정의할 때,
$$\begin{align}\int \sin^{-1}xdx&= x\sin^{-1}x+\sqrt{1-x^2}+C\\
\int \cos^{-1}xdx&=x\cos^{-1}x-\sqrt{1-x^2}+C\\
\int \tan^{-1}xdx&=x\tan^{-1}x-\frac{1}{2}\ln(x^2+1)+C
\end{align}$$
\(\frac{0}{0}\) 형태를 가진 삼각함수의 극한은 다음과 같은 근사를 사용하여 간단하면서도 빠르게 그 값을 계산할 수 있습니다.
\(x\rightarrow 0\) 일 때, $$\begin{aligned}\sin{x}&\approx x\\\tan{x}&\approx x\\1-\cos{x}&\approx \frac{x^2}{2}\end{aligned}$$
이 글에서는 삼각함수의 근사를 이용해 삼각함수의 극한을 계산하는 법과 주의할 점에 대해서 알아보겠습니다. 
조립제법이란 다항식을 일차식으로 나눈 몫과 나머지를 곱셈과 덧셈만을 반복하여 빠르게 구하는 방법입니다. 다항식을 일차식으로 나누면 특별한 귀납적 관계를 발견할 수 있습니다. 이 귀납적 관계를 핵심원리로 삼아 만들어진 방법이 바로 조립제법입니다. 이 글에서는 일차식의 나눗셈이 가지고 있는 귀납적 관계를 살펴보고 조립제법이 어떻게 이 원리를 사용하고 있는지 알아보겠습니다.
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}$$
이 글에서는 이 식의 간단한 증명을 소개합니다.
\(y=f(x)\)의 그래프를 \(y\)축 방향으로 \(p\)배 \((p>0)\) 확대 변환한 그래프의 방정식은 $$y=pf(x)$$
\(y=f(x)\)의 그래프를 \(x\)축 방향으로 \(\dfrac{1}{q}\)배 \((q>0)\) 확대 변환한 그래프의 방정식은 $$y=f(qx)$$
그래프의 확대 변환은 교과서에서 그 이름을 찾을 수 없는 개념이지만 많은 문제에서 사용하고 있는 개념입니다. 이 글에서는 그래프의 확대 변환의 개념과 확대 변환이 사용되는 예를 설명합니다.
점 \(\mathrm{A}(a,b)\)를 원점 \(\mathrm{O}\)를 중심으로 반시계방향으로 \(90^\circ\) (또는 \(+90^\circ\)) 회전 이동한 점 \(\mathrm{A^\prime}\)과 시계 방향으로 \(90^\circ\) (또는 \(-90^\circ\)) 회전 이동한 점 \(\mathrm{A^{\prime\prime}}\)의 좌표는 각각 다음과 같습니다. $$\begin{align}&\mathrm{A}(a,b)\xrightarrow{+90^\circ회전}\mathrm{A’}(-b,a)\\
&\mathrm{A}(a,b)\xrightarrow{-90^\circ회전}\mathrm{A^{\prime\prime}}(b,-a)\end{align}$$
이 글에서는 삼각함수×지수함수의 테이블 적분법에 대해 설명합니다. 예를 들어, $$\int \sin x\cdot e^x dx$$의 테이블 적분은 다음과 같습니다. $$\begin{array}{ccc} D && I\\
\hline
\sin x&{}&e^x\\
{}&\searrow{+}&{}\\
\cos x&{}&e^x\\
{}&\searrow{-}&{}\\
-\sin x&\bbox[yellow]{\rightarrow{+}}&e^x\\
\end{array}$$$$\int \sin x\cdot e^xdx=+(\sin x\cdot e^x)-(\cos x\cdot e^x)+\bbox[yellow]{\int(-\sin x)\cdot e^x dx}$$