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. A szabályos tetraéder centrumából a csúcsok felé futó félegyenesek egymással tompaszöget zárnak be, tehát lehet (és nyilván , , , is). Megmutatjuk, hogy nem lehet -nél nagyobb. Tekintsük a félegyenesek irányába mutató egységvektorokat: feltevésünk szerint ezek skaláris szorzata negatív. Válasszuk a koordinátarendszer pozitív -tengelyének az egyik félegyenest, akkor a többi első koordinátája negatív. Ha (, , ) és (, , ) a többiek közül kettő, ezek skaláris szorzata , ami miatt csak úgy lehet negatív, ha , vagyis az , vektorok skaláris szorzata is negatív. Tehát a többinek az síkra való vetületei között is tompaszögek vannak. Válasszuk -tengelynek e vetületek egyikét, akkor a többinek a második koordinátája is negatív, tehát a harmadik koordináták szorzata is negatív. Márpedig legfeljebb kételemű lehet a valós számoknak az a halmaza, amelyben bármely két szám szorzata negatív, hiszen a halmaznak nem lehet eleme, és ha -nél több eleme volna, azok között volna két egyforma előjelű. Látható, hogy meggondolásunk tetszőleges dimenzióban érvényes, tehát általában a -dimenziós térben . |