一道很有意思的概率题

雨中漫步

概率论

在平面上取一格点$P$，求取到的$P$点满足：连接原点$O$和$P$的线段$OP$上没有其他格点的概率

解：

答案：$\frac{6}{{\pi }^2}$

分析：首先我们要明确什么情况下$OP$线段没有格点比如处于$(3,1)$的点$P$没有格点，而处直线$OP$上的$Q$点要不满足$OQ$上没有格点的情况，那么$Q$表示为$(3n,n)$，即：

满足条件的$P(m,n)$必然满足$m,n$互质。下面通过两种方法求出概率值：

法一：

我们设$a,b$最大公约数为$k$的概率为$P(k)$，对整数$k$来说，$a$是$k$的倍数的概率为$\frac{1}{k}$，$b$是$k$的倍数的概率也为$\frac{1}{k}$，设两整数互质的概率为$P_0$
易知：
$$P(k)=\frac{1}{k}\frac{1}{k}{P}_0$$
所有的数都有最大公约数,所以：$$\sum _{k=1}^{\infty }\frac{1}{k^2}{P}_0=1$$
所以：
$$P_0=\frac{1}{\sum _{k=1}^{\infty }\frac{1}{k^2}}=\frac{6}{{\pi }^2}$$

法二：

考虑第一象限，将质数从小到大排列为$k_1,k_2,k_3...k_n...$那么
$m,n$被质数$k_i$整除的概为：$\frac{1}{k_i}$。因此$m,n$互质（即没有任何质数为公因数）的概率为$1-\frac{1}{{k_i}^2}$
$$\begin{gathered} \prod _{i=1}^{\infty }\left(1-\frac{1}{k_i^2}\right) \\ =\frac{1}{\prod _{i=1}^{\infty }\left(1+\frac{1}{p_i^2}+\frac{1}{p_i^4}+\frac{1}{p_i^6}...\right)} \\ =\frac{1}{\left(1+\frac{1}{2^2}+\frac{1}{2^4}...\right)\left(1+\frac{1}{3^2}+\frac{1}{3^4}...\right)\left(1+\frac{1}{5^2}+\frac{1}{5^4}...\right)...} \\ =\frac{1}{1+\frac{1}{2^2}+\frac{1}{3^2}+\frac{1}{2^4}+\frac{1}{5^2}+\frac{1}{2^2\cdot 3^2}+...} \\ =\frac{1}{\sum _{n=1}^{\infty }\frac{1}{n^2}} \\ =\frac{6}{{\pi }^2} \end{gathered}$$
完毕
至于$\sum _{k=1}^{\infty }\frac{1}{k^2}=\frac{{\pi }^2}{6}$
为什么有这个恒等式，可以将$y=|x|$傅里叶展开或者$y=x^2$傅氏展开，或者利用weierstrass分解甚至二重积分等等都可以证明。