חשבון אינפיניטסימלי/מושגים בסיסיים בתורת הקבוצות: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
שורה 258:
===טענה: <math>\sqrt{2}</math> אינו רציונלי.===
====הקדמה====
<u>הגדרה:</u> מספר x יקרא ''אי רציונלי'' אם <math>x\in\mathbb{R}\backslash\mathbb{Q}</math>. במילים אחרות, אם '''לא''' קיימים <math>p,q\in\mathbb{Z}</math> כך שניתן לרשום <math>x=\frac{p}{q}</math>.
טענה זו נראית אולי סתמית למדי במבט ראשון, אך למעשה חשיבותה עצומה. שכן, עד כה הסברנו אמנם מהו מספר שאינו רציונלי, אך לא הראינו שקיים כזה.</br>
האגדה מספרת על כת הפיתגוראים ביוון העתיקה, שהאמינו במספרים ועבדו אותם. המספרים היו, בעיניהם, מושלמים. יום אחד, גילה אחד מתלמידיו של פיתגורס כי קיים מספר שאינו רציונלי, הלא הוא <math>\sqrt{2}</math> ידידינו. הגילוי חולל סערה גדולה, שהרי כיצד ייתכן שבין המספרים המושלמים, שהיו שקולים לאלים, קיים מספר שאינו מושלם, כלומר אינו רציונלי? באורח פלא, זמן קצר לאחר תגלית זו נטרפה ספינתו של המגלה, ומבחינת הפיתגוראים היתה זו הוכחה לכך שהאלים נקמו את נקמתם. זאת, כמובן, אם מאמינים שהספינה אכן נטרפה בים דרך מקרה.... ונחזור למתמטיקה.</br>
<u>טענה</u>: המספר <math>\sqrt{2}</math> אינו רציונלי, כלומר <math>\sqrt{2}\not\in\mathbb{Q}</math>.</br>
הוכחה: לשם כך ניעזר בלֶמה (משפט עזר):
====למת עזר: אם <math>n^2</math> זוגי, אזי: n זוגי.====
''הוכחת הלמה'':</br>
יהא n מספר זוגי כלשהו, אז נוכל לרשום אותו באופן הבא: <math>n=2\times k</math>, כאשר <math>k\in\mathbb{Z}</math>. ואז: <math>n^2 =\left( 2k \right) ^2 =4k^2</math>, וכמובן ש- <math>4k^2</math> הוא מספר זוגי.
יהא כעת n מספר אי-זוגי כלשהו. אז נוכל לרשום אותו באופן הבא: <math>n=2k+1</math>, כאשר <math>k\in\mathbb{Z}</math>. ואז נקבל:
<math>n^2 = \left( 2k+1 \right) ^2 = \underbrace{ 4k^2 }_{(*)} + \underbrace{ 4k }_{(*)} +1=(**) </math></br>
כל אחד מהביטויים (*) הוא זוגי, לכן סכומם זוגי. נוסיף להם 1, ונקבל שהביטוי (**) הוא זוגי.
לכן, האפשרות היחידה עבור מספר n כלשהו להיות זוגי, הוא אם n עצמו זוגי. ▪
====הוכחת הטענה====
<u>הוכחה</u>: נניח בשלילה כי <math>\sqrt{2}\in\mathbb{Q}</math>, כלומר רציונלי, ונגיע לסתירה:</br>
<math>\Leftarrow \sqrt{2}\in\mathbb{Q}</math> ניתן לכתוב את <math>\sqrt{2}</math> כשבר מצומצם (מהגדרת <math>\mathbb{Q}</math>), כלומר: <math>\sqrt{2} = \frac{m}{n} \left( * \right)</math> עבור m,n שלמים כלשהם. נעלה כעת את הביטוי (*) בריבוע. נקבל:
<math>\left( \sqrt{2} \right) ^2 = 2=\left( \frac{m}{n} \right) ^2 =\frac{m^2}{n^2}</math>.
<math> (**) 2n^2 = m^2 \Leftarrow</math>
<math> m^2 \Leftarrow</math> מספר זוגי
<math> m \Leftarrow</math> מספר זוגי (לפי הלמה) <math>\Leftarrow</math> נוכל לכתוב: m=2p (עבור <math>p\in\mathbb{Z}</math> מסויים). כעת, נרשום את הביטוי האחרון (**) באופן הבא: <math>2n^2 =m^2 = \left( 2p \right) ^2 =4p^2 </math>
<math>\not 2 n^2 =_2\not 4 p^2\Leftarrow</math>
<math>n^2 = 2p^2 \Leftarrow </math>
<math> n^2 \Leftarrow</math> מספר זוגי
<math> n \Leftarrow</math> מספר זוגי! (לפי הלמה).
<u>''אבל''</u>: הסקנו מוקדם יותר ש- m הוא מספר זוגי, וכעת הסקנו ש- n הוא מספר זוגי, וזוהי סתירה להנחה ש- <math>\frac{m}{n}</math> שבר מצומצם! <math>\sqrt 2 \Leftarrow</math> אינו מספר רציונלי, והטענה הוכחה. ▪
==הנושא הבא==
| |||