השורש הריבועי של 2

השורש הריבועי של 2 הוא אורכו של היתר במשולש ישר-זווית ושווה-שוקיים שאורך ניצביו הוא 1

השורש הריבועי של 2, ידוע גם כקבוע פיתגורס, לרוב מסומן ${\sqrt {2}}$ , הוא המספר הממשי החיובי שכאשר יוכפל בעצמו, תהיה התוצאה שווה ל-2. זהו ככל הנראה המספר האי-רציונלי הידוע הראשון. השורש הריבועי של 2, מעוגל ל-50 הספרות הראשונות הוא:

37695 71875 85696 69807 24209 16887 04880 73095 35623 1.41421

על-פי משפט פיתגורס, השורש הריבועי של 2 הוא אורך האלכסון בריבוע שאורך צלעותיו הוא 1.

הקירוב בשברים ${\tfrac {99}{70}}$ עבור שורש 2 מדויק עד לספרה הרביעית אחרי הנקודה העשרונית.

המספר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 1+\sqrt2} נקרא לפעמים "יחס הכסף".

היסטוריה

תבליט נחושת בבלי (המתאורך ל-1800 עד 1600 לפה"ס) עם הסברים

תבליט נחושת בבלי (המתוארך ל-1800 עד 1600 לפנה"ס) נותן קירוב של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sqrt2} בדיוק של ארבע ספרות סקסגסימליות שהן כשש ספרות עשרוניות:

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 1+\frac{24}{60}+\frac{51}{60^2}+\frac{10}{60^3}=1.41421\overline{296}}

אזכור קדום נוסף של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sqrt2} בקירוב מופיע במסמך הודי עתיק הנקרא "שולבא-סוטרא": "הגדילו את אורך הצלע בשליש ממנה, הוסיפו רבע מן השליש שלה והפחיתו אחד חלקי שלושים וארבע של הרבע שהוספתם" – כלומר:

$1+{\frac {1}{3}}+{\frac {1}{3\cdot 4}}-{\frac {1}{3\cdot 4\cdot 34}}={\frac {577}{408}}\approx 1.41421{\overline {5686}}$

הקירוב ההודי העתיק הוא למעשה המספר השביעי בסדרת פל, והמספרים הבאים בסדרת פל משמשים לקירוב יותר מדויק של השורש הריבועי של 2.

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

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

דרכים לחישוב 2√

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

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sqrt2=1+\dfrac{1}{2+\dfrac{1}{2+\dfrac{1}{2+\dfrac{1}{2+\dfrac{1}{\ddots}}}}}}

מן השבר הזה מתקבלת סדרה של קירובים בשברים: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \tfrac{3}{2}, \tfrac{7}{5}, \tfrac{17}{12}, \tfrac{41}{29}, \tfrac{99}{70}, \dots } .

בשנת 1996 חושב הערך של השורש הריבועי של 2 עד כדי 137,438,953,444 (כ-137.4 מיליארד) ספרות לאחר הנקודה, על ידי מתמטיקאי יפני, יאסומסה קאנאדה. בשנת 2006 נשבר השיא של חישוב ספרות לאחר הנקודה של השורש הריבועי של 2 והגיע ל-200 מיליארד ספרות לאחר הנקודה; החישוב, במחשב אישי, נמשך 13 ימים ו-14 שעות.

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

הוכחת אי-רציונליות

ישנן הוכחות רבות לאי-רציונליות של שורש 2. ההוכחה המפורסמת ביותר ניתנה על ידי אוקלידס והיא ניתנת כאן:

נניח בשלילה כי קיימים מספרים טבעיים זרים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle m,n} עבורם:

1. הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \left(\tfrac{m}{n}\right)^2=2} . אז $m^{2}=2n^{2}$ ולכן הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle m^2} זוגי.
2. כיוון שהעלאת מספר אי-זוגי בריבוע נותנת מספר אי-זוגי, גם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle m} זוגי, ולכן הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle m=2k} כאשר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle k} מספר טבעי. נציב ונקבל $(2k)^{2}=2n^{2}$ , כלומר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 2k^2=n^2} .
3. באותו אופן גם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle n^2} זוגי, ולכן הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle n} זוגי – בסתירה להנחה ש-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle m,n} זרים. לכן אין ל-2 שורש רציונלי.

הוכחה לא בונה

שורש 2 משמש תפקיד מרכזי בדוגמה מפורסמת להוכחה לא בונה (הוכחה המראה קיומו של עצם מבלי להראות כיצד ניתן להשיגו). ההוכחה מראה קיום מספר אי-רציונלי בחזקת מספר אי-רציונלי הנותן תוצאה רציונלית. נתבונן בשורש 2 בחזקת שורש 2, כלומר: ${\sqrt {2}}^{\sqrt {2}}$ . אם הוא רציונלי, מצאנו. אחרת, נעלה מספר זה בחזקת שורש 2 ונקבל את התוצאה הרציונלית 2.

בזכות משפט גלפונד-שניידר ידוע כי במקרה הזה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sqrt2^\sqrt{2}} מספר טרנסצנדנטי ולכן גם אי-רציונלי.

תכונות

השורש הריבועי של 2 הוא מספר אלגברי, ויתר על כן, הוא שלם אלגברי, שכן הוא שורש של הפולינום המתוקן הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle x^2-2\in\Z[x]} .

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sqrt2} בחזקת עצמו אינסוף פעמים שווה ל-2 (ראו מגדל חזקות).

שימושים

לגליונות נייר בתקן ISO 216 יחס של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sqrt2} בין אורכי צלעותיהם. כך יחס הצלעות נשמר בקיפול מדויק של הגיליון לשניים. לדוגמה, מידות דף A4 הן 210 על 297 מילימטרים – יחס מדויק עד הספרה הרביעית אחרי הנקודה העשרונית. סדרות הגליונות בתקן זה מוגדרות כך שכל דף קצר פי ${\sqrt {2}}$ במידות האורך מקודמו בסדרה (A4 קצר פי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sqrt2} מ-A3), וכך תוצאת קיפול או חיתוך גיליון לשניים מתקבלת במידותיו של הגיליון הבא בסדרה.

הערות שוליים

הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0