刚刚证明了负曲率空间下的Cartan-Hadamard猜想

“周界长度相等的封闭几何形状之中,以圆形的面积最大”