Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It only takes a minute to sign up.
Sign up to join this community
I know that $\zeta(n) = \displaystyle\sum_{k=1}^\infty \frac{1}{k^n}$ (Where $\zeta(n)$ is the Riemann zeta function)
But the reciprocal of $\zeta(n)$ for $n$ a positive integer is equal to the probability that $n$ numbers chossen at random are relatively prime. But why? Can you give a proof?
Here is a very rough sketch of the idea :
We have the following : $$ \zeta(n) = \sum_{k \ge 1} \frac 1{k^n} = \sum_{k \ge 1} \prod_{p^{k_p} || k} \frac 1{(p^n)^{k_p} } = \prod_{p} \sum_{k \ge 0} \left( \frac 1{p^n} \right)^k = \prod_{p} \frac 1{1-\frac 1{p^n}}. $$ (You need to work out the details for all the convergence issues and these are treated in pretty much all good elementary number theory books.)
Now if we choose $k_1, \dots, k_n$ integers independently and uniformly over the interval $[1,x]$, one roughly expects that $p | k_i$ with probability $1/p$. The fact that $(k_1,\dots,k_n) = 1$ means that there is no prime which divides all those integers at once. $p$ divides $k_1, \dots, k_n$ with probability $1/p^n$ assuming independence, hence the probability we are looking for is roughly $$ \prod_{p \le x} \left( 1 - \frac 1{p^n} \right) \underset{x \to \infty}{\longrightarrow} \prod_p \left( 1 - \frac 1{p^n} \right) = \frac 1{\zeta(n)}. $$ You probably need to understand better what happens when $p$ is relatively large compared to $x$ to work out the error terms, but the basic ideas are all here.
Hope that helps,
Here's a very simple heuristic that gives some motivation for why $\zeta(k)$ appears. Fix a $k$ and let $P$ be the limiting probability that a tuple in $[1,x]^k$ is relatively prime. Then, when $x$ is large, about $P x^k$ of the tuples in $[1,x]^k$ have gcd equal to $1$. How many have gcd equal to $2$? Well, after dividing through by 2 we get a relatively prime tuple, but it lives in $[1,\frac{x}2]^k$. Well, $\frac{x}2$ is still pretty large so we should have about $P (\frac{x}2)^k$ of those. Likewise, about $P(\frac{x}3)^k$ tuples should have a gcd of $3$, and in general we'd predict $P(\frac{x}{d})^k$ tuples having gcd $d$.
Now, there are $x^k$ tuples in $[1,x]^k$ and each has a unique gcd $d$, and so by sorting tuples according to the value of $d$ we get the approximate equality:
$$x^k \approx Px^k + P(\frac{x}2)^k + P(\frac{x}3)^k + \cdots = Px^k \big( 1 + \frac1{2^k} + \frac1{3^k} + \frac1{4^k} + \cdots \big),$$
and there's your $\zeta(k)$: we get $P\zeta(k) \approx 1$, so that $P \approx 1/\zeta(k)$.
[Caveat: the reason this is only a heuristic is that as we start to take $d$ larger the box $[1,x/d]^k$ is getting smaller, making this approximation less accurate. But at the same time its contribution to the sum is getting smaller than smaller, which mitigates the loss of accuracy. These are not insurmountable problems but they are created to some extent by the fact that this is only a limiting probability and not a true probability as pointed out in the comments.]
