射影定理

在△ABC中，设∠A，∠B，∠C的对边分别为a，b，c，则有

这三个式子叫做射影定理。

①CD²=AD·BD;

②AC²=AD·AB;

③BC²=BD·AB;

④AC·BC=AB·CD

证明：①∵CD²+AD²=AC²,CD²+BD²=BC²

∴2CD²+AD²+BD²=AC²+BC²

∴2CD²=AB²-AD²-BD²

∴2CD²=(AD+BD)²-AD²-BD²

∴2CD²=AD²+2AD·BD+BD²-AD²-BD²

∴2CD²=2AD·BD

∴CD²=AD·BD

②∵CD²=AD·BD(已证)

∴CD²+AD²=AD·BD+AD²

∴AC²=AD·(BD+AD)

∴AC²=AD·AB

③BC²=CD²+BD²

²=AD·BD+BD²

²=(AD+BD)·BD

²=AB·BD

∴BC²=AB·BD

④∵S△ACB=1/2AC×BC=1/2AB·CD

∴1/2AC·BC=1/2AB·CD

∴AC·BC=AB·CD

射影定理的推广证明欧几里得提出的面积射影定理projective theorem规定“平面图形射影面积等于被射影图形的面积乘以该图形所在平面与射影面所夹角的余弦。(即COSθ=S射影/S原）。”

(平面多边形及其射影的面积分别是和,它们所在平面所成的二面角为)

正射影二面角的欧几里得射影面积公式因为射影就是将原图形的长度（三角形中称高）缩放，所以宽度是不变的，又因为平面多边形的面积比=边长的乘积比。所以就是图形的长度（三角形中称高）的比。

那么这个比值应该是平面所成角的余弦值。在两平面中作一直角三角形，并使斜边和一直角边垂直于棱（即原多边形图的平面和射影平面的交线），则三角形的斜边和另一直角边就是其多边形的长度比，即为平面多边形的面积比。将此比值放到该平面中的三角形中去运算即可得证。

直角三角形中的射影定理欧几里得（希腊文：Ευκλειδης ，公元前325年—公元前265年），古希腊数学家，被称为“几何之父”。他活跃于托勒密一世（公元前323年－公元前283年）时期的亚历山大里亚。

他最著名的著作《几何原本》是欧洲数学的基础，总结了平面几何五大公设，被广泛的认为是历史上最成功的教科书。欧几里得也写了一些关于透视、圆锥曲线、球面几何学及数论的作品。