定理定义
在△ABC中，设∠A，∠B，∠C的对边分别为a，b，c，则有
a=bcosC+ccosB
b=ccosA+acosC
c=acosB+bcosA
这三个式子叫做射影定理。
验证推导
①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²
BC²=AD·BD+BD²
BC²=(AD+BD)·BD
BC²=AB·BD
∴BC²=AB·BD
④
定理推广
欧几里得提出的面积射影定理projective theorem规定“平面图形射影面积等于被射影图形的面积乘以该图形所在平面与射影面所夹角的余弦。(即射影/原）。”
面积射影定理
(平面多边形及其射影的面积分别是和,它们所在平面所成的二面角为)
证明思路
因为射影就是将原图形的长度（三角形中称高）缩放，所以宽度是不变的，又因为平面多边形的面积比=边长的乘积比。所以就是图形的长度（三角形中称高）的比。
那么这个比值应该是平面所成角的余弦值。在两平面中作一直角三角形，并使斜边和一直角边垂直于棱（即原多边形图的平面和射影平面的交线），则三角形的斜边和另一直角边就是其多边形的长度比，即为平面多边形的面积比。将此比值放到该平面中的三角形中去运算即可得证。
提出者简介
欧几里得（希腊文：Ευκλειδης ，公元前325年—公元前265年），古希腊数学家，被称为“几何之父”。他活跃于托勒密一世（公元前323年－公元前283年）时期的亚历山大里亚。
他最著名的著作《几何原本》是欧洲数学的基础，总结了平面几何五大公设，被广泛的认为是历史上最成功的教科书。欧几里得也写了一些关于透视、圆锥曲线、球面几何学及数论的作品。
