【问题提出】克列尔(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$用这两个面的夹角表示即可.
【问题解决】 辅助线爽心悦目,千锤百炼,叹为观止
证明&#x