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 vizsgáljuk meg, hogy milyen lapjai lehetnek egy ötlapú testnek. A lapok között nem lehet ötszög vagy ötnél több oldalú sokszög, mert ha ilyen volna, akkor annak minden oldalához csatlakozna a testnek 1‐1 lapja, a lapok száma tehát legalább lenne. Ezért minden lap háromszög vagy négyszög. Jelöljük a háromszögek számát -val, a négyszögek számát -nel, a test éleinek számát -vel, csúcsainak számát pedig -vel. A test minden éle egyúttal két oldallapnak is oldaléle, ezért Ebből következik, hogy a háromszöglapok száma , ami biztosan páros, mert egész. Tehát csak , 2 vagy 4 jön szóba, amiből sorra , 3 vagy 1, így , 9 vagy 8. A test minden csúcsában legalább 3 él találkozik, és minden élen pontosan 2 csúcs van, ezért . Vagyis az egyes esetekben a csúcsok száma legfeljebb 6, 6, illetve 5. Vizsgáljuk meg a három lehetőséget. (i) A testnek 5 négyszöglapja, 10 éle és legfeljebb 6 csúcsa van. Ekkor , ezért van olyan csúcs, amelyben legalább 4 él, s ezért legalább 4 lap találkozik. Jelöljük ezt a csúcsot -val (1. ábra). Az -t tartalmazó egyik négyszög további csúcsai legyenek , és . Az élt egy -től különböző négyszöglap is tartalmazza, ennek további csúcsai legyenek és . E két csúcs nincs benne az síkban, ezért az , , , , és pontok a testnek 6 különböző csúcsát alkotják. Mivel a testnek legfeljebb 6 csúcsa lehet, azért a testnek az -ból kiinduló negyedik ‐ azaz -től, -től és -től különböző ‐ élén nem lehet további csúcs. Ez nyilvánvalóan ellentmondás, ezért ilyen test nem létezik. (ii) , és . Legyen és a test két szomszédos négyszöglapja (2. ábra). Mivel az öt lap közül három négyszög, azért ilyenek biztosan vannak. A testnek legfeljebb 6 csúcsa van, ezért nem lehet , , , , , -től különböző csúcsa. Ez azt jelenti, hogy a harmadik négyszöglap kell legyen. Tehát a test két háromszöglapja egymással nem szomszédos, a négyszöglapok mindegyike pedig szomszédos a két másik négyszöggel és a két háromszöggel. Ezért a testnek 9 lapszöge van. Megmutatjuk, hogy a lapszögek között legfeljebb 7 derékszög lehet. 7 derékszög található egy derékszögű háromszög alapú egyenes hasáb lapszögei között (3. ábra), mert a három oldallap az alapra is és a fedőlapra is merőleges, az oldallapok egymással bezárt szögei pedig megegyeznek az alapháromszög szögeivel, tehát ezek között pontosan egy derékszög van. A lapszögek között 7-nél több derékszög nem lehet, mert akkor volna olyan háromszöglap, amelyre mind a három hozzá csatlakozó négyszög merőleges lenne, továbbá a négyszögek közül is legalább két pár egymásra merőleges lenne. De ebben az esetben a négyszöglapok egymással bezárt szögei definíció szerint megegyeznek a háromszöglap szögeivel, amelyek között nem lehet két derékszög. (iii) , és . Ekkor a csúcsok száma 5, a test négyszög alapú gúla (4. ábra). Oldallapjai közül legfeljebb kettő lehet merőleges az alaplapra, mert ha három merőleges lenne, akkor azok metszésvonalai ‐ amelyek a gúla oldalélei ‐ egymással párhuzamosak lennének, hiszen merőlegesek volnának az alaplapra. Tehát a gúla 8 lapszöge közül legalább 2 nem derékszög, azaz a derékszögű lapszögek száma ebben az esetben kisebb, mint 7. Ezzel beláttuk, hogy egy ötlapú test lapszögei közül legfeljebb 7 lehet derékszög.
|