Tech Blog

勉強したことをまとめます。

2つの自然数が互いに素である確率

はじめに

 Youtubeで面白い数学の問題が紹介されていたのでまとめておく。

問題

 問題文は以下の通り。

任意の2つの自然数が互いに素である確率を求めよ。

解答

 ある自然数を考えたとき、それがnの倍数である確率は1/nである。いま、2つの自然数A, Bを取り出したとき、それらが同時にnの倍数にならない確率P_n

{\displaystyle
\begin{equation}
P_n=1-\dfrac{1}{n^2}
\end{equation}
}


となる。これを用いると、A, Bが互いに素になる確率P

{\displaystyle
\begin{equation}
P=P_2 P_3 P_5 P_7 \cdots=\prod_{p:{\rm prime}}P_p\tag{1}
\end{equation}
}


と書くことができる。ここで、p素数である。式(1)の計算をさらに進める。

{\displaystyle
\begin{eqnarray}
P
&=&
\prod_{p:{\rm prime}}P_p\\
&=&
\dfrac{1}{\prod_{p:{\rm prime}}\left(\dfrac{1}{P_p}\right)}\tag{2}\\
\end{eqnarray}
}


を得る。この分母を考える。

{\displaystyle
\begin{eqnarray}
\prod_{p:{\rm prime}}\left(\dfrac{1}{P_p}\right)
&=&
\prod_{p:{\rm prime}}\left(\dfrac{1}{1-\dfrac{1}{p^2}}\right)\\
&=&
\left(\dfrac{1}{1-\dfrac{1}{2^2}}\right)\left(\dfrac{1}{1-\dfrac{1}{3^2}}\right)\left(\dfrac{1}{1-\dfrac{1}{5^2}}\right)\cdots\tag{3}\\
&=&
1+\dfrac{1}{2^2}+\dfrac{1}{3^2}+\dfrac{1}{4^2}+\dfrac{1}{5^2}+\cdots\tag{4}\\
&=&
\dfrac{\pi^2}{6}\tag{5}
\end{eqnarray}
}


式(3)から式(4)への変形にゼータ関数オイラー積表示を用いた。また、式(4)から式(5)への変形はバーゼル問題と呼ばれる計算である。この結果を式(2)へ代入して

{\displaystyle
\begin{equation}
P=\dfrac{6}{\pi^2}
\end{equation}
}


を得る。

まとめ

 問題文はシンプルであるが、その解答には

が現れるとても興味深い問題である。

参考動画

2つの自然数が互いに素である確率