1、证明最优情况下，必定有一个雕塑没有移动。
考虑有一个雕塑没有移动的情况：
红色的圆点代表n个之前就存在的雕塑，紫色的代表添加m个之后所有的雕塑的位置。
由于整个图形是圆形，所以具有很强的对称性质：离2号和4号最近的点是对称的、离1号和5号最近的点是对称的。
现在将3号向右移动一点距离x，则3号左右的点的情况是完全相反的----若2号离他最近的点的距离增大，则4号就要减小；若1号离他最近的点的距离减小，则5号则要增大。
所以相当于所有的点距离和增大；
上面说的情况是数量n为奇数的时候，若是n为偶数，剩下最后一个不配对的点，他到离他最近的点的距离有可能增大（所有点距离和增大），有可能减小（所有点距离和不变）。
所以，综上所述，向某一个方向移动只会导致距离和的增加或者不变，肯定不会减少。
现在，假设所有点距离和最小的情况时，并没有任何一个雕塑在原来的位置。
则取距离自己最近的一个点距离最小的雕塑，移动到该点上去，过程同上面讨论的过程相反，所以最终结果只会导致距离和的减少或者不变。
移动"距离自己最近的一个点距离最小的雕塑"的原因是，由于移动的距离是所有距离的最小值，所以不会出现某一些点“穿过”雕塑的情况，只有两种情况：1、单纯的增加或者减少2、先增加或减少再减少或增加，不论怎样点对都是对称的~
2、计算
假设之前每个雕塑之间的距离为N,添加m个点之后，间距为M。
对于第k个雕塑（取没有移动的雕塑为参考点）：距离他最近的一个点的距离为：
1、x，当x<M/2时；
2、M/2-x，当想>=M/2时；
其中x为k*N%M (这里使用%不太恰当，因为N,M不为整数)
我们完全可以写一个if \else 就完事了。
当然如果非要用函数的话，可以表示成：M/2 - |x - M/2| ；
这个是根据下面的函数图构造的一个函数：
/*
* test.cpp*
* Created on: 2013-8-29
* Author: zhijian
*/
#include <stdio.h>
#define L 10000.0
int n,m;
double Fab(double a){
return a>0?a:-a;
}
void F(){
double sum = 0;
double dertan = L/n,dertam = L/(m+n);
double c = 0;
for(int i = 1;i<n;i++){
c += dertan;
while(c>dertam) c-= dertam;
sum += dertam/2 - Fab(c-dertam/2);
}
printf("%.4lf\n",sum);
}
int main(){
while(scanf("%d %d",&n,&m)==2){
F();
}
return 0;
}
