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. Legyen a tetraéder tetszőleges belső pontja, és mondjuk azt, hogy a tetraéder valamelyik lapja -re nézve labilis, ha -nek az illető lap síkján levő merőleges vetülete kívül van a testen. Megmutatjuk, hogy ha -re egy bizonyos feltétel teljesül, akkor a tetraédernek legfeljebb két, a -re nézve labilis lapja lehet. Ez a bizonyos feltétel olyan lesz, hogy az a súlypontra mindig teljesül; ezzel tehát belátjuk a feladat állítását. ‐ Itt nem fogjuk megvizsgálni, hogy elképzelhető-e olyan tetraéder, melynek van olyan ‐ a súlyponttól különböző ‐ belső pontja, melyre ez a feltétel nem teljesül, csak megjegyezzük, hogy ilyen példa megadható. Legyen tehát egy adott pont a tetraéder belsejében, melynek egy bizonyos később tisztázandó tulajdonsága megvan. Ha a tetraéder valamelyik lapja -re nézve labilis, -től az illető lap felé a -ből a lapra bocsátott merőleges mentén haladva előbb lépünk ki a tetraéderből, mintsem az illető lapot elérnénk, a merőleges egyenes előbb a tetraéder valamelyik másik lapját metszi. Mondjuk azt, hogy ez a másik lap -ből nézve takarja az illető, -re nézve labilis lapot. Az ilyen, labilis lapokat takaró lapok mindig közelebb vannak -hez, mint maga a labilis lap, hiszen már a labilis lapra merőleges egyenes mentén van a -hez közelebbi pontjuk. Emiatt a -hez legközelebbi lap nem lehet -re nézve labilis, a többi lap ugyanis nem tudja takarni. Egy nem labilis lap ‐ nevezzük az ilyet stabilnak ‐ tehát tetszőleges -re nézve létezik. Jelöljük ennek a lapnak a síkját -gyel, -nek -en levő vetületét -gyel. A egyenes még egy pontban metszi a tetraéder felületét, jelöljük ezt -val, és az átmetszett lap síkját -vel. Ha stabil, akkor már csak a még nem említett lapok lehetnek labilisak, állításunk tehát igaz. Előfordulhat azonban, hogy labilis. Jelöljük ekkor az -t takaró lap síkját -mal, a negyedik lapsíkot -gyel, és vizsgáljuk meg, mi a feltétele annak, hogy stabilis legyen. -at nyilván nem takarhatja, hiszen közelebb van -hez, mint . Megmutatjuk, hogy -at sem takarhatja, és ha nincs túl közel -hez, pontosabban mondva, ha akkor sem takarhatja -at. Ha tehát -re teljesül (1), akkor vagy már stabilis, vagy ha ez nem is az, akkor biztosan az. ‐ Amennyiben a tetraéder súlypontja, akkor (1) teljesül, hiszen ekkor Jelöljük a tetraéder -vel szemközti csúcsát -vel, -nek -n levő vetületét -vel . A pontból a szakasz derékszög alatt látszik, tehát rajta van a feletti Thalész-gömbön. Ha takarja -t, azaz az síknak a tetraéderrel ellentétes oldalán van, akkor a szög tompaszög, tehát a szakasz feletti Thalész-gömb belső pontja. Megmutatható, hogy ha adott egy gömb, a húrjai feletti Thalész-gömbök egyesítése egy, a -vel koncentrikus gömböt tölt ki, amelynek a sugara sugarának a -szerese. Ha, -re teljesül (1), a feletti Thalész-gömböt a centrumából -szeresére növelve, még mindig teljes egészében felett marad, ekkor tehát az -nek ugyanazon az oldalán van, mint maga a tetraéder, vagyis nem takarhatja -at.
Meg kell még mutatnunk, hogy ha takarja -t, akkor nem takarhatja -at. Jelöljük a -n átmenő, -re merőleges síkot -vel . merőleges -re, tehát -re is, így mindenesetre metszi azt, jelöljük a metszéspontot -val. A háromszögben -nél derékszög van, emiatt a szakaszon levő pont vetülete a szakaszon van. Ez a vetület nem más, mint , hiszen . Ha takarja -t, az -nak már a tetraédert nem tartalmazó oldalán van, és így ott van is, tehát az szakasz -en túli meghosszabbításán van. Emiatt az háromszögben -nél tompaszög van, és mivel , azért -nek az egyenesen levő vetülete az szakaszon is rajta van, jelöljük ezt -vel. Az is az háromszög és a pont most megismert helyzetéből következik, hogy a egyenes az szakaszt is metszi, tehát elválasztja -t az , pontoktól. El kell választania -nak -et is az , pontoktól, különben nem tartalmazhatná az háromszög pontját. tehát metszi az szakaszt, jelöljük ezt a metszéspontot -vel. Tekintsük a négyszöget. Mivel ebben -nél derékszög van, a egyenesnek ugyanazon oldalán van, mint maga a négyszög. Ha tehát -ből felé haladva ki is lépünk a négyszögből, ezt csak a , vagy szakaszon át tehetjük, ami épp azt jelenti, hogy elé csak vagy állhat, de semmi esetre sem. ‐ A bizonyítást ezzel befejeztük. |