Maths Olympiad Prep

Track / Stage 6 / 298 of 400 #1298 of 1964

Problem 1298

National olympiad, first round
Algebra Difficulty 6.5 Prove it

3. (BUL 6) IMO5{ }^{\mathrm{IMO5}} In the tetrahedron SABCS A B C the angle BSCB S C is a right angle, and the projection of the vertex SS to the plane ABCA B C is the intersection of the altitudes of the triangle ABCA B C. Let zz be the radius of the inscribed circle of the triangle ABCA B C. Prove that
SA2+SB2+SC218z2. S A^{2}+S B^{2}+S C^{2} \geq 18 z^{2} .

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Official solution

3. We shall use the following lemma
Lemma. If an altitude of a tetrahedron passes through the orthocenter of the opposite side, then each of the other altitudes possesses the same property.
Proof. Denote the tetrahedron by SABCS A B C and let a=BC,b=CAa=B C, b=C A, c=AB,m=SA,n=SB,p=SCc=A B, m=S A, n=S B, p=S C. It is enough to prove that an altitude passes through the orthocenter of the opposite side if and only if a2+m2=b2+n2=c2+p2a^{2}+m^{2}=b^{2}+n^{2}=c^{2}+p^{2}.
Suppose that the foot SS^{\prime} of the altitude from SS is the orthocenter of ABCA B C. Then SSABCSB2SC2=SB2SC2S S^{\prime} \perp A B C \Rightarrow S B^{2}-S C^{2}=S^{\prime} B^{2}-S^{\prime} C^{2}. But from ASBCA S^{\prime} \perp B C it follows that AB2AC2=SB2SC2A B^{2}-A C^{2}=S^{\prime} B^{2}-S^{\prime} C^{2}. From these two equalities it can be concluded that n2p2=c2b2n^{2}-p^{2}=c^{2}-b^{2}, or equivalently, n2+b2=c2+p2n^{2}+b^{2}=c^{2}+p^{2}. Analogously, a2+m2=n2+b2a^{2}+m^{2}=n^{2}+b^{2}, so we have proved the first part of the equivalence.
Now suppose that a2+m2=b2+n2=c2+p2a^{2}+m^{2}=b^{2}+n^{2}=c^{2}+p^{2}. Defining SS^{\prime} as before, we get n2p2=SB2SC2n^{2}-p^{2}=S^{\prime} B^{2}-S^{\prime} C^{2}. From the condition n2p2=c22n^{2}-p^{2}=c^{2}-\ell^{2} (b2+n2=c2+p2)\left(\Leftrightarrow b^{2}+n^{2}=c^{2}+p^{2}\right) we conclude that ASBCA S^{\prime} \perp B C. In the same way CSABC S^{\prime} \perp A B, which proves that SS^{\prime} is the orthocenter of ABC\triangle A B C. The lemma is thus proven.
Now using the lemma it is easy to see that if one of the angles at SS is right, than so are the others. Indeed, suppose that ASB=π/2\angle A S B=\pi / 2. From the lemma we have that the altitude from CC passes through the orthocenter of ASB\triangle A S B, which is SS, so CSASBC S \perp A S B and CSA=CSB=π/2\angle C S A=\angle C S B=\pi / 2.
Therefore m2+n2=c2,n2+p2=a2m^{2}+n^{2}=c^{2}, n^{2}+p^{2}=a^{2}, and p2+m2=b2p^{2}+m^{2}=b^{2}, so it follows that m2+n2+μ2=(a2+b2+c2)/2m^{2}+n^{2}+\mu^{2}=\left(a^{2}+b^{2}+c^{2}\right) / 2. By the inequality between the arithmetic and quadric means, we have that (a2+b2+c2)/22s2/3\left(a^{2}+b^{2}+c^{2}\right) / 2 \geq 2 s^{2} / 3, where s denotes the semiperimeter of ABC\triangle A B C. It remains to be shown that 2s2/318r22 s^{2} / 3 \geq 18 r^{2}. Since SABC=srS_{\triangle A B C}=s r, this is equivalent to 2s4/32 s^{4} / 3 \geq 18SABC2=18s(sa)(sb)(sc)18 S_{A B C}^{2}=18 s(s-a)(s-b)(s-c) by Heron's formula. This reduces to s327(sa)(sb)(sc)s^{3} \geq 27(s-a)(s-b)(s-c), which is an obvious consequence of the AM-GM mean inequality.
Remark. In the place of the lemma one could prove that the opposite edges of the tetrahedron are mutually perpendicular and proceed in the same way.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.