出，若"A"、"B"、"C"是一个三角形的三个内角，则对任意实数 x、y、z，有：首先发现此不等式的是英国数学家。他在1867年出版的《数学问题集》一书中对嵌入不等式做出介绍。
证明.注意到不等式：formula_2 对所有的实数x、y、z以及任意角"A"、"B"、"C"成立，将其左侧展开，就得到：由于"A"、"B"、"C"是三角形内角，formula_6，因此上式等价于从证明中可推出，不等式中等号成立当且仅当formula_8和formula_9同时成立。也就是说，要么f