直角三角形射影定理(又叫欧几里德(Euclid)定理):直角三角形中,斜边上的高是两直角边在斜边上射影的比例中项。每一条直角边是这条直角边在斜边上的射影和斜边的比例中项。公式Rt△ABC中,∠BAC=90°,AD是斜边BC上的高,则有射影定理如下: 1.AD2=BD⋅DC2.AB2=BD⋅BC3.AC2=CD⋅BC4.AB⋅AC=BC⋅AD
在△BAD与△BCD中,∵∠BDA=∠BDC=90°,且∠DBC+∠C=90°, ∴∠A=∠C,又∵∠BDA=∠BDC=90,∴△BAD∽△CBD,∴ AD/BD=BD/CD,即BD2=AD·DC.其余同理可得可证.
任意三角形射影定理又称“第一余弦定理”:△ABC的三边是a、b、c,它们所对的角分别是A、B、C,则有 a=b⋅cosC+c⋅cosBb=c⋅cosA+a⋅cosCc=a⋅cosB+b⋅cosA 由三角形的边角关系可以容易证明该定理
将任意三角形射影定理的三条公式作如下处理: {a2=ab⋅cosC+ac⋅cosBb2=bc⋅cosA+ab⋅cosCc2=ac⋅cosB+bc⋅cosA 从上述三条等式中任取两条相加然后减去第三条等式: {a2+b2−c2=2ab⋅cosCb2+c2−a2=2bc⋅cosAc2+a2−b2=2ac⋅cosB 进一步处理,即可得到任意三角形余弦定理。
平面图形射影面积等于被射影图形的面积S乘以该图形所在平面与射影面所夹角的余弦。
cosθ=S射影/S原(平面多边形及其射影的面积分别是S原,S射影,它们所在平面所成锐二面角的为θ。)