射影定理

在 ΔABC 中，∠C = 90°。设 CD 在 AB 的上的高，则有：

${\displaystyle {AC}^{2}=AD\cdot AB}$ 

${\displaystyle {BC}^{2}=BD\cdot AB}$ 

在这里，AD 及 BD 分别是 AC 及 BC 在底边 AB 的正投影，故定理以此为名。

注意到 ΔABC 与 ΔACD 是相似三角形。因此可得

${\displaystyle {\frac {AB}{AC}}={\frac {AC}{AD}}}$ 

整理可得

${\displaystyle {AC}^{2}=AD\cdot AB}$ 

同理，考虑相似三角形 ΔABC 与 ΔCBD，可得

${\displaystyle {\frac {AB}{BC}}={\frac {BC}{BD}}}$ 

整理可得

${\displaystyle {BC}^{2}=BD\cdot AB}$ 

证明完毕。

直角三角形面积

在上面的 ΔABC 中，我们有：

${\displaystyle AB\cdot CD=AC\cdot BC}$ 

考虑三角形的面积，即可容易地证明。

勾股定理

勾股定理，是欧几里得所著《几何原本》第一卷当中的第 47 个命题。^[2]这个定理指出：

${\displaystyle {AB}^{2}={AC}^{2}+{BC}^{2}}$ 

勾股定理与射影定理有密切关系。事实上，在《几何原本》中，射影定理正是该证明过程的一部分。从射影定理可知：

${\displaystyle {AC}^{2}=AD\cdot AB}$ 

${\displaystyle {BC}^{2}=BD\cdot AB}$ 

将两条等式相加，则可得：

${\displaystyle {AC}^{2}+{BC}^{2}=AD\cdot AB+BD\cdot AB}$ 

由于 AD + BD = AB，因此可得：

${\displaystyle {AB}^{2}={AC}^{2}+{BC}^{2}}$ 

证明完毕。

几何平均定理

几何平均定理（英语：Geometric mean theorem），是在《几何原本》第六卷中的第 8 个命题。^[3]这个定理指出：

${\displaystyle {CD}^{2}=AD\cdot BD}$ 

也就是说，CD 是 AD 和 BD 的几何平均。

与射影定理一样，几何平均定理可从相似三角形得证。

对于 ∠C ≠ 90° 的情况，三角形边长的正投影可用余弦求得：

${\displaystyle AD=AC\cos \angle A}$ 

${\displaystyle BD=BC\cos \angle B}$ 

以上结果从余弦的定义直接可得。

把上面两式相加，即可得：

${\displaystyle AB=AC\cos \angle A+BC\cos \angle B}$ 

以上公式，又被称为“第一余弦定理”。^[4]然而，一般“余弦定理”所指的，是另一条定理（“第二余弦定理”），详见余弦定理。

三直角四面体

射影定理在三维空间上，也有相应的推广。设三直角四面体（英语：Trirectangular tetrahedron） ABCD 中，∠ADB = ∠ADC = ∠BDC = 90°。又设 D 在斜面 ΔABC 的正投影为 E。我们则有：

${\displaystyle [\triangle ADB]^{2}=[\triangle AEB]\cdot [\triangle ABC]}$ 

${\displaystyle [\triangle ADC]^{2}=[\triangle AEC]\cdot [\triangle ABC]}$ 

${\displaystyle [\triangle BDC]^{2}=[\triangle BEC]\cdot [\triangle ABC]}$ 

其中 [ΔABC] 表示 ΔABC 的面积。

把以上三条等式相加，则可得德古阿定理：

${\displaystyle [\triangle ABC]^{2}=[\triangle ADB]^{2}+[\triangle ADC]^{2}+[\triangle BDC]^{2}}$ 

德古阿定理可以视为毕氏定理在三维空间上的其中一种推广。^[5]

一般四面体

在四面体 ABCD 中，设 ΔABC 为底面。又设 D 在 ΔABC 的正投影为 E。我们则有：

${\displaystyle AE=AD\cos \alpha }$ 

${\displaystyle BE=BD\cos \beta }$ 

${\displaystyle CE=CD\cos \gamma }$ 

其中 α 、β 及 γ 分别是 AD 、BD 及 CD 与底面 ΔABC 的夹角。

另外亦有：

${\displaystyle [\triangle ABE]=[\triangle ABD]\cos \theta }$ 

${\displaystyle [\triangle ACE]=[\triangle ACD]\cos \phi }$ 

${\displaystyle [\triangle BCE]=[\triangle BCD]\cos \psi }$ 

其中 θ 、ϕ 及 ψ 分别是 ΔABD 、ΔACD 及 ΔBCD 与底面 ΔABC 的夹角。

将上面三条等式相加，可得：

${\displaystyle [\triangle ABC]=[\triangle ABD]\cos \theta +[\triangle ACD]\cos \phi +[\triangle BCD]\cos \psi }$ 

是上面提到“第一余弦定理”的三维推广。

任意图形的投影

更进一步地说，面积为 S 的任意平面图形，在底面的正投影的面积 S_proj，都可用余弦求得：

${\displaystyle S_{\mathrm {proj} }=S\cos \theta }$ 

其中 θ 是该平面图形与底面的夹角。

• 正投影
• 直角三角形
• 三直角四面体（英语：Trirectangular tetrahedron）
• 毕氏定理
• 几何平均定理（英语：Geometric mean theorem）
• 德古阿定理