任意四面体的外接球的半径(克列尔(A.L.Crelle)公式)

【问题提出】克列尔(A.L.Crelle)公式

对任意四面体$ABCD$，其体积$V$和外接球半径$R$满足

$$6RV=\sqrt{p(p-aa_1)(p-bb_1)(p-cc_1)}.$$

其中$p=\frac 12(aa_1+bb_1+cc_1)$，$a,a_1,b,b_1,c,c_1$分别为四面体的三组对棱的长.

 

允许我先跑个题且在正文里介绍下近代欧氏几何学中的布洛卡点. 克列尔(1780-1855)法国数学家和数学教育家，布洛卡点早在1816年就被克列尔首次发现，1875年被法国军官布洛卡(Brocard)重新发现此特殊点并用他的名字命名，这才引起莱莫恩，图克等一大批数学家兴趣，一时形成了一股研究“三角形几何”的热潮.

 

【布洛卡点】 2013年全国卷I第17题的背景是也

点$P$是$\triangle ABC$内部一点，若$\angle PAB=\angle PBC=\angle PCA=\alpha$，则称$\alpha$为布洛卡角，点$P$为布洛卡点.

这里说个特殊情况，当$\alpha=30^\circ$时，则此$\triangle ABC$为正三角形，这是个看似简单实难的几何题.

 

【简单引理】四面体的体积公式之一

$V=\frac 2{3a}\cdot S_1S_2\cdot \sin \theta$，其中，$S_1,S_2$为以$a$为公共棱的两个面的面积，$\theta$为这两个面所成的二面角.

此式的证明极易，只需要将$V=\frac 13Sh$中的$h$用这两个面的夹角表示即可.

 

【问题解决】 辅助线爽心悦目，千锤百炼，叹为观止

证明：如图所示，过$A$作四面体外接球的切面