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. Először egy könnyen igazolható segédtételt mondunk ki: minden téglalapra és minden (nem feltétlenül a téglalap síkjában lévő) pontra . Legyen ugyanis (a1. ábra), ekkor , hiszen és merőlegesek. A bizonyítandó állítás pedig az | | azonosság átírása.
1. ábra
2. ábra
Térjünk rá a feladatra. Legyen az adott gömb középpontja , sugara , az téglalap negyedik csúcsa (2. ábra). A segédtételt az , valamint téglalapokra alkalmazva kapjuk, hogy | |
ahonnan | | azaz a pont rajta van az középpontú, sugarú gömbön.
3. ábra
Megmutatjuk, hogy az gömb minden pontja hozzátartozik a mértani helyhez. Tekintsük ugyanis az gömb és a átmérőjű gömb metszésvonalát. Ennek az síkba eső egyik pontja legyen és -t téglalappá kiegészítő negyedik pont (3. ábra). A segédtétel szerint , azaz az pont kívül van az gömbön. Így az átmérőjű gömbnek valamint az gömbnek a -ben -re emelt merőleges síkban van két közös pontja: az egyik legyen , az -t téglalappá kiegészítő negyedik csúcs . Az , szakaszok páronként merőlegesek, az általuk meghatározott tégla negyedik csúcsa , továbbá és az gömbön van. Elegendő tehát megmutatnunk, hogy is -en van. Ez viszont az | | összefüggésből következik. Megjegyzés. Ha nem azt követeljük meg, hogy és egy gömb felszínén legyenek, hanem hogy rendre három egymással koncentrikus gömb felszínén, a mértani hely továbbra is egy gömb felülete. A feladat tetszőleges dimenziójú gömbökre, például síkra is általánosítható. |