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. Megoldásunk során felhasználjuk azt a később bizonyítandó lemmát, hogy egy triéder (három egy pontból kiinduló nem egysíkú félegyenes által meghatározott térbeli alakzat) lapszögeinek az összege -nál nagyobb. Ezek szerint a tetraéder négy csúcsához tartozó négy triéder szögeinek az összege több, mint . A tetraéder minden lapszöge két triéderben (két lap közös élén lévő csúcsokhoz tartozó triéderekben) lép fel, tehát a tetraéder lapszögeinek az összege nagyobb, mint . Ez éppen a bizonyítandó állítás.
1. ábra A lemma bizonyítása: Tekintsünk egy olyan gömböt, amely érinti a triéder mindhárom lapját. (Ilyen beírt gömb végtelen sok létezik; ezt lényegében ugyanúgy láthatjuk be, mint azt a tényt, hogy minden tetraédernek van beírt gömbje.) Állítsunk a gömb középpontjából merőlegeseket a triéder lapjaira (1. ábra). Így három olyan szakaszt kapunk, amelyek egyenlő hosszúak, és közülük bármelyik kettő által bezárt szög éppen a megfelelő síkok lapszögének kiegészítő szöge. Vagyis a lapszögek összege pontosan akkor nagyobb -nál, ha ezen szakaszok közötti szögek összege kisebb, mint .
2. ábra Jelöljük -val a triéderbe írt gömb középpontját, , , -vel pedig az érintési pontokat. Legyen az pont merőleges vetülete az síkon (2. ábra). Ekkor az , és háromszögek egybevágóak, mert van egy közös oldaluk, az -nél lévő szögük derékszög, továbbá . Ezért , vagyis az , és háromszögek egyenlő szárúak. Tekintsük például az és egyenlő szárú háromszögeket. Ezeknek közös az alapjuk, az háromszög szára megegyezik az derékszögű háromszög átfogójával, s így nagyobb, mint az befogó, ami az háromszögnek a szára. Ez azt jelenti (l. a 3. ábrát), hogy az háromszög szárszöge kisebb, mint az háromszögé, tehát
3. ábra
Ugyanígy kapjuk, hogy
A jobb oldalon álló szögek összege éppen , tehát a bal oldali szögek összege -nál kisebb, és éppen ezt akartuk bizonyítani. |