嵌入不等式是什麼

嵌入不等式（Joseph Wolstenholme Inequality）是一個數學術語，由英國數學家約瑟夫·沃爾斯滕霍姆在1867年提出，屬於平面幾何中的一個不等式。

嵌入不等式的表述如下：若實數x、y、z、A、B、C及整數k滿足A+B+C=(2k+1)π，則有x2+y2+z2≥2yzcos⁡A+2zxcos⁡B+2xycos⁡C。當A、B、C不都是π的整數倍時，等號成立若且唯若存在實數λ，使得x=λsin⁡A，y=λsin⁡B，z=λsin⁡C。