作者：刘宇
　　【摘要】本文针对已知三棱锥的交于同一顶点的三条棱的长度及其相互夹角大小的情况，对三棱锥进行了综合探究，探究出了该条件下三棱锥的体积式，并将其用于证明了奔驰定理在空间中的类推式。在此基础上，本文引出了一种求物体高度与线面角的方法，并探究出了该已知条件下三棱锥的内接球半径式与外接球半径式。
　　【关键词】三棱锥 体积式 奔驰定理 内接球半径式 外接球半径式
　　【中图分类号】G633.6 【文献标识码】A 【文章编号】2095-3089（2018）07-0142-03
　　引言
　　在许多问题的解决中，人们有时需要求出非特殊三棱锥的体积、外接球半径或内接球半径。而在实际生活中，人们往往难以用简单的测量工具精确地测量出其高度（特别是在该三棱锥的顶点与其到底面的射影间有三棱锥自身的遮挡时）进而计算得出其体积。而且，目前公众视野中的用长度与角度表示的三棱锥的外接球半径与内接球半径的通式还相对难寻，以至人们有时在求非特殊三棱锥的内接球半徑或外接球半径时感到不那么容易。而本文通过对一般三棱锥进行的综合探究，得到了在已知三棱锥的交于同一顶点的三条棱的长及其相互夹角的情况下该三棱锥的体积式、内接球半径式以及外接球半径式，我们仅需使用量角器与足够长的米尺测量出相应的量，即可得出线面角、物体高度、三棱锥体积、其内接球半径与其外接球半径的较为精确的值。
　　笔者最初的目的仅是想运用证明奔驰定理的类似方法证明其在空间中的类推式，而用上述条件表示的三棱锥体积式是笔者为了让证明顺利进行才探究出来的，故笔者将三棱锥体积式的探究与奔驰定理在空间中的类推式放在同一个板块论述。
　　1.体积式及其应用
　　1.1体积式的求得
　　如图1（仅表示点在三棱锥中的分布位置，不表示三棱锥的具体形状），在任意形状的三棱锥O-ABC中，测得：|OA|=a，|OB|=b，|OC|=c，∠AOB=x，∠BOC=y，∠AOC=z 。设二面角A-OB-C为θ（θ未知）则三棱锥的体积VO-ABC满足关系式：
　　VO-ABC= abcsinxsinysinθ （1.1-1）
　　由三面角第一余弦定理：cosz=cosxcosy+sinxsinycosθ（1.1-2）
　　而由θ，x，y∈（0，π）知sinθ>0，sinx>0，siny>0 知：
　　sinθ= = （1.1-3）
　　代（1.1-3）入（1.1-1）即得到：
　　VO-ABC= （1.1-4）
　　1.2奔驰定理的空间类推式的证明
　　如图2（仅表示点在三棱锥中的分布位置，不表示三棱锥的具体形状），已知：O为任意形状的三棱锥D-ABC内的任意一点。
　　猜想：VO-BCD· +VO-ACD· +VO-ABD· +VO-ABC· =0
　　证明：设∠AOB=x，∠BOC=y，∠COA=z，∠DOA=θ，∠DOB=β，∠DOC=γ
　　另设一辅助三棱锥D'-A'B'C'如图3，使∠A'O'B'=x，∠B'O'C'=y，∠C'O'A'=z，∠D'O'A'=θ，∠D'O'B'=β，∠D'O'C'=γ，
　　A'O'= ；
　　B'O'= ；
　　C'O'= ；
　　D'O'= ；
　　则：
　　∵由（1.1-4）知：
　　A'O'·B'O'·C'O'·D'O'=VO'-A'B'C'=VO'-B'C'D=VO'-C'D'A=VO'-D'A'B
　　∴O'为三棱锥D'-A'B'C'重心
　　∴ + + + =0 （1.2-1）
　　令 与 同向，由∠DOA=θ=∠D'O'A'知此基础上还可令 与 同向，此后由∠DOB=β=∠D'O'B'；∠DOC=γ=∠D'O'C'知 与 同向， 与 同向
　　∴（1.2-1）变为：A'O'· +B'O'· +C'O'· +D'O'· =0（1.2-2）
　　∴代数据入（1.2-2）并化简得：
　　·OB·OC·OD·
　　+ ·OA·OC·OD·
　　+ ·OA·OB·OD·
　　+ ·OA·OB·OC· =0 （1.2-3）
　　而代相应的数据入（1.1-4），得到：
　　VO-BCD=BO·CO·DO· （1.2-4）
　　VO-ACD=AO·CO·DO· （1.2-5）
　　VO-ABD=AO·BO·DO· （1.2-6）
　　VO-ABC=AO·BO·CO· （1.2-7）
　　代（1.2-4）（1.2-5）（1.2-6）（1.2-7）入（1.2-3）得：
　　VO-BCD· +VO-ACD· +VO-ABD· +VO-ABC· =0
　　1.3间接测量物体高度与线面角
　　如图4，物体（未画出）的最高点为C底面OAB的摄影为D，该物体的高大小即为|CD|。任取参考平面OAB中不重合的三点O、A、B，测量出角AOB为x，角BOC为y，角COA为z，|OC|的长为c。设|OA|=a，|OB|=b，则：
　　VO-ABC= CD·SOAB= CD·absinx （1.3-1）
　　联立（1.1-4）（1.3-1）得：
　　CD= （1.3-2）
　　而设直线OC与底面OAB的夹角为θ，则由（1.3-2）知无需测量出|OC|大小即
　　可得到OC与平面OAB的线面角为：
　　θ=sin-1 =sin-1
　　2.内接球半径式
　　2.1仅用边长表示的三角形面积式