שופר גבריאל
שופר גבריאל (מכונה גם חצוצרת טוריצ'לי) הוא אובייקט מתמטי בעל שטח פנים אינסופי, אך נפח סופי. אובייקט זה הומצא על ידי אוונג'ליסטה טוריצ'לי אשר עסק בחישוב שטחים בחשבון האינטגרלי. שם האובייקט מושפע מהמלאך גבריאל אשר לפי האמונה הנוצרית יתקע בשופר ביום הדין, ברמיזה על תכונותיו המופלאות של האובייקט. ניתן לחשוב על השופר כעל גרסה תלת-ממדית של פתית השלג של קוך, אשר שטחו סופי אך היקפו אינסופי.
הגדרה מתמטית עריכה
שופר גבריאל נוצר על ידי ציור העקום בקטע , וסיבובו סביב ציר x. על ידי שימוש באינטגרלים ניתן לחשב את נפח ואת שטח פניו של הגוף הנוצר.
נפח השופר עריכה
נפחו של השופר מתקבל לפי הנוסחה
שטח פני השופר עריכה
שטח הפנים של השופר נתון על ידי הנוסחא
חישוב זה למעשה סוכם את ה"אורך"[1] של העקום ומכפיל אותו ב"היקף" הסיבוב אשר נתון על ידי
פרדוקס הצביעה עריכה
קיומו של השופר מעורר את הפרדוקס (לכאורה) הבא: כיוון שנפחו של השופר הוא , ניתן למלא את חלקו הפנימי בצבע מתוך דלי המכיל צבע בנפח מטרים מעוקבים (יחידות הנפח כמובן שרירותיות, ותלויות בבחירת היחידות של מערכת הצירים שעליה הוגדרה הפונקציה). מצד שני, שטח פניו של השופר הוא אינסופי, כלומר על מנת לצבוע את שטח פניו נדרשת כמות אינסופית של צבע, אך זהו פרדוקס, כי בעזרת דלי של מטרים מעוקבים צבע, מילאנו את כל נפח השופר ובכך גם את כל "דפנותיו". כלומר בעזרת צבע בכמות סופית הצלחנו לצבוע שטח אינסופי.
יישובו של הפרדוקס נובע מההבדלים בין תכונות של חומרים ב"עולם האמיתי" לבין תכונות של מושגים מופשטים במתמטיקה. עוביו של ה"צבע המתמטי" בו השתמשנו למילוי שופר גבריאל הלך וקטן (עד אינסוף) ככל שעוביו של שופר גבריאל הלך וקטן. עם זאת, צבע "אמיתי" לא ניתן לחלוקה אינסופית וקיימת נקודה כלשהי (הניתנת לחישוב) בה עוביו של שופר גבריאל לא יהיה עבה מספיק אפילו בשביל מולקולת צבע אחת ולכן כלל לא ניתן למלא את שופר גבריאל בצבע.
גרסאות נוספות עריכה
ניתן לבנות דוגמאות רבות לעצמים בעלי נפח סופי ושטח פנים אינסופי. למשל, גוף הסיבוב אשר נוצר מהפונקציה
קישורים חיצוניים עריכה
- ג'ון שניידר, הדמיה של בניית שופר גבריאל
- שופר גבריאל, באתר MathWorld (באנגלית)
הערות שוליים עריכה
- ^ אורך של גרף הפונקציה בקטע הוא , ולכן שטח הפנים של גוף הסיבוב נתון על ידי ראו אינטגרל#שימושי האינטגרל.