יופי מתמטי – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף

בשורה

גרסה מ־06:06, 27 בפברואר 2016

יופי מתמטי הוא ההנאה האסתטית שמתמטיקאים עשויים לייחס לתוצאות מסוימות במתמטיקה. הם מבטאים הנאה זו על ידי התייחסות למתמטיקה (או לפחות לחלק מהיבטיה) כיפה. מתמטיקאים מתייחסים למתמטיקה כאל אמנות או לפחות כאל פעילות יצירתית ומרבים להשוות אותה למוזיקה ולשירה. נושא זה נדון על ידי הפילוסופיה של המתמטיקה.

דרך הוכחה יפה

מתמטיקאים מתארים דרך הוכחה מהנה באופן מיוחד כאלגנטית. על פי ההקשר, הכוונה יכולה להיות:

הוכחה שעושה שימוש במספר קטן ככל האפשר של הנחות או של תוצאות קודמות.
הוכחה תמציתית באופן מיוחד.
הוכחה המגיעה לפתרון בדרך מפתיעה (למשל על ידי שימוש במשפט מתחום שונה לחלוטין).
הוכחה המבוססת על תובנות חדשות ומקוריות.
שיטת הוכחה שניתן יהיה ליישם באופן פשוט על מנת להוכיח שורה של בעיות דומות.

במהלך החיפוש אחרי הוכחה אלגנטית, מתמטיקאים מנסים פעמים רבות למצוא פתרונות שונים לאותה בעיה, ההוכחה הראשונה לא תהיה בהכרח הטובה ביותר. סביר להניח כי המשפט שזכה למספר הגדול ביותר של הוכחות שונות הוא משפט פיתגורס, שפורסמו מאות הוכחות שונות שלו.^[1] משפט נוסף שהוכח באופנים רבים ושונים הוא משפט ההדדיות הריבועית, קארל פרידריך גאוס לבדו פרסם מספר הוכחות שונות למשפט זה.

לעומת דרכי ההוכחה ה"יפות", תוצאות נכונות הכרוכות בחישובים מייגעים, שיטות משוכללות יתר על המידה, גישות קונבנציונליות או הנדרשות למספר רב של אקסיומות חזקות או תוצאות קודמות, אינן נחשבות, בדרך כלל, לאלגנטיות ועשויות להיקרא "מכוערות" או "מגושמות".

תוצאה "יפה"

אם מתחילים ב- e⁰ = 1 וממשיכים במהירות i במשך זמן π וביחס לנקודה מסוימת, הוספה של 1 תביא אל הנקודה 0 (התרשים מוצג במישור המרוכב).

לעתים מתמטיקאים מייחסים יופי לעבודות המקשרות שני תחומים במתמטיקה הנראים לא קשורים במבט ראשון. קישורים כאלה מתוארים פעמים רבות כעמוקים.

קשה למצוא תוצאות שיש הסכמה גורפת על כך שהן עמוקות, אולם ישנן מספר דוגמאות המובאות בדרך כלל, אחת מהן היא זהות אוילר:^[2]

\displaystyle e^{i\pi }+1=0

זהו מקרה פרטי של נוסחת אוילר, אשר הפיזיקאי ריצ'רד פיינמן כינה "הנוסחה המדהימה ביותר במתמטיקה".^[3] היופי בזהות אוילר טמון בכך שהיא מאחדת לכדי משוואה קצרה אחת שלושה קבועים מתמטיים נודעים (e - בסיס הלוגריתם הטבעי, i – היחידה המדומה ו-π – היחס בין היקף מעגל לקוטרו) ואת שני המספרים הטבעיים הראשונים (0 ו-1).

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

תחושת יופי

בתרבויות שנות ישנו עיסוק במתמטיקה טהורה בלי קשר ליישומיה המעשיים, כמו למשל ביוון העתיקה, בה "עסקו במתמטיקה לשם היופי שבה".^[5] יופי מתמטי נחווה לעתים גם מחוץ להקשר המתמטי. לדוגמה, ההנאה האסתטית שפיזיקאים תאורטיים נוטים לחוות מעיסוק בתורת היחסות הכללית של איינשטיין, יוחסה, (על ידי פול דיראק ואחרים) ליופי המתמטי שבה.^[6]

מידה מסוימת של הנאה מעריכת מניפולציות על מספרים וסמלים נדרשת כפי הנראה, בכל עיסוק במתמטיקה. בהתחשב בתועלת של מתמטיקה במדע ובהנדסה, לכל חברה טכנולוגית יש אינטרס לטפח הנאה אסתטית כזו, מבחינה פילוסופית, גם אם לא מבחינה מעשית.

יופי מתמטי נחווה כאשר אובייקטים מהמציאות הפיזית מנוסחים על ידי מודלים מתמטיים מופשטים: מתמטיקאים מפתחים שדה מתמטי שלם ללא כל יישום מעשי, ושנים מאוחר יותר, פיסיקאים מגלים שענפים מתמטיים מופשטים אלה מתאימים לתצפיות שלהם. לדוגמא, תורת הקבוצות שפותחה בתחילת המאה ה-19 אך ורק לשם פתירת משוואות פולינומיות, התגלתה כדרך היעילה ביותר לסווג חלקיקי היסוד – אבני הבניין של החומר. באותו אופן, הסתבר כי תורת הקשרים, ענף מתמטי איזוטרי, מספק תובנות חשובות בתורת המיתרים ובכבידה קוונטית לולאתית.

החוויה העזה ביותר של יופי מתמטי נחווית לרוב רק בעת עיסוק פעיל במתמטיקה. כמעט בלתי אפשרי ליהנות או להעריך מתמטיקה באופן פסיבי לגמרי, מאחר ובמתמטיקה אין "תפקיד" של צופה, קהל, או מאזין.

יופי ופילוסופיה

חלק מהמתמטיקאים סבורים כי "עשיית מתמטיקה" קרובה יותר לגילוי מאשר להמצאה:

יש מתמטיקאים שמאמינים כי התוצאות המפורטות והמדויקות של המתמטיקה הן אמיתות אשר אינן תלויות ביקום בו אנו חיים. הם טוענים למשל, כי התאוריה של המספרים הטבעיים תקפה תמיד, באופן שאינו דורש כל הקשר ספציפי. מתמטיקאים מסוימים הרחיבו את ההשקפה שהיופי המתמטי הוא אמת מוחלטת, לעיתים עד לכדי מיסטיקה.

המתמטיקאים הפיתגורים האמינו במציאות של מספרים. גילוים של המספרים האי-רציונליים היה עבורם הלם, שכן הם האמינו שעצם קיומו של מספר שלא ניתן לבטא כיחס בין שני מספרים טבעיים פוגם בטבע. מנקודת מבט מודרנית, הגישה המיסטית שלהם למספרים עשויה להחשב נומרולוגיה.

על פי הפילוסופיה האפלטונית העולם נחלק לשני חלקים נפרדים: העולם הפיזי, הנתפס באמצעות החושים ועולם ה"צורות" אשר ניתן להבנה אך ורק באמצעות השכל. עולם הצורות הוא עולם מופשט המכיל אידאות, אמיתות קבועות שביניהן המתמטיקה. אפלטון וממשיכיו האמינו כי העולם הפיזי הוא השתקפות של העולם המופשט והמושלם.

ראו גם

לקריאה נוספת

רון אהרוני, מתמטיקה שירה ויופי, הוצאת הקיבוץ המאוחד, 2008

הערות שוליים

^ Elisha Scott Loomis published over 360 proofs in his book Pythagorean Proposition (ISBN 0-873-53036-5).
^ Gallagher, James (13 בפברואר 2014). "Mathematics: Why the brain sees maths as beauty". BBC News online. {{cite news}}: (עזרה)
^ Feynman, Richard P. (1977). The Feynman Lectures on Physics. Vol. I. Addison-Wesley. p. 22-10. ISBN 0-201-02010-6.
^ גדי אלכסנדרוביץ', האם המצאנו או גילינו את המפלצת המתמטית שמתחת למיטה?, באתר "לא מדויק", 14 ביולי 2009
^ Lang, p. 3
^ Chandrasekhar, p. 148

[1] Elisha Scott Loomis published over 360 proofs in his book Pythagorean Proposition (ISBN 0-873-53036-5).

[Gallagher2014-2] Gallagher, James (13 בפברואר 2014). "Mathematics: Why the brain sees maths as beauty". BBC News online. {{cite news}}: (עזרה)

[3] Feynman, Richard P. (1977). The Feynman Lectures on Physics. Vol. I. Addison-Wesley. p. 22-10. ISBN 0-201-02010-6.

[4] גדי אלכסנדרוביץ', האם המצאנו או גילינו את המפלצת המתמטית שמתחת למיטה?, באתר "לא מדויק", 14 ביולי 2009

[5] Lang, p. 3

[6] Chandrasekhar, p. 148

[1]

[2]

[3]

[4]

[5]

[6]

@@ שורה 17: / שורה 17: @@
 לעתים מתמטיקאים מייחסים יופי לעבודות המקשרות שני תחומים במתמטיקה הנראים לא קשורים במבט ראשון. קישורים כאלה מתוארים פעמים רבות כעמוקים.
-קשה למצוא תוצאות שיש הסכמה גורפת על כך שהן עמוקות, אולם ישנן מספר דוגמאות המובאות בדרך כלל, אחת מהן היא [[זהות אוילר]]:<ref name="Gallagher2014">{{cite news|last=Gallagher|first=James|title=Mathematics: Why the brain sees maths as beauty|url=http://www.bbc.co.uk/news/science-environment-26151062|accessdate=13 February 2014|newspaper=BBC News online|date=13 February 2014}}</ref>
+קשה למצוא תוצאות שיש הסכמה גורפת על כך שהן עמוקות, אולם ישנן מספר דוגמאות המובאות בדרך כלל, אחת מהן היא [[זהות אוילר]]:<ref name="Gallagher2014">{{cite news|last=Gallagher|first=James|title=Mathematics: Why the brain sees maths as beauty|url=http://www.bbc.co.uk/news/science-environment-26151062|newspaper=BBC News online|date=13 February 2014}}</ref>
-:<math>\displaystyle e^{i \pi} + 1 = 0</math>
+<center><math>\displaystyle e^{i \pi} + 1 = 0</math></center>
-זהו מקרה פרטי של [[נוסחת אוילר (אנליזה מרוכבת)|נוסחת אוילר]], אשר הפיזיקאי [[ריצ'רד פיינמן]] כינה "הנוסחה המדהימה ביותר במתמטיקה".<ref>{{cite book|first=Richard P.|last= Feynman|title=The Feynman Lectures on Physics |volume=I|publisher=Addison-Wesley|year=1977|isbn=0-201-02010-6|page=22-10}}</ref> היופי בזהות אוילר טמון בכך שהיא מאחדת לכדי משוואה קצרה אחת שלושה קבועים מתמטיים נודעים (e - [[e (קבוע מתמטי)|בסיס הלוגריתם הטבעי]], i - [[מספר מדומה|היחידה המדומה]] ו-π - [[פאי|היחס בין היקף מעגל לקוטרו]]) ואת שני המספרים הטבעיים הראשונים ([[0 (מספר)|0]] ו-[[1 (מספר)|1]]).
+זהו מקרה פרטי של [[נוסחת אוילר (אנליזה מרוכבת)|נוסחת אוילר]], אשר הפיזיקאי [[ריצ'רד פיינמן]] כינה "הנוסחה המדהימה ביותר במתמטיקה".<ref>{{cite book|first=Richard P.|last= Feynman|title=The Feynman Lectures on Physics |volume=I|publisher=Addison-Wesley|year=1977|isbn=0-201-02010-6|page=22-10}}</ref> היופי בזהות אוילר טמון בכך שהיא מאחדת לכדי משוואה קצרה אחת שלושה קבועים מתמטיים נודעים (e - [[e (קבוע מתמטי)|בסיס הלוגריתם הטבעי]], i – [[מספר מדומה|היחידה המדומה]] ו-π – [[פאי|היחס בין היקף מעגל לקוטרו]]) ואת שני המספרים הטבעיים הראשונים ([[0 (מספר)|0]] ו-[[1 (מספר)|1]]).
 דוגמאות מודרניות יותר הן [[משפט טניאמה-שימורה]] שיצר קשר חשוב בין [[עקומים אליפטיים]] לבין תבניות מודולריות (עבודה שזיכתה את [[אנדרו ויילס]] ואת ל[[רוברט לנגלנדס]] ב[[פרס וולף]]) וכן "המפלצות המטורללות" המקשרות בין [[תורת החבורות]] ([[חבורת פישר-גריס]], "המפלצת") ל[[תבנית מודולרית|תבניות מודולריות]] דרך [[תורת המיתרים]] (עבודה שזיכתה את [[ריצ'רד בורכרדס]] ב[[מדליית פילדס]]).<ref>{{לא מדויק|2009/07/14/monster|האם המצאנו או גילינו את המפלצת המתמטית שמתחת למיטה?}}</ref>
@@ שורה 27: / שורה 27: @@
 בתרבויות שנות ישנו עיסוק ב[[מתמטיקה טהורה]] בלי קשר ליישומיה המעשיים, כמו למשל ב[[מתמטיקה ביוון העתיקה|יוון העתיקה]], בה "עסקו במתמטיקה לשם היופי שבה".<ref>Lang, p. 3</ref> יופי מתמטי נחווה לעתים גם מחוץ להקשר המתמטי. לדוגמה, ההנאה האסתטית ש[[פיזיקה תאורטית|פיזיקאים תאורטיים]] נוטים לחוות מעיסוק ב[[תורת היחסות הכללית]] של [[איינשטיין]], יוחסה, (על ידי [[פול דיראק]] ואחרים) ליופי המתמטי שבה.<ref>Chandrasekhar, p. 148</ref>
-מידה מסוימת של הנאה מעריכת מניפולציות על [https://he.wikipedia.org/w/%D7%9E%D7%A1%D7%A4%D7%A8 מספרים] וסמלים נדרשת כפי הנראה, בכל עיסוק במתמטיקה. בהתחשב בתועלת של מתמטיקה ב[https://he.wikipedia.org/w/%D7%9E%D7%93%D7%A2 מדע] וב[https://he.wikipedia.org/w/%D7%94%D7%A0%D7%93%D7%A1%D7%94 הנדסה], לכל חברה טכנולוגית יש אינטרס לטפח הנאה אסתטית כזו, מבחינה [https://he.wikipedia.org/w/%D7%A4%D7%99%D7%9C%D7%95%D7%A1%D7%95%D7%A4%D7%99%D7%94%20%D7%A9%D7%9C%20%D7%94%D7%9E%D7%93%D7%A2 פילוסופית], גם אם לא מבחינה מעשית.
+מידה מסוימת של הנאה מעריכת מניפולציות על [[מספר]]ים וסמלים נדרשת כפי הנראה, בכל עיסוק במתמטיקה. בהתחשב בתועלת של מתמטיקה ב[[מדע]] וב[[הנדסה]], לכל חברה טכנולוגית יש אינטרס לטפח הנאה אסתטית כזו, מבחינה [[פילוסופיה של המדע|פילוסופית]], גם אם לא מבחינה מעשית.
-יופי מתמטי נחווה כאשר אובייקטים [https://he.wikipedia.org/w/%D7%9E%D7%A6%D7%99%D7%90%D7%95%D7%AA מהמציאות] הפיזית  מנוסחים על ידי [https://he.wikipedia.org/w/%D7%9E%D7%95%D7%93%D7%9C%20%D7%9E%D7%AA%D7%9E%D7%98%D7%99 מודלים מתמטיים] מופשטים: מתמטיקאים מפתחים שדה מתמטי שלם ללא כל יישום מעשי, ושנים מאוחר יותר, פיסיקאים מגלים שענפים מתמטיים מופשטים אלה מתאימים לתצפיות שלהם. לדוגמא, [https://he.wikipedia.org/w/%D7%AA%D7%95%D7%A8%D7%AA%20%D7%94%D7%A7%D7%91%D7%95%D7%A6%D7%95%D7%AA תורת הקבוצות] שפותחה בתחילת המאה ה19 אך ורק לשם פתרון [https://he.wikipedia.org/w/%D7%A4%D7%95%D7%9C%D7%99%D7%A0%D7%95%D7%9D משוואות פולינומיות], התגלתה כדרך היעילה ביותר לסווג [https://he.wikipedia.org/w/%D7%97%D7%9C%D7%A7%D7%99%D7%A7%20%D7%99%D7%A1%D7%95%D7%93%D7%99 חלקיקי היסוד]-  אבני הבניין של החומר. באותו אופן, הסתבר כי [https://he.wikipedia.org/w/%D7%AA%D7%95%D7%A8%D7%AA%20%D7%94%D7%A7%D7%A9%D7%A8%D7%99%D7%9D תורת הקשרים], ענף מתמטי איזוטרי, מספק תובנות חשובות ב[https://he.wikipedia.org/w/%D7%AA%D7%95%D7%A8%D7%AA%20%D7%94%D7%9E%D7%99%D7%AA%D7%A8%D7%99%D7%9D תורת המיתרים] וב[https://he.wikipedia.org/w/%D7%9B%D7%91%D7%99%D7%93%D7%94%20%D7%A7%D7%95%D7%95%D7%A0%D7%98%D7%99%D7%AA%20%D7%9C%D7%95%D7%9C%D7%90%D7%AA%D7%99%D7%AA כבידה קוונטית לולאתית].
+יופי מתמטי נחווה כאשר אובייקטים מה[[מציאות]] הפיזית מנוסחים על ידי [[מודל מתמטי|מודלים מתמטיים]] מופשטים: מתמטיקאים מפתחים שדה מתמטי שלם ללא כל יישום מעשי, ושנים מאוחר יותר, פיסיקאים מגלים שענפים מתמטיים מופשטים אלה מתאימים לתצפיות שלהם. לדוגמא, [[תורת הקבוצות]] שפותחה בתחילת [[המאה ה-19]] אך ורק לשם פתירת [[פולינום|משוואות פולינומיות]], התגלתה כדרך היעילה ביותר לסווג [[חלקיק יסודי|חלקיקי היסוד]] – אבני הבניין של ה[[חומר]]. באותו אופן, הסתבר כי [[תורת הקשרים]], ענף מתמטי איזוטרי, מספק תובנות חשובות ב[[תורת המיתרים]] וב[[כבידה קוונטית לולאתית]].
 החוויה העזה ביותר של יופי מתמטי נחווית לרוב רק בעת עיסוק פעיל במתמטיקה. כמעט בלתי אפשרי ליהנות או להעריך מתמטיקה באופן פסיבי לגמרי, מאחר ובמתמטיקה אין "תפקיד" של צופה, קהל, או מאזין.
@@ שורה 36: / שורה 36: @@
 חלק מהמתמטיקאים סבורים כי "עשיית מתמטיקה" קרובה יותר לגילוי מאשר להמצאה:
-יש מתמטיקאים שמאמינים כי התוצאות המפורטות והמדויקות של המתמטיקה הן אמיתות אשר אינן תלויות ביקום בו אנו חיים. הם טוענים למשל, כי התאוריה של [https://he.wikipedia.org/w/%D7%94%D7%9E%D7%A1%D7%A4%D7%A8%D7%99%D7%9D%20%D7%94%D7%98%D7%91%D7%A2%D7%99%D7%99%D7%9D המספרים הטבעיים] תקפה תמיד, באופן שאינו דורש כל הקשר ספציפי. מתמטיקאים מסוימים הרחיבו את ההשקפה שהיופי המתמטי הוא אמת מוחלטת, לעיתים עד לכדי [https://he.wikipedia.org/w/%D7%9E%D7%99%D7%A1%D7%98%D7%99%D7%A7%D7%94 מיסטיקה].
+יש מתמטיקאים שמאמינים כי התוצאות המפורטות והמדויקות של המתמטיקה הן אמיתות אשר אינן תלויות ביקום בו אנו חיים. הם טוענים למשל, כי התאוריה של [[מספר טבעי|המספרים הטבעיים]] תקפה תמיד, באופן שאינו דורש כל הקשר ספציפי. מתמטיקאים מסוימים הרחיבו את ההשקפה שהיופי המתמטי הוא אמת מוחלטת, לעיתים עד לכדי [[מיסטיקה]].
-המתמטיקאים [https://he.wikipedia.org/w/%D7%A4%D7%99%D7%AA%D7%92%D7%95%D7%A8%D7%A1 הפיתגורים] האמינו ''במציאות'' של מספרים. גילוים של [https://he.wikipedia.org/w/%D7%9E%D7%A1%D7%A4%D7%A8%20%D7%90%D7%99-%D7%A8%D7%A6%D7%99%D7%95%D7%A0%D7%9C%D7%99 המספרים האי רציונליים] היה עבורם הלם, שכן הם האמינו שעצם קיומו של מספר שלא ניתן לבטא כיחס בין שני מספרים טבעיים פוגם בטבע. מנקודת מבט מודרנית, הגישה המיסטית שלהם למספרים עשויה להחשב [https://he.wikipedia.org/w/%D7%A0%D7%95%D7%9E%D7%A8%D7%95%D7%9C%D7%95%D7%92%D7%99%D7%94 נומרולוגיה].
+המתמטיקאים [[פיתגוראים|הפיתגורים]] האמינו ''במציאות'' של מספרים. גילוים של [[מספר אי-רציונלי|המספרים האי-רציונליים]] היה עבורם הלם, שכן הם האמינו שעצם קיומו של מספר שלא ניתן לבטא כיחס בין שני מספרים טבעיים פוגם בטבע. מנקודת מבט מודרנית, הגישה המיסטית שלהם למספרים עשויה להחשב [[נומרולוגיה]].
+על פי הפילוסופיה [[אפלטון|האפלטונית]] העולם נחלק לשני חלקים נפרדים: העולם הפיזי, הנתפס באמצעות החושים ועולם ה"צורות" אשר ניתן להבנה אך ורק באמצעות השכל. עולם הצורות הוא עולם מופשט המכיל אידאות, אמיתות קבועות שביניהן המתמטיקה. אפלטון וממשיכיו האמינו כי העולם הפיזי הוא השתקפות של העולם המופשט והמושלם.
+==ראו גם==
+* [[יחס הזהב]]
+* [[פרקטל]]
+* [[E=mc²]]
-על פי הפילוסופיה [https://he.wikipedia.org/w/%D7%90%D7%A4%D7%9C%D7%98%D7%95%D7%9F האפלטונית] העולם נחלק לשני חלקים נפרדים: העולם הפיזי, הנתפס באמצעות החושים ועולם ה"צורות" אשר ניתן להבנה אך ורק באמצעות השכל. עולם הצורות הוא עולם מופשט המכיל אידאות, אמיתות קבועות שביניהן המתמטיקה. אפלטון וממשיכיו האמינו כי העולם הפיזי הוא השתקפות של העולם המופשט והמושלם.
 ==לקריאה נוספת==