CF396B On Sum of Fractions 题解

题目大意：

定义 $v(n)$ 为不大于 $n$ 的最大素数，$u(n)$ 为大于 $n$ 的最小素数。

求 :

$$\sum _{i=2}^n\frac{1}{u(n)v(n)}$$

的值。

题解：

这个式子看起来很难直接做，于是我们可以试着在 $n$ 较小的情况下把它拆开找一找规律。

当 $n=11$ 时，原式为：

$$\frac{1}{2\times 3}+\frac{1}{3\times 5}+\frac{1}{3\times 5}+\frac{1}{5\times 7}+\frac{1}{5\times 7}+\frac{1}{7\times 11}+\frac{1}{7\times 11}+\frac{1}{7\times 11}+\frac{1}{7\times 11}+\frac{1}{11\times 13}$$

我们会发现，有些分式是重复的，所以，我们可以化简为：

$$\frac{1}{2\times 3}+\frac{2}{3\times 5}+\frac{2}{5\times 7}+\frac{4}{7\times 11}+\frac{1}{11\times 13}$$

然后，我们观察分式的分子和分母，可以发现，原式又为：

$$\frac{3-2}{2\times 3}+\frac{5-3}{3\times 5}+\frac{7-5}{5\times 7}+\frac{11-7}{7\times 11}+\frac{1}{11\times 13}$$

这个式子的前 $4$ 项可以用小学的裂项芝士进行裂项，所以原式又可以化简为：

$$\frac{1}{2}-\frac{1}{11}+\frac{1}{11\times 13}$$

考虑其更一般的形式，我们会发现，只有最后的一项不能完全的裂完，所以要分开考虑，故

$$\sum _{i=2}^n\frac{1}{u(n)v(n)}=\frac{1}{2}-\frac{1}{u(n)}+\sum _{i=u(n)}^n\frac{1}{u(i)v(i)}$$

考虑如何解决最后一项，我们可以发现，最后一项拆开来后的每个分式的分母都是一样的，故：

$$\sum _{i=u(n)}^n\frac{1}{u(i)v(i)}=\frac{n-u(n)+1}{u(n)v(n)}$$

所以：

$$\sum _{i=2}^n\frac{1}{u(n)v(n)}=\frac{1}{2}-\frac{1}{u(n)}+\frac{n-u(n)+1}{u(n)v(n)}=\frac{u(n)v(n)-2\times u(n)-2\times v(n)+2\times n+2}{2\times u(n)v(n)}$$

由于素数的分布比较密集，所以可以暴力得到 $u(n)$ 和 $v(n)$，最后约分输出答案即可。

一些粗略的证明：

Q：为什么对于任意的 $n$，拆开后除了分母为 $u(n)v(n)$ 的项，都可以组合成分数裂项的形式？

A：考虑分母为 $u(i)v(i)$ 的分式，因为 $u(i)$ 是大于 $i$ 的最小素数，并且 $v(i)$ 是不大于 $i$ 的最大素数，故分子必须不小于 $v(i)$ 且小于 $u(i)$，故除了最后的边界意外，每个分母为 $u(i)v(i)$ 的分式，都有 $u(i)-v(i)$ 个。

Code:

#include<bits/stdc++.h>
using namespace std;
bool prime(int n) { //暴力判断素数
	if(n == 1) return false;
	for(int i = 2; i * i <= n; ++i) {
		if(n % i == 0) return false;
	}
	return true;
}
int T;
int main() {
	cin >> T;
	while(T --) {
		long long n, v, u; //注意long long
		cin >> n;
		u = n + 1;
		v = n;
		while(!prime(v)) u ++; //u(n)
		while(!prime(u)) v --; //v(n)
		long long fz = v * u - 2 * u  + 2 * n - 2 * v + 2, fm = 2 * u * v; //计算分子和分母
		long long g = __gcd(fz, fm);
		fz /= g; fm /= g; //约分
		cout << fz << '/' << fm << endl;
	} 
	return 0;
}