杨学枝 康世焜 张石生

高维空间 柯西序列 养猪场 距离空间 声音 定理 映射不动点 扩张映象 初等方法 推广 不等式 几何不等式 塔顶 城市 四面体 养鸡场 当且仅当 集值映射 塔高 不等式证明 引理 打赌 正则单形 重心坐标 不动点定理 公共不动点