【题解】CF476C Dreamoon and Sums

结论

答案为 $(a+b\sum _{k=1}^{a}k)\times \sum _{r=1}^{b-1}r$
还是建议自己手推一遍。过程见下。

题意

对于给定的 $a$ 和 $b$，数 $x$ 能成为“好数”的条件：

记 $q=\lfloor \frac{x}{b}\rfloor$，$r=x\mathrm{mod}b$，分别代表 $x$ 除以 $b$ 的商和余数。

• $r\ne 0$
• $q=kr$，$k$ 为整数。
• $1\le \frac{q}{r}\le a$

求所有好数的和。

推导

由条件的第二条可知，$q=kr$，$k$ 为整数。

由带余除法的定义得：
$$x=qb+r=krb+r=(kb+1)r$$

将 $q=kr$ 代入条件三得：$1\le k\le a$，且根据余数的定义得 $1\le r$ $<b$。

有了范围，可以统计范围内的答案了。

记 $sum$ 为所有满足条件的 $x$ 的和。则：

$$sum=\sum \left[(kb+1)r\right]$$

$$=\sum _{k=1}^a(kb+1)\times \sum _{r=1}^{b-1}r$$

$$=(a+\sum _{k=1}^{a}kb)\times \sum _{r=1}^{b-1}r$$

$$=(a+b\sum _{k=1}^{a}k)\times \sum _{r=1}^{b-1}r$$

推到这样为止，剩下的就不难了。

代码

#include<bits/stdc++.h>
using namespace std;
const long long mod=1e9+7;
long long a,b;
signed main()
{
	scanf("%lld%lld",&a,&b);
	long long sigma1=a*(a+1)/2%mod;
	long long sigma2=b*(b-1)/2%mod;
	long long ans=(sigma1*b%mod+a)%mod*sigma2%mod;
	printf("%lld\n",ans);
	return 0;
}