Testpts

Kovcs Zoltn (Nyregyhzi F iskola Debreceni Egyetem) o zeus.nyf.hu/kovacsz 2004. jlius 7.

A cmlapon lthat csillagtest, a nagy ikozi-dodekader modelljnek elksztsre a KMaL 1981. vi novemberi szmban plyzatot rtak ki. A plyzatra 16 modell rkezett be. A f dj o egy Go jtkkszlet volt, emellett 3 darab 100 forintos knyvutalvnnyal jutalmaztk a legszebb modellek elkszt it. Az itt lthat virtulis modellt, csakgy mint a ks bbiekben szerepl tbbi o o o polidermodellt a Pov-Ray programmal ksztettem.

Bevezets
A tanknyveket lapozgatva gyakran tallkozok olyan feladatokkal, amelyek poliderek konstrukcijval foglalkoznak, a legklnbz bb mdon varilva a to mt. A ksrletezsnek, konkrt manulis tevkenysgnek a szerepe a trszemllet alaktsban felbecslhetelen, egyb fejleszt hatsairl nem is beszlve az ilyen o feladatoknak. Ezrt ezeket mindig nagy rmmel fogadom. Ebben az el adsban elmondok nhny problmt s krdst, amely az ilyen o tpus feladatokrl eszembe jutott, vgl magunk is megoldunk egy konstrukcis problmt. A tanknyv idzetek a Hajd Sndor-fle tanknyvcsaldbl valk.

1.

Polider konstrukcis feladatok

1. A hatodikos tanknyv egy feladatban klnbz skidomok rajza szerepel. o Az utasts szerint mindegyikb l minl tbbet kell kszteni s klnbz o o testeket kell konstrulni a lapokbl. 2. Mg izgalmasabb az a tanknyvben feltett krds, hogy ltezik-e olyan test a kockn kvl, amelynek lapjai egybevg ngyzetek. (1. bra.)

1. bra. Egybevg ngyzetekb l ll konkv polider. o 3. A hetedikes tanknyvben. ptsnk testet: (tbbek kztt) hat darab egybevg rombuszbl; kt a oldal egybevg rombuszbl, egy a oldal ngyzetb l s kt darab a oldal szablyos hromszgb l. . . o o 2

Ezekben a feladatokban csak a lapok tpust adjuk meg, azok csatlakozsra vonatkoz el rs nlkl. o A msodik krds megvlaszolsa mr felveti azt a krdst, hogy mit tekintnk egyltaln polidernek. A tovbbiakban (ha mst nem mondunk) csak konvex poliderekr l lesz sz. A ks bbiekben megoldjuk a kvetkez problmkat. o o o 1. Problma (KMaL, F.2571)). Hnyfle tlap konvex polider ltezik? Az el bbi tanknyvpldkhoz az a krds illene, hogy hnyfle hatlap konvex o polider ltezik. Ezt itt id hiny miatt nem trgyalom, de bzok benne, hogy az o olvas elg kedvet rez hozz, hogy nllan megvlaszolja a krdst, s abban is bzom, hogy a megoldshoz itt elg tmutatst kap. 2. Problma (Deltahedron-problma). Hny olyan konvex polider van, amelynek lapjai egybevg szablyos hromszgek. A vgre hagytam egy olyan problmt, amely ltszlag egy egyszer felu sznszmtsi problma, valjban ez is polider-konstrukcis feladat. Ezt most rszletesebben is diszkutlom. 3. Problma (8. osztly). Vzold fel a 2. brn lthat gla egy lehetsges hljt! Alaplapja rombusz. Szmtsd ki a felsznt!

o o e f o

2. bra. e = 3cm; f = 4cm; o = 5 cm El szr a feladat krnyezetb l kiindulva tegyk mg azt is hozz a feladato o hoz, hogy minden oldall egybevg. (A rajz szerint egybknt csak hrom.) Ha gy tekintjk a feladatot, akkor els rnzsre is ltszik, hogy ilyen polider nincs. o

o o o e f o

3. bra. A kk s zld hromszg magassga nem egyezik meg Els obstrukci. Ugyanis az (o, e, o) oldalakbl s az (o, f, o) oldalakbl ll o hromszgek magassga nem egyezik meg (3. bra). Ha ezt rgtn nem vesszk szre, s a rajz alapjn tnyleg elksztjk a polider hlzatt, akkor mg egy slyosabb tnyre is fny derl: mr az el bbi o hromszgek sem lteznek. Nzzk el szr a hlzatot: o

4. bra.

Msodik obstrukci. Ha a hlzatot a trben ssze akarjuk hajtani gy, hogy konvex polider legyen bel le, akkor F az AD szakasz felez mer leges skjban o o o mozog, a H pont pedig az BC szakasz felez mer leges skjban. Ezek a skok o o pedig prhuzamos, nem egybees skok. (Az 5. brn a skok s a rombusz skjo nak metszsvonala a kt zld egyenes.) Ez azt jelenti, hogy F s H a trben nem egyesthet k. (A G s E cscsra hasonl llts mondhat el, ld. az bra piros o egyeneseit.) A feladat megoldsnl teht szigoran kell venni az brt, csak hrom oldall egybevg. A hlzat megszerkesztshez a negyedik oldall hosszt kell megha4

D A P B C

5. bra. troznunk. Az el z , msodik obstrukcinl alkalmazott gondolatmenetnk rgo o tn segt a feladat megoldsban: A AB s BC szakaszok felez mer leges skjai o o metszik egymst, azaz a G s az H cscsok a trben egyesthet k. Ez a pont a gla o E cscspontja, melynek mer leges vetlete az alaplap skjra legyen a P pont. o P az AB s BC szakaszfelez mer leges egyenesek metszspontja s az BD o o szakaszra illeszkedik. (Kvetkezskppen a P B illetve P D tvolsgok knnyen meghatrozhatk.) Hzzuk be most a gla magassgt (6. bra)! A BEP hromszgb l a gla o
E o o A e P f B C o D

6. bra. magassga kiszmthat majd az EP D hromszgb l a hinyz oldall is. o Ha a hlzatbl polidert akarunk kszteni s kicsit er szakosabbak vagyunk, o akkor ez mgis sikerlni fog (7. bra). Valjban az trtnt, hogy az E, F , G, H 5

cscsok egyestsekor az alaplapot kiss deformltuk, gy mr nem skbeli, hanem trbeli, torz rombuszt kapunk.

7. bra. Pontosabban, ha a hlzat rombusz lapjt annak rvidebbik tljval tovbb osztjuk, akkor a hlzatbl mr konvex polider kaphat. (8. bra.)

8. bra. Az el z problmt nagyon ltalnos formban is meg lehet fogalmazni. Egy o o polider skba kitertett lapjainak rendszere a polider hlzata, pontosabban lap6

grfja, hiszen nem egyszer en a polider lapjait soroljuk fel, hanem azt is, hogy a u lapok hogyan csatlakoznak egymshoz. Szmtalan feladat hangzik gy: Szerkeszd meg az brn lthat test egy lehetsges hljt s ptsd meg a testet. A feladat ebben a formjban kivl agytorna, radsul a ragasztshoz szksges fleket is ki kell jellni, mgis izgalmasabb a fordtott problma: 4. Problma. Mikor lehet egy hlzatbl (konvex) testet pteni, s ha igen, akkor hnyat. A tovbbiakban nhny ltalnos elvet trgyalunk, amely megadja (korltozza) a konvex testek ptsnek kereteit.

2.

Euler poliderttele
Ez els elv mindenki ltal jl ismert: o

1. Ttel (Euler poliderttele). Ha a konvex polider lapjainak szmt , leinek szmt e, cscsainak szmt pedig c jelli, akkor teljesl, hogy + c = e + 2. Alkalmazsknt oldjuk meg az 1. problmnkat: Hnyfle tlap konvex polider ltezik? Megolds. Az ilyen polider csak hromszgekb l s ngyszgekb l llhat. Jeo o llje a hromszg lapok szmt a, ekkor a ngyszg lapok szma 5 a. Tovbb a 3 + (5 a) 4 = 2e. Euler poliderttelnek alakja most: c = e 3, tovbb c 5 e 8. (c = 4 csak tetrader lehet, azaz l = 4). Mivel minden cscsbl legalbb hrom l indul: 3c 2e, azaz c 2e , 3 e3 2e e 9. 3 (1)

Az el bbi kt sszefggsb l: 8 e 9, azaz e = 8 vagy e = 9. o o

Behelyettestve az (1) egyenletbe: e = 8, a 3 + (5 a) 4 = 16, a = 4, b = 1,

ez a test (tpusa szerint) ngyszg alap gla; e = 9, a 3 + (5 a) 4 = 18, a = 2, b = 3,

ez a test (tpusa szerint) hromszg alap hasb.

3.

A konvex korltozs, Descartes ttele

Egy kivlasztott cscshoz tartoz lszgek sszege konvex polider esetben 2-t l kisebb. A tovbbiakban ezt a tnyt a konvex korltozs elvnek nevezzk. o A konvex korltozs elvb l rgtn kijn, hogy ha egy konvex polider csak o egybevg ngyzetekb l ll, akkor minden cscsa harmadfok, s egy harmadfok o cscsbl kiindulva mr csak a kockt lehet felpteni. (Lsd a hatodikos tankny pldjt.) Tekintsnk egy msik kzvetlen alkalmazst: hasonlsgtl eltekintve legfeljebb t szablyos test ltezik. Mivel egy cscs fokszma legalbb hrom, ezrt hatszgekb l (s ett l nagyobb oldalszm szablyos sokszgekb l) a szablyos o o o test mr nem llhat: 3 2/3 < 2. Ha a test szablyos hromszgekb l ll, akkor o a cscsok fokszma 3, 4 vagy 5 lehet: 3 /3 < 2, 4 /3 < 2, 5 /3 < 2, 6 /3 < 2.

(Tetrader, oktader, ikozader.) Hasonlan, 3 /2 < 2,

4 /2 < 2,

teht ha a szablyos test ngyzetekb l ll, akkor minden cscs harmadfok. (Kocka.) o Vgezetl 3 3/5 < 2, 4 3/5 < 2, teht ha a szablyos test szablyos tszgekb l ll, akkor minden cscs harmado fok. (Dodekader.) 2 s egy kivlasztott cscshoz tartoz lszgek sszegnek klnbsgt nevezzk a cscs defektusnak. Egyszer en bizonythat, nevezetes tny, hogy a u konvex polider cscsdefektusainak sszege mindig 4. A tovbbiakban ezt az lltst mint Descartes poliderttelt emltjk. 8

Bizonyts. Jellje a polidert alkot konvex i-szgek szmt ni . (Teht a polidert alkot hromszgek szma n3 , a polidert alkot konvex ngyszgek szma n4 , stb.) A cscsdefektusok sszegt melyet az albbi sorban D jell) kiszmthatjuk az albbi mdon: D = c 2
i

(i 2) ni ,

ahol c jelli a polider cscsai szmt. Folytatva: D = 2c

i

ni i + 2
i

ni =

= [2c 2e + 2 ] = 4, a szoksos jellsekkel, Euler poliderttelt alkalmazva.

4.

Poliderek merevsgr l o

Vajon a polider hlzata egyrtelm en meghatrozza-e a testet. Nyilvnvau lan nem, az albbi kt test ugyanabbl a hlzatbl kszlt:

9. bra. Megjegyzem, ha a hlzaton az lek csatlakozsi rendszert nem adjuk meg (nevezzk ezt egyszer en hlnak), akkor knny olyan hlt konstrulni, amelyu u b l kt konvex test is felpthet (10. bra). o o

10. bra. A hl kt lnek az arnya az aranymetszs arnya. A hlbl kt konvex polider kszthet , ehhez instrukcit a cscsok sznezse ad. o Msik krds, hogy a hlzatbl konstrult (sszeragasztott) testek vajon merevek-e: ha hrom cscsukat a trben rgztjk, akkor a tbbi mozoghat-e. A tapasztalatai alapjn erre valszn leg mindenki azt mondja, hogy a cscsok nem u mozoghatnak, teht a polider merev. Pedig ez a merevsg a skbeli polidereknl, vagyis a sokszgeknl egyltaln nem teljesl: az egyetlen merev sokszg a hromszg. (Az oldalak egybevgsgbl a szgek egybevgsga mr ngyszgnl sem kvetkezik.) Cauchy (17891857) francia matematikus 1813-ban bizonytotta, hogy a konvex poliderek merevek. S t az is igaz, hogy adott hlzatbl legfeljebb egy konvex o polider llthat ssze. 10

Arra is vlaszt lehet adni, hogy mikor lehet egyltaln egy hlzatbl konvex polidert ragasztani. Kt szksges felttel nyilvnval: teljeslnie kell Euler poliderttelnek, valamint az lszgekre vonatkozan a konvex korltozs elvnek. A. D. Alekszandrov 1939-ben bebizonytotta, hogy ez a kt felttelel elgsges is, ha a lapok tovbbi lapokra bontst is megengedjk. (Az alaplap felosztsval ezrt tudtunk az eredeti hlzatbl is polidert konstrulni a 3. problmban.) Megjegyezzk, hogy konstrukcit lehet adni nem merev konkv poliderre. (Egy ilyen test hlzata megtallhat pldul a KMaL 1979, 89. szma hts bortjn, javaslom tovbb ugyanitt Csirmaz Lszl ide vonatkoz cikkt: Mozoghat-e valaki, akit sklapokkal hatrolt pnclba ltztettnk?)

5.

Konvex hromszgtestek

A tetrader, az oktader s az ikozader lapjai szablyos hromszgek. Ebben a fejezetben azzal a krdssel foglalkozunk, hogy hny olyan konvex polider ltezik, mely lapjai (egybevg) szablyos hromszgek. Pldkat nagyon knny tallni ilyen testekre: kt szablyos tetrader egy-egy lapjuknl sszeragasztva; kt szablyos tszg alap gla szintn az alaplapoknl sszeragasztva. (Az oldallapok egybevg szablyos hromszgek, az sszeragasztott lapokat termszetesen trljk.) 2. Ttel. Hasonlsgi transzformcitl eltekintve pontosan nyolc olyan konvex polider van, mely lapjai egybevg szablyos hromszgek. Bizonyts. A konvex korltozs elve alapjn egy cscsban 3, 4 vagy 5 szablyos hromszg tallkozhat, azaz a cscsok fokszma 3, 4 vagy 5. A harmadfok cscsok szmt jellje a, a negyedfok cscsok szmt jellje b, az tdfok cscsok szmt pedig c. A harmadfok cscs defektusa , a negyedfok cscs defektusa 2/3, mg az tdfok cscs defektusa /3. rjuk fel a poliderre Descartes poliderttelt: 2 1 a + b + c = 4, 3 3 azaz 1 2 a + b + c = 4. 3 3

11

Ennek az egyenletnek a nemnegatv egszek krben csak vges sok megoldsa van: a 4 3 3 b 0 1 0 c 0 1 3 + 1 1 2 3 0 + 2 2 2 1 2 1 4 1 2 0 6 1 1 4 1 2 1 3 3 2 1 2 5 2 1 1 7 2 1 0 9 2 0 6 0 + 0 5 2 + 0 4 4 + 0 3 6 + 0 0 0 2 1 0 8 10 12 + 3 +

Az utols sorban a + jelzi, hogy a test ltezik, az 1, 2, 3 szmokkal jellt esetek pedig klnbz obstrukcis elvek miatt nem lteznek. o Az els obstrukcis elv az, hogy harmadfok cscs szomszdsgban nem o lehet tdfok cscs. (Az egyes szmmal jellt esetek.) Ragasszunk ssze egy-egy lapjuknl egy azonos lhosszsg oktadert s tetradert. (11. bra.) gy egy szomszdos harmadfok (kk) s tdfok (piros)

11. bra. Az els obstrukcis elv. o cscsot kapunk, azonban a tetrader s az oktader lapszgnek az sszege , ami azt jelenti, hogy ennek a testnek rombusz lapja is van. A tetraderhez csatlakoz egy-egy hromszglapot teht ki kell mozdtani a rombusz skjbl. (A piros tengelyek krl kell forgatni.) Azonban ha a kt srga cscs egyikt benyomjuk, akkor a msik kifel mozog, mert a kztk lv tvolsg nem vltozhat. (A o fekete rd merev.) Ez pedig konkv lapszggel jrna, ami nem lehetsges. A msodik obstrukcis elv az, hogy nem ltezhet olyan konvex hromszgtest, melynek egyetlen harmadfok cscsa van. (2-es szm a tblzatban.) Tegyk fel, hogy csak egyetlen harmadfok cscs van. Az el z ek miatt ez azt jelenti, hogy o o minden szomszdos cscs negyedfok. A harmadfok cscshoz tartoz lapokhoz tegynk hozz egy-egy hromszget (12. bra). A szomszdos lapok megfelel leinek egyestsekor a pirossal jellt cscsok egybeesnek, ami a kett s o o hromszg-piramist adja, de ennek kt harmadfok cscsa van. 12

12. bra. A msodik obstrukcis elv. A (0, 1, 10) eset maradt htra. Ha csak egy negyedfok cscs van, s az sszes tbbi tdfok, akkor a polidert a negyedfok cscsbl kiindulva egyrtelm en u fel lehet pteni (gyangy, mint az el bb a kett s hromszg-piramist), s az eredo o mny a (0, 2, 8) lenne, teht mg egy negyedfok cscs ltezse addna. A megmarad esetek konstrukcija az a, b, c rtknek megfelel en mr leheto sges. A kvetkez hrom bra az eddig mg nem szerepl hrom esetet mutatja: o o

13. bra.

13

14. bra.

15. bra.

14

Hivatkozsok
[1] Brczi Tams. Konvex hromszgtestek. Kzpiskolai Matematikai Lapok, 67(34):104107, 1983. [2] Csirmaz Lszl. Mozoghat-e valaki, akit sklapokkal hatrolt pnclba ltztettnk? Kzpiskolai Matematikai Lapok, 59(34), 1979. [3] Robin Hartshorne. Geometry: Euclid and Beyond. Springer, 2000. [4] Lakatos Imre. Bizonytsok s cfolatok. Gondolat, 1981.

15