קובייה נחה על שש פאות, גליל על אינסוף נקודות, וגם אבן חלק נחה בכמה דרכים. צעצוע שתמיד מתיישר עושה זאת בעזרת משקולת למטה, כלומר הוא אינו אחיד. ב־1995 שאל המתמטיקאי אם יכול להתקיים גוף לגמרי שיש לו מצב יציב אחד בלבד. מה הייתה התשובה?
גוף כזה קיים, והוא נבנה ב־2006 וכונה גומבוץ. הוא קמור, עשוי מחומר אחיד לחלוטין, ויש לו בדיוק שני מצבי : אחד יציב ואחד לא יציב. בכל הנחה אחרת הוא מתגלגל, ובסופו של דבר נעמד תמיד על אותה נקודה. הצורה אינה נראית מיוחדת במבט ראשון, וזה בדיוק הקושי: היא קרובה מאוד לכדור, והסטיות ממנו הן שעושות את העבודה.
נתחיל ממה שכן אפשר. כל גוף קמור שמונח על משטח חייב לפחות מצב יציב אחד ומצב לא יציב אחד, ואת זה אפשר להוכיח בקלות. השאלה היא רק אם אפשר להסתפק במינימום הזה, אחד מכל סוג. רוב הגופים רחוקים מכך: לקובייה שישה מצבים יציבים, ולאבן רגילה בדרך כלל שניים או שלושה.
מה שמקשה הוא דווקא דרישת האחידות. אם מותר להזיז משקל פנימה, הפתרון ילדותי: שמים עופרת בתחתית וגמרנו. זה בדיוק מה שעושה בובת נדנדה, וזו הסיבה שהיא אינה תשובה לשאלה. כשהחומר אחיד, מרכז הכובד נקבע לגמרי על ידי הצורה, ולכן כל מה שאפשר לשחק בו הוא העקמומיות של פני השטח.
ההבדל בין שניים לשלושה ממדים כאן חד. במישור אפשר להוכיח שגוף קמור אחיד תמיד נח בשתי דרכים יציבות לפחות, כלומר מה שהתבקש בלתי אפשרי. בתלת־ממד נפתח מספיק מרחב תמרון, ובו נמצא הפתרון. זו דוגמה טובה לכך שתוספת ממד אינה רק עוד כיוון אלא משנה את הכללים.
הבנייה עצמה אינה חיפוש אלא תכנון. במקום לסרוק צורות בתקווה למצוא אחת מתאימה, הוגדרה משפחה של צורות שתלויה בפרמטרים, נוסחה התנאי כאי־שוויון על הפרמטרים האלה, והוכח שקיים ערך שמקיים אותו. רק אחרי שההוכחה עמדה, עברו לייצר אובייקט ולראות אותו מתגלגל.
הפיזיקה של זה פשוטה ברגע שרואים אותה. גוף מתגלגל תמיד לכיוון שמנמיך את מרכז הכובד שלו, ועוצר רק כשאין לאן. אם יש בדיוק מקום נמוך אחד על כל פני השטח, כל נקודת התחלה מובילה אליו. השאלה הקשה אינה הפיזיקה אלא האם אפשר לעצב פני שטח קמורים שיש להם בדיוק מינימום אחד ובדיוק מקסימום אחד.
wat. גומבוץ הוא גוף קמור אחיד עם מצב יציב אחד בלבד, ולכן הוא מתיישר תמיד לאותו צד בלי שום משקולת.
wat wat
שאלות מן הסוג הזה נראות כמו משחק, ולרוב הן נגמרות בתשובה שלילית: הוכחה שמשהו בלתי אפשרי. כאן התשובה הייתה חיובית, ובדרך התברר שהגבול בין אפשרי לבלתי אפשרי עובר במקום צר להפתיע. צורות קמורות מתנהגות אחרת בעולם הדו־ממדי: שם גוף כזה אינו יכול להתקיים כלל.
איך יודעים?
התשובה אינה תצפית אלא בנייה. פטר ורקוני וגאבור דומוקוש הגדירו משפחת צורות בנוסחה, הוכיחו מתמטית שאחת מהן מקיימת את התנאי, ורק אז ייצרו אותה. העבודה פורסמה ב־2006 בכתב העת The Mathematical Intelligencer.
מה עדיין לא יודעים?
גומבוץ אינו עמיד בפני אי־דיוקים. סטייה זעירה בייצור, שחיקה בפינה או חלל אוויר בתוך החומר מוסיפים מצבי שיווי משקל ומבטלים את התכונה. לכן כל עותק דורש דיוק גבוה מאוד, וצורה שנראית זהה לעין אינה בהכרח גומבוץ.
למדתם משהו?
מכאן ממשיכים
איך רצועת נייר רגילה מאבדת את הצד השני שלה?גאומטריה
איך אפשר לפרק כדור אחד ולהרכיב ממנו שניים זהים?גאומטריה
איך קרום דק פותר בעיית גאומטריה בלי לחשב?גאומטריה