三角形是一个三边的多边形,有时(但不常见)称为三边形。每个三角形都有三条边和三个角,其中一些角可能相同。在直角三角形的情况下,三角形的边被赋予特殊的名称,与直角相对的边称为斜边,另外两条边称为直角边。所有三角形都是凸的并且是双中心的。三角形包围的平面部分称为三角形内部,而其余部分是外部。
对三角形的研究有时被称为三角形几何学,它是几何学中一个内容丰富的领域,充满了美妙的成果和意想不到的联系。1816 年,在研究三角形的布罗卡点时,克雷勒惊呼:“如此简单的图形,三角形的性质竟然如此丰富,真是太神奇了。其他图形可能还有多少未知的性质呢?”(Wells 1991,第 21 页)。
通常以逆时针顺序将三角形的顶点标记为,
,
(或
,
,
)。然后,顶点角使用与顶点本身相同的符号表示。符号
,
,
(或
,
,
)有时也被使用(例如,Johnson 1929),但这种约定会导致与三线性坐标
的常用表示法产生不必要的混淆,因此不建议使用。与角
,
和
(或
,
,
)相对的边分别标记为
,
,
(或
,
,
),这些符号也表示边的长度(正如顶点处的符号表示顶点本身以及顶点角,取决于上下文)。
如果三角形的三个角都是锐角,则该三角形称为锐角三角形;如果三角形有一个钝角,则该三角形称为钝角三角形;如果三角形有一个直角,则该三角形称为直角三角形。所有边都相等的三角形称为等边三角形,两条边相等的三角形称为等腰三角形,所有边长度都不同的三角形称为不等边三角形。一个三角形可以同时是直角三角形和等腰三角形,在这种情况下,它被称为等腰直角三角形。
(1)
| |||
(2)
|
三角形的面积可以使用海伦公式计算
(3)
|
半周长的定义导致了以下定义
(4)
| |||
(5)
| |||
(6)
| |||
(7)
| |||
(8)
| |||
(9)
| |||
(10)
| |||
(11)
| |||
(12)
|
其中 是内切圆半径。 康威三角形表示法
,
,
和
也存在类似的关系。
三角形的角度之和为 弧度(至少在欧几里得几何中;这个陈述在非欧几里得几何中不成立)。可以通过以下方式建立。令
(
与
平行),在上面的图中,角
和
满足
和
,如所示。添加
,得出
(13)
|
因为线段的角度之和必须等于两个直角。因此,三角形的角度之和也为 。
如果在三角形的一边上绘制一条平行线,使其与另外两条边相交,则它会按比例分割它们,即
(14)
|
(Jurgensen 1963,第 251 页)。换句话说,与三角形的一边平行的直线切割另外两条边会创建一个与第一个三角形相似的三角形。
三角形的允许边长 、
和
由以下不等式组给出:
、
、
、
、
、
,这是所谓的三角形不等式的概括。三角形的角和边也满足一系列其他的精妙的三角形不等式。
指定两个角 和
以及一条边
可以唯一确定一个三角形,其面积为
(15)
| |||
(16)
|
(AAS定理)。指定一个角 ,一条边
,和一个角
可以唯一确定一个三角形,其面积为
(17)
|
(ASA定理)。给定一个三角形,两条边分别为 (较小边)和
(较大边),已知一个角
是锐角且与边
相对。如果
,则存在两个可能的三角形。如果
,则存在一个可能的三角形。如果
,则不存在可能的三角形。这就是ASS定理。设
为底边长度,
为高,则
(18)
| |||
(19)
|
(SAS定理)。最后,如果指定了所有三条边,则可以确定一个唯一的三角形,其面积由海伦公式或
(20)
|
给出
在三角形几何中,通常使用相对于给定所谓的参考三角形的每条边的距离定义的三元坐标非常方便。这种坐标的一种形式被称为三线性坐标 ,所有坐标都具有相同符号对应于三角形内部,一个坐标为零对应于边上的点,两个坐标为零对应于顶点,具有不同符号的坐标对应于三角形外部。
三角形的直尺和圆规作图可以按如下方式完成。在上图中,取 作为半径,并画出
。然后平分
,并构造
。延长
到
,得到等边三角形
。另一种作图方法是画一个以点
为中心,半径为
的圆。在圆的圆周上选择一个点
,并画另一个以
为中心,半径为
的圆。这两个圆在两个点
和
相交,
是直线
与第一个圆相交的第二个点。
在《几何原本》的命题 IV.4 中,欧几里得展示了如何通过找到角平分线的交点,即内心 ,在给定三角形中内接一个圆(内切圆)。在命题 IV.5 中,他展示了如何通过找到垂直平分线的交点,即外心
,在给定三角形上外切一个圆(外接圆)。与具有
条边的普通多边形不同,三角形总是同时具有外接圆和内切圆。这样的多边形称为双心多边形。
(21)
| |||
(22)
|
可以通过选择顶点 (0, 0)、 和
,然后求解以下方程组,构造一个边长为
、
和
的三角形:
(23)
| |||
(24)
| |||
(25)
| |||
(26)
|
同时得到
(27)
|
(28)
|
以及
(29)
|
其中 是面积(Johnson 1929, p. 11,添加了缺失的平方符号)。后者给出了漂亮的恒等式
(30)
|
此外,
(31)
|
(32)
|
(F.J. n.d., p. 206; Borchardt and Perrott 1930)并且
(33)
|
(Siddons and Hughes 1929),并且
(34)
|
其他公式包括
(35)
| |||
(36)
| |||
(37)
|
并且
对于偶数 (Weisstein, 2003 年 1 月 31 日和 2004 年 3 月 3 日)。
(38)
| |||
(39)
| |||
(40)
|
三角形中半角的三角函数可以用三角形的边来表示为
其中 是半周长。
以恒定比例分割三角形的边,然后绘制平行于相邻边并穿过这些点的直线,会得到线段,这些线段会相交并且与其中一条中线相交于三个点。如果
,则边平行线的延伸线会与中线的延伸线相交。
中线平分三角形的面积,边平行线在比例为时也会平分三角形面积。平分三角形面积的直线的包络线形成三个双曲线弧。然而,对于将三角形面积划分为恒定但不相等比例的直线,包络线会更加复杂(Dunn and Petty 1972,Ball 1980,Wells 1991)。
有四个圆与三角形的边相切,一个内切(内切圆),其余为外切(外切圆)。它们的中心是三角形角平分线的交点。
任何三角形都可以定位成使得它在正交投影下的阴影是等边三角形。