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. Egy téglatest , , koordinátájú pontjai a térben az feltételekkel jellemezhetőek, ennek megfelelően minden téglatesthez minden koordinátatengelyen egy-egy intervallum tartozik. Ha a , , , rendszer megfelelő, akkor van olyan , , pont, amelyik mindegyik téglatestben benne van. Legyen az első koordinátákhoz tartozó intervallumok alsó határainak legnagyobbika (vagy azok egyike), és a megfelelő téglalap. Hasonló módon értelmezve a , , , , számokat és a , , téglalapokat (ez utóbbiak nem feltétlenül különbözőek) látható, hogy , hiszen az , , , , , mennyiségek definíciója miatt a , , , , , téglapok metszete minden esetleges további téglalapnak része volna. (Itt az első koordinátákhoz tartozó intervallumok felső határainak legkisebbike.)
Egy példával megmutatjuk, hogy n=6 elérhető. A téglatestek adatait a mellékelt táblázatban adjuk meg. Mint látható, A=C=E=-1, B=D=F=1, TA=T1, TB=T2 stb. A mellékelt ábra a tér 2<z<3 rétegében mutatja a különböző részhalmazokhoz tartozó tartományokat. Ezek alatt az 1<z<2 rétegben azok a tartományok vannak, amelyekben a mondott halmazokhoz az 5 társul, alattuk a -1<z<1 rétegben az 5-ön kívül a 6 is belép az egyes halmazokba, majd a -2<z<-1 rétegben az 5 kilép a halmazokból. Végül is mind a 64 részhalmazban találtunk tartományt, a konstrukció tehát megfelelő.
|