Proof (1) As shown in the figure,
Let the areas of △PAB,△PBC,△PAC be S1,S2,S3, and the areas of their projections on the base △OAB,△OBC,△OCA be S′1,S′2,S′3, respectively. The area of △ABC is S, and PA=a,PB=b,PC=c. It is easy to prove that O is the orthocenter of △ABC, and the line CD⊥AB through O, thus PD⊥AB,PC⊥PD.
∵31S1c=31S2b=31S3a=31Sh,∴S1=chS,S2=bhS,S3=chS.
Since PC⊥PD, we have
S1=cos∠PDCS′1=sin∠PCOS′1=chS′1.
Similarly, S2=bhS′z,S3=ahS′3. Substituting these into (1) we get
S′2=c2h2S,S′2=b2h2S,S′3=a2h2S.
Adding these three equations, and noting that S′1+S′2+S′3=S, we obtain
h21=a21+b21+c21.
(2) We have
VM−PAC+VM−PAB+VM−PBC=VC−PAB.
That is, 61acy+61abz+61bcx=61abc.
∴ax+by+cz=1.
Using the arithmetic mean inequality, we get
abcxyz⩽(3ax+by+cz)3=(31)3=271,
with equality holding if and only if ax=by=cz.
∴(abcxyz)max=271.
From the conclusion of (1), we can derive some interesting formulas:
(i) sin2α+sin2β+sin2γ=1;
(ii) cos2α1+cos2β1+cos2γ1=1;
(iii) S2=S12+S22+S32.
Here, α,β,γ are the angles between the lateral edges and the base, and α1,β1,γ1 are the angles between the lateral faces and the base.