Zhenbing Zeng (Shanghai University, Department of Mathematics, Shanghai 200444, China) |
Jian Lu (Shanghai University, Department of Mathematics, Shanghai 200444, China) |
Yaochen Xu (Shanghai University, Department of Mathematics, Shanghai 200444, China) |
Yuzheng Wang (Shanghai University, Department of Mathematics, Shanghai 200444, China) |
In this paper, we prove a geometrical inequality which states that for any four points on a hemisphere with the unit radius, the largest sum of distances between the points is 4+4*sqrt(2). In our method, we have constructed a rectangular neighborhood of the local maximum point in the feasible set, which size is explicitly determined, and proved that (1): the objective function is bounded by a quadratic polynomial which takes the local maximum point as the unique critical point in the neighborhood, and (2): the rest part of the feasible set can be partitioned into a finite union of a large number of very small cubes so that on each small cube the conjecture can be verified by estimating the objective function with exact numerical computation. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.352.4 | bibtex | |
Comments and questions to: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |