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. I. megoldás. Feltehetjük, hogy nincs a , , oldaléleken, mert ha pl. a élnek -től különböző pontja, akkor . Elég megmutatnunk, hogy az , , háromszögek valamelyike -nél derékszögű vagy tompaszögű. Ha ugyanis pl. az ilyen, akkor a legnagyobb oldala, s ezért (10. ábra).
10. ábra -ből induló, -vel hegyesszöget bezáró félegyenesek annak a féltérnek a belsejében haladnak, amelyet a -ben -re merőlegesen állított sík határol, s amely tartalmazza a pontot. Ha tehát az előbb említett háromszögek -nél mindannyian hegyesszögűek, akkor a gúla minden csúcsa a mondott féltér belsejében van, tehát maga a gúla is, s ez ellentmond annak, hogy a féltér határsíkján helyezkedik el. Ez az ellentmondás bizonyítja, hogy háromszögeink között valóban van olyan, amely -nél nem hegyesszögű.
11. ábra II. megoldás. A ponton át az síkra merőlegest állítunk. Legyen ennek a merőlegesnek az síktól legtávolabbi, még a gúlához tartozó pontja (11. ábra). tehát az , , oldallapokon helyezkedik el, legyen pl. az lapon. Állítsunk ennek síkjában a ponton át merőlegest az egyenesre. Legyen ennek a merőlegesnek az egyenestől legtávolabbi, még az háromszöghöz tartozó pontja. tehát az , oldaléleken helyezkedik el, legyen pl. az szakasznak pontja. Ha egy pontot merőlegesen távolítunk egy síktól vagy egy egyenestől, akkor a sík minden pontjától, illetőleg az egyenes minden pontjától távolodik. Ezért Mindenütt meg kellett engednünk az egyenlőséget is, hiszen , , mindegyike lehetséges. Mindezek azonban egyszerre nem teljesülhetnek, mert nem azonos -vel. Ezért legalább egy helyen az egyenlőtlenség jele érvényes, és így . III. megoldás. A szakaszt merőlegesen felező sík kettévágja gúlánkat, hiszen és a sík más-más oldalán van, és a gúlához tartozik. Ebből következik, hogy e sík által határolt félterek mindegyikének a belsejében van csúcsa a gúlának, mert ha az egyikben nincs, akkor a csúcsaival együtt az egész gúla is a másik féltérben van, s így a sík nem vághatná ketté a gúlát. Ha pl. az csúcs a pontot tartalmazó féltér belsejében van, akkor , hiszen e féltér belső pontjai közelebb vannak -hez, mint -hez.
Megjegyzések. 1. Mindhárom megoldásunk a feladat állításán túlmenően azt is bebizonyítja, hogy a , , távolságok között van olyan, amely kisebb, mint a , , távolságok közül a vele azonos végpontú. 2. A második megoldás változtatás nélkül alkalmazható akkor is, ha nem három, hanem akárhány oldalú gúláról van szó. Bizonyítja tehát, hogy egy gúlának a csúcsától különböző (belsejében vagy határán elhelyezkedő) pontja közelebb van az alaplap valamelyik szögpontjához, mint a gúla csúcsa. 3. A harmadik megoldás alapján még többet is kimondhatunk. Módosítás nélkül helyes marad ez a megoldás akkor is, ha benne gúla helyett tetszőleges poliéder szerepel. Bebizonyítja tehát, hogy egy poliéder valamely csúcsától különböző (belsejében vagy határán elhelyezkedő) pont közelebb van a poliéder valamelyik -től különböző csúcsához, mint . Ugyanez az első bizonyítás módszerével is könnyen bizonyítható. 4. Legyenek a háromoldalú gúla oldalélei , egy a gúla csúcsától különböző pontjának az alapháromszög csúcsaitól mért távolságai pedig . Az indexezés itt csak a nagyságrendtől függ, és nem jelenti, hogy az azonos indexűeket azonos végpontú szakaszok adják. Kérdezhetjük, hogy ha megadunk valamilyen , , , , , távolságokat, vajon található-e olyan gúla s abban olyan pont, amelyekhez éppen a megadott értékek tartoznak. Feladatunk kimondja, hogy szükséges ahhoz, hogy ez lehetséges legyen. A második megoldásból könnyen kiolvasható, hogy is szükséges feltétel, hiszen ott , és az egyenlőség nem teljesülhet mind a két esetben. Érdemes megemlíteni, hogy pl. már nem kell, hogy teljesüljön, és nem kell teljesülnie a egyenlőtlenségnek sem. Mindez kiolvasható a 12. ábrából, amelyen a szakaszok mellett azok hossza áll. Ezek a tapasztalatok további szükséges feltételek keresésekor óvatosságra intenek.
12. ábra Vannak azonban még további szükséges feltételek is, mert ha a már említettek mind teljesülnek, ez még nem elégséges ahhoz, hogy valóban található legyen a , , , , , értékeket szolgáltató gúla és pont. Ilyen egyszerű formájú szükséges és elégséges feltétel nem ismeretes. Megkeresése talán érdekes, de nagyon könnyűnek nem látszó feladat. |