CF1301 C. Ayoub's function

让包含1的最多相当于让 只有0的区间最少。

用m个1分隔n-m个0。很显然，0越平均的分割越少/

搞搞就行

#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
#define ls (o<<1)
#define rs (o<<1|1)
#define pb push_back
//#define a(i,j) a[(i)*(m+2)+(j)]  //m是矩阵的列数
const int M = 1e5+7;
/*
int head[M],cnt;
void init(){cnt=0,memset(head,0,sizeof(head));}
struct EDGE{int to,nxt,val;}ee[M*2];
void add(int x,int y,int z){ee[++cnt].nxt=head[x],ee[cnt].to=y,ee[cnt].val=z,head[x]=cnt;}
*/

ll cal(ll x)
{
	return (x+1)*x/2;
}
int main()
{
	ios::sync_with_stdio(false);
  	cin.tie(0);
  	int t;
	  cin>>t;
	while(t--)
	{
		ll n,m,N;
		cin>>n>>m;N=n;
		n-=m;
		ll nm=n/(m+1);
		ll z=n%(m+1);
		ll ans=0;
	//	cout<<z<<"  "<<nm<<endl;
		for(int i=1;i<=z;i++)
		ans+=cal(nm+1);
		for(int i=z+1;i<=m+1;i++)
		ans+=cal(nm);
		//cout<<" -----"<<i<<endl;;
		cout<<(N+1)*N/2-ans<<endl;
	 } 
	return 0;
}