直角三角形是具有 角 为 (
弧度) 的三角形。这种三角形的边
、
和
满足 勾股定理
(1)
|
其中最长边通常表示为 ,称为斜边。另外两条长度为
和
的边称为直角边,有时也称为股。
小说深夜小狗神秘事件的主人公克里斯托弗最喜欢的 A-level 数学考试题要求证明边长为 、
和
(其中
)的三角形是直角三角形,并且逆定理不成立(Haddon 2003,第 214 页和 223-226 页)。
直角三角形的边长 构成所谓的勾股数。不是直角三角形的三角形有时称为斜三角形。直角三角形的特殊情况包括等腰直角三角形(中间图)和 30-60-90 三角形(右图)。
对于直角三角形边上的任意三个相似形状的面积 ,
(2)
|
这等价于勾股定理。
(3)
|
内切圆半径可以通过将三角形 的面积与三个三角形
、
和
的面积之和相等来找到,其中内切圆半径作为高,给出
(4)
|
求解 则得到
(5)
|
这也可以写成等价形式
(6)
| |||
(7)
|
直角三角形的斜边是三角形外接圆的直径,因此外接圆半径由下式给出
(8)
|
本原直角三角形是具有整数边 、
和
且满足
的直角三角形,其中
是最大公约数。值集
随后被称为本原勾股数。
对于边长为整数的直角三角形,任何本原勾股数都可以写成
(9)
| |||
(10)
| |||
(11)
|
使用这些,方程 (6) 变为
(12)
| |||
(13)
|
当 和
为整数时,这是一个整数 (Ogilvy and Anderson 1988, p. 68)。
给定一个直角三角形 ,从直角
画高线
。那么三角形
和
相似。
在直角三角形中,斜边的中点与三个多边形顶点等距 (Dunham 1990)。可以如下证明。给定 ,令
为
的中点(使得
)。画
,那么由于
类似于
,因此得出
。由于
和
都是直角三角形且对应直角边相等,斜边也相等,因此我们有
,定理得证。
此外,三角形 的三角形中线
和 高线
是关于
的角平分线
的反射,当且仅当
是直角三角形时成立 (G. McRae, 私人通信, 2006 年 5 月 1 日)。
费马展示了如何构造任意数量的等面积非本原直角三角形。勾股数的分析表明,由三元组 生成的直角三角形具有共同的面积
(14)
|
(Beiler 1966,第 126-127 页)。此函数的唯一极值出现在 处。由于
对于
,三个非本原直角三角形共享的最小面积由
给出,这导致面积为 840,对应于三元组 (24, 70, 74)、(40, 42, 58) 和 (15, 112, 113) (Beiler 1966, p. 126)。人们还可以找到具有相同面积的四组直角三角形。具有已知最小面积的四元组是 (111, 6160, 6161)、(231, 2960, 2969)、(518, 1320, 1418)、(280, 2442, 2458),面积为
(Beiler 1966, p. 127)。Guy (1994) 提供了更多信息。
还可以找到具有相同周长的三组和四组直角三角形 (Beiler 1966, pp. 131-132)。
在给定的直角三角形中,可以构造一个无限的交替位于斜边和最长直角边上的正方形序列,如上图所示。这些创建了一个越来越小的相似直角三角形序列。设原始三角形的直角边长度为 和
,斜边长度为
。另定义
(15)
| |||
(16)
|
那么第 个正方形的边长为
(17)
|
将左上角的三角形编号为 1,然后通过沿着相邻顶点的“条带”三角形对其余部分进行编号。那么这些三角形的边长为
(18)
| |||
(19)
| |||
(20)
|
相应三角形的内切圆半径可以从下式找到
(21)
|
给出
(22)
|
来自宫城县 1913 年的算额问题询问了第一、第三和第五个内切圆半径之间的关系 (Rothman 1998)。这可以使用基本的三角学以及上面给出的显式方程来解决,并且具有解
(23)
|