Feladat: Pontversenyen kívüli P.173 Korcsoport: 18- Nehézségi fok: -
Megoldó(k):  Bacsó G. ,  Fukker B. ,  Kiss E. ,  Kollár J. ,  Kópházi J. ,  Kozma I. ,  Megyesi Gy. ,  Pálffy L. 
Füzet: 1974/január, 25 - 26. oldal  PDF  |  MathML 
Témakör(ök): Geometriai egyenlőtlenségek, Térfogat, Számtani-mértani egyenlőtlenségek, Térgeometriai bizonyítások, Gömb és részei, Térgeometriai számítások trigonometria nélkül, Tetraéderek, Pontversenyen kívüli probléma
Hivatkozás(ok):Feladatok: 1973/április: Pontversenyen kívüli P.173

A szöveg csak Firefox böngészőben jelenik meg helyesen. Használja a fenti PDF file-ra mutató link-et a letöltésre.

Az 1782. feladatban* bebizonyítottuk, hogy adott körbe írható háromszögek közül a szabályosnak a területe a legnagyobb.
Jelölje egy, az O középpontú, R sugarú gömbbe írt tetraéder csúcsait A, B, C és D. Az ABC háromszög köré írt kör (az ABC sík és a gömb metszete) legyen k. Tekintsük azt a gömbünkbe írt ABCD' tetraédert, melyre D' az ABC síknak ugyanazon az oldalán van, mint D, és OD'ABC, továbbá azt az AB'C'D' tetraédert, melyre az AB'C' háromszög a k körbe írt szabályos háromszög. Az 1782. feladat értelmében a térfogatokra nyilvánvalóan

VABCDVABCD'VAB'C'D'.
Az AB'C'D' tetraéder tehát olyan, hogy az AB'C' háromszög szabályos és OD'AB'C'.
 


 

Tegyük fel először, hogy D' az AB'C' síknak ugyanazon oldalán van, mint O. Az AB'C' háromszög középpontja legyen D*, s jelöljük OD*-ot x-szel. Fejezzük ki a térfogatot x-szel. Pitagorász tételének többszöri alkalmazásával
AD*=R2-x2,AB'=3R2-x2,VAB'C'D'=(R2-x2)(R+x)34.


Írjuk ezt a következő alakban:
VAB'C'D'=38(2R-2x)(R+x)(R+x).
Alkalmazva a mértani és a számtani közép közötti összefüggést:
VAB'C'D'3=362(2R-2x)(R+x)(R+x)33624R3=362R3.
Innen a
VAB'C'D'8R393
egyenlőtlenséget kapjuk, ami éppen a bizonyítandó állítás. Könnyen látható, hogy egyenlőség akkor és csak akkor áll, ha a tetraéder szabályos.
Ha O és D' nincsenek az AB'C' sík ugyanazon oldalán, akkor D'-t O-ra tükrözve a D''-be, nyilvánvalóan
VAB'C'D'<VAB'C'D''8R393
(ez utóbbi a fenti gondolatmenet alkalmazhatósága alapján igaz), s innen ugyancsak következik az állítás.
*Lásd a megoldást K. M. L. 45 (1972) 52. oldal.