(1)建系略。设 PA=a,PB=b,PC=c,则 ABC:ax+by+cz=1,代入距离公式:
d(P−ABC)=a21+b21+c211=(a21+b21+c21)(a2+b2+c2)1≤31(柯西不等式)
(2)经典三面角余弦定理。作两条垂线,用两次余弦定理,然后暴力化简即得答案 sinβsinγcosα−cosβcosγ。
(3)上界显然,下证下界。不妨设 0<α≤β≤γ<π,有 α+β−γ>0①, α+β+γ<2π②。
由 cosαcosβcosγ<0 分类讨论:
- 若 α,β<2π,γ>2π:设 γ′=π−γ,由①得 α+β+γ′>π,结合 0<α,β,γ′<2π 可得
cosαcosβcosγ′≤(3cosα+cosβ+cosγ′)3≤cos3(3α+β+γ′)<cos3(3π)=81(琴生不等式)
因此 cosαcosβcosγ=−cosαcosβcosγ′>−81。
若 α,β,γ>2π,设 α′=π−α,β′=π−β,γ′=π−γ,由②得 α′+β′+γ′>π 且 0<α′,β′,γ′<2π,
由上同理 cosαcosβcosγ=−cosα′cosβ′cosγ′>−81。