在凸优化里面看到 pointed cone 这个概念，翻译为尖锥。若 K K K 为一个尖锥，则 if  x ∈ K , and  − x ∈ K ⇒ x = 0 ⃗ \text{if } x\in K \text{, and } -x\in K\Rightarrow x=\vec{0} if x∈K, and −x∈K⇒x=0 几何意义上：非尖锥中存在一条无限长的直线在锥中。 下面两个