A logóról

A gömböc

Vajon mi a kapcsolat egy indiai csillagteknős páncélja és gondtalan gyermekkorunk keljfeljancsija között? Mi lehet a titok és a kihívás abban a jelenségben, amit a köznyelvben „stabilitásnak” nevezünk? És mi köze lehet mindennek egy magyar matematikushoz, aki Rodosz szigetén a kavicsok geometriáját vizsgálta?

A gömböc geometriája és az indiai csillagteknős boltozatos páncélja közötti párhuzam.

A válasz a fenti kérdésekre egy több mint évtizedes kutatási történet eredménye. A megoldás pedig a híres gömböc: az a geometriai őstest, amely a 68. Nemzetközi Matematikai Diákolimpia logóját is ihlette.

Gömböcök különböző megvalósításai: ugyanaz az egyensúlyi elv többféle geometriában.

A gömböc olyan háromdimenziós, konvex és homogén test, amelynek pontosan egy stabil és egy instabil egyensúlyi helyzete van. Vagyis ha nem éppen az instabil pontján áll, akkor magától visszatér egyetlen stabil helyzetébe. Ebben hasonlít a keljfeljancsira vagy bizonyos teknősök önfelálló mozgására, de velük ellentétben a gömböc anyageloszlása homogén, alakja pedig konvex. Éppen ez teszi különlegessé a mono-monostatikus testek között.

A történet kezdete Vlagyimir Igorevics Arnold orosz matematikus 1995-ös sejtéséhez köthető. Síkban ismert, hogy nem létezhet olyan homogén, konvex alakzat, amelynek mindössze egy stabil és egy instabil egyensúlyi helyzete van. Arnold azonban elképzelhetőnek tartotta, hogy a háromdimenziós térben mégis létezhet ilyen test. Ezt a gondolatot osztotta meg Domokos Gábor magyar matematikussal.

A gömböc története Vlagyimir Igorevics Arnold 1995-ös sejtéséhez kapcsolódik.

A síkbeli esetben a gömböc típusú alakzat lehetetlensége a négycsúcs-tétellel rokon, azzal ekvivalens mechanikai állításként fogalmazható meg. A klasszikus négycsúcs-tétel szerint egy egyszerű, zárt, sima síkgörbe görbületének legalább négy lokális szélsőértéke van. A gömböc problémájában ennek megfelelője az, hogy egy homogén, konvex síkbeli testnek — ha egyensúlyi helyzetei nem degeneráltak — legalább négy egyensúlyi helyzete van.

Vegyünk egy homogén, konvex síkbeli alakzatot, és helyezzünk poláris koordinátarendszert a súlypontjába. Jelölje \(R(\alpha)\) az alakzat határának a súlyponttól mért távolságát az \(\alpha\) irányban. A nem degenerált stabil és instabil egyensúlyi helyzetek az \(R(\alpha)\) függvény lokális minimumainak, illetve lokális maximumainak felelnek meg.

Tegyük fel indirekten, hogy létezne olyan síkbeli homogén, konvex alakzat, amelynek pontosan egy stabil és egy instabil egyensúlyi helyzete van. Ez azt jelentené, hogy az \(R(\alpha)\) függvénynek pontosan egy lokális minimuma és egy lokális maximuma van. Ebben az esetben választható lenne egy olyan \(R=R_0\) vízszintes szint a függvény grafikonján, amely az \(R>R_0\) és \(R<R_0\) részeket két, egyaránt \(\pi\) hosszúságú iránytartományra osztja.

Ez az eredeti síkbeli alakzatban egy, a súlyponton átmenő egyenesnek felelne meg. Az egyenes az alakzatot egy „vékony” részre, ahol \(R<R_0\), és egy „vastag” részre, ahol \(R>R_0\), osztaná. Ha azonban az alakzat homogén és konvex, akkor a vastagabb oldal tömegeloszlása miatt a súlypontnak nem magán az elválasztó egyenesen, hanem a vastagabb oldalon kellene lennie. Ez ellentmond annak, hogy az egyenes éppen a súlyponton halad át.

Ezért nem létezhet homogén, konvex síkbeli alakzat pontosan egy stabil és egy instabil egyensúlyi helyzettel. Másként fogalmazva: síkban nincs gömböc típusú test; a nem degenerált esetben legalább két stabil és két instabil, vagyis összesen legalább négy egyensúlyi helyzet szükséges.

A háromdimenziós esetben azonban a síkbeli bizonyítás már nem működik. Egy térbeli test hasonló módon leírható egy \(R(\varphi,\theta)\) függvénnyel, de itt a vékony és vastag részeket elválasztó \(R=R_0\) szintgörbe nem feltétlenül síkgörbe. Lehet például a teniszlabda varratához hasonló térgörbe is. Emiatt a test felületének elválasztása nem kényszeríti ugyanúgy ellentmondásba a súlypont helyzetét, mint síkban. Ez a felismerés nyitotta meg az utat a háromdimenziós gömböc elméleti lehetősége előtt.

Síkban az elválasztás egy egyenessel történik; térben viszont az elválasztó görbe lehet nem síkbeli, teniszlabda-varrat-szerű térgörbe is.

Domokos Gábor a tenger által csiszolt kavicsok vizsgálatából is ihletet merített. Rodosz szigetén körülbelül kétezer kavicsot vizsgált meg, de egyetlen olyan formát sem talált, amely megfelelt volna a gömböc követelményeinek. A kutatás ugyanakkor hozzájárult ahhoz, hogy az alakzatokat egyensúlyi helyzeteik száma szerint osztályozzák, és megerősítette azt a sejtést, hogy a siker kulcsa a gömbhöz nagyon közeli, se nem lapos, se nem vékony geometria lehet.

Egykori doktorandusza, Várkonyi Péter közreműködésével Domokos végül 2006-ban matematikailag is igazolta, hogy létezhet konvex, homogén, mono-monostatikus test. Ez volt a gömböc elméleti megszületése. A következő nagy lépést a fizikai megvalósítás jelentette: olyan kézzelfogható testet kellett alkotni, amely a valóságban is megőrzi ezt a rendkívül érzékeny egyensúlyi tulajdonságot.

Domokos Gábor, a gömböc egyik megalkotója.

Várkonyi Péter, a gömböc egyik megalkotója.

Az első elméleti konstrukció egyik kézzelfogható nehézsége az volt, hogy alakja szabad szemmel szinte megkülönböztethetetlen volt a gömbtől. Ez a gömbszerűség a névadásban is szerepet játszott, ugyanakkor rendkívüli pontosságot követelt meg a gyártástól. Domokos és Várkonyi ezért új megközelítést választottak: a későbbi gömböcformákat egyszerű felületelemekből, például henger-, ellipszoid- és kúpfelületekből, valamint síkokból építették fel.

A kezdeti kérdés 1995-ben az volt, hogy létezhet-e egyáltalán a gömböcéhez hasonló test. Ma már tudjuk, hogy a gömböc nem egyetlen forma, hanem végtelen sok különböző geometriában megalkotható. Elméleti szempontból ezek ugyanahhoz az osztályhoz tartoznak, stabilitásuk és mozgásuk azonban látványosan eltérhet.

Mi sem szemlélteti ezt jobban, mint a gömböc természetben is fellelhető párhuzama. Az indiai csillagteknős magas, boltozatos páncélja olyan formát közelít, amely segíti az állatot abban, hogy felborult helyzetből visszatérjen stabil testhelyzetébe. A teknős természetesen nem matematikai értelemben vett gömböc, de páncéljának geometriája mégis ugyanarra a mély gondolatra világít rá: a forma önmagában is képes stabilitást teremteni.