三角形内角的嵌入不等式是平面几何中的一个不等式。在不至于引起歧义的情况下简称嵌入不等式。该不等式指出，若A、B、C是一个三角形的三个内角，则对任意实数 x、y、z，有： x 2 + y 2 + z 2 ⩾ 2 x y cos ⁡ C + 2 y z cos ⁡ A + 2 z x cos ⁡ B ....

以下列出著名的不等式： 伯努利不等式 切比雪夫总和不等式 克拉克森不等式 格罗滕迪克不等式 闵可夫斯基不等式 排序不等式 杨氏不等式 舒尔不等式 柯西不等式 內斯比特不等式 平均数不等式 算术-几何平均值不等式 樊畿不等式 牛顿不等式 马勒不等式 线性矩阵不等式 阿贝尔不等式 三角不等式 佩多不等式 埃尔德什-莫德尔不等式...

的内在属性，也就是它不依赖于曲面的特定嵌入；直观的讲，这意味着活在曲面上的蚂蚁可以确定高斯曲率。例如，生活在球面上的蚂蚁能够测量三角形的内角和，发现它大于180度，表明这个曲面是正曲率的。而生活在圆柱面上的蚂蚁则不会发现对欧氏几何的任何背离。 形式地说，高斯曲率只依赖于曲面的...

的假设，包括平行假设。在球面三角学中，角是在大圆之间定义的。球面三角学在许多方面与普通的三角学不同。例如，球形三角形的内角之和总是超过180度。而且，任何两个相似的球面三角形都是全等的。 在David Hilbert和Stephan Cohn-Vossen的著作《几何与想象》...

的任何运算符优先级。标准基本库提供了如下内建中缀规定： infix 7 * / div mod infix 6 + - ^ infixr 5 :: @ infix 4 = <> > >= < <= infix 3 := o infix 0 before 算符=和<>分别被定义为多态的等式和不等式。=它确定两个值是否相等，有着类型''a...