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. Jelöljük a körlemezt -val, középpontját -val, sugarát -rel a szóban forgó szöglet csúcsát -val, határoló síkjait rendre -gyel, -vel, -mal, síkját -sel, -nak -n levő érintési pontját -vel, -nak -n levő vetületét -vel, az -n átmenő, -re merőleges egyenest -vel , és az -n átmenő, -re merőleges egyenest -vel. Mérjünk fel -ból -re valamelyik irányban -t, a kapott végpontot jelöljük -rel. Fektessünk -en át -vel párhuzamos síkot, messe ez -t -ben (, , ; lásd az 1. ábrát).
1. ábra A következő megállapítások az értékek mindegyikére érvényesek. Mivel érinti az síkot, és különbözőek, emiatt különbözik -tól és különbözik -től. Ha , akkor , azonos -vel, és azonos -val. Különben a , , és az , , pontok valódi háromszögeket határoznak meg. Ezekben -nél, illetve -nél derékszög van, és az elsőnek -nél levő szöge egyenlő a másodiknak -nál levő szögével, hiszen e szögek szárai merőlegesek, és mindkét szög hegyesszög. Emiatt | | (1) | Könnyen látható, hogy (1) az , esetben is érvényes, hiszen ekkor . Jelöljük -nek -en levő vetületét -gal, ekkor | | (2) | Hasonlóan kapjuk, hogy amiből (1) és (2) alapján
Ha tehát a mértani helyhez tartozik, akkor | | (3) |
Ezek szerint rajta van az középpontú, sugarú gömbön, de az , , síkoktól mért távolsága nem lehet -nél nagyobb. Az utóbbi feltétel arra az centrumú, élű kocka pontjaira teljesül, amelynek lapjai rendre párhuzamosak -vel, így a -n levő pontok közül el kell hagynunk a -n kívül levőket, valamint az síkok pontjait. Jelöljük a visszamaradó pontok halmazát -lal, megmutatjuk, hogy ennek minden pontja a vizsgált mértani helyhez tartozik (2. ábra).
2. ábra Legyen tetszőleges pont a térben, melyre teljesül (3), ahol a -nak az -n levő vetülete . Tekintsük az , , síkok által határolt 8 térrész közül azt a térnyolcadot, amelyik tartalmazza -t. Mérjük fel az egyenesre ebben a térnyolcadban az szakaszokat, és húzzunk az ponton át -vel párhuzamos síkot . Jelöljük a három új sík metszéspontját -rel, erre (3) miatt tehát Fektessünk át -n -re merőleges síkot. A következő megállapításaink ismét érvényesek lesznek az értékek mindegyikére. Mivel , és , vagyis különbözik -től, tehát nem lehet párhuzamos -vel. Jelöljük és metszésvonalát -vel, -nak -n levő merőleges vetületét -vel. Mivel , és , azért az , háromszögek ismét egybevágóak (esetleg bennük egyszerre az -vel, a -vel azonos), tehát vagyis az síkban körül sugárral rajzolt kör érinti az egyenest. tehát valóban a mértani helyhez tartozik. Megjegyzés. Megoldásunk második felében elég volt -nak egy megfelelő állását megtalálnunk. Hogy ennek megfelelően csak egyet adtunk meg, az még nem jelenti azt, hogy csak egy van. Általában a megfelelő körök száma négy, kivéve, ha a kocka, felületén van, ekkor a helyzetek száma csak kettő. |