第一餘弦定理,也稱為任意三角形射影定理,是關於直角三角形的射影定理。在直角三角形ABC中,如果BAC=90度,那麼有以下結論:
斜邊上的高BD是兩直角邊AB和AC在斜邊上射影的比例中項。
每一條直角邊(例如AB)是這條直角邊在斜邊上(例如BD)的射影和斜邊的比例中項。
具體公式如下:
(AD)^2 = BD * DC
(AB)^2 = BD * DC
AB * AC = BC * AD
這些公式可以通過面積的關係來證明。在直角三角形中,射影指的是正投影,即從一個線段向另一線段所作的垂直線段。第一餘弦定理是歐幾里得定理的一種表述,它描述了直角三角形中邊和角的基本關係。