שבר מחזורי

במתמטיקה, שבר מחזורי הוא ביטוי אינסופי הכתוב כשבר עשרוני על-פי השיטה העשרונית או שיטת ספירה אחרת, שבו הספרות שמימין לנקודה העשרונית חוזרות על עצמן ממקום מסוים ואילך. לדוגמה, <math>\ 42.3718181818...</math>. ביטוי כזה מייצג מספר רציונלי, כלומר, מנה של שני מספרים שלמים (הקרויה גם שבר). 

את המחזור מקובל לציין בקו מחבר מעל לספרות החוזרות: כותבים <math>\ 42.37\overline{18}</math> במקום <math>\ 42.3718181818...</math>, ו- <math>\ 0.\overline{3}</math> במקום <math>\ 0.333...</math>.

לכל מספר רציונלי חיובי <math>\tfrac{n}{m}</math> יש הצגה כביטוי עשרוני <math>\ a_0.a_1a_2\dots</math>, שבו <math>\ a_0</math> הוא מספר שלם, ואילו <math>\ a_1,a_2,\dots</math> המופיעים אחרי הנקודה הם ספרות מהקבוצה <math>\ \{0,1,2,\dots,9\}</math>. בהנחה שהשבר <math>\tfrac{n}{m}</math> מצומצם, יש לו הצגה סופית (כזו שבה הספרות <math>\ a_i</math> שוות לאפס ממקום מסוים ואילך) אם ורק אם <math>\ m</math> מחלק חזקה כלשהי של 10; בכל מקרה אחר, יש לו הצגה (יחידה) כשבר מחזורי. טענה זו נכונה בכל בסיס: הפיתוח הוא סופי אם ורק אם המכנה מחלק חזקה כלשהי של הבסיס, ואחרת הפיתוח מחזורי (השבר <math>\tfrac{1}{3}</math>, למשל הוא שבר מחזורי בשיטה העשרונית, אך יש לו הצגה סופית בבסיס טרנרי, שבו ערכו 0.1).

את השבר המחזורי <math>\ 0.999\dots</math> אפשר להציג גם כביטוי עשרוני סופי - הוא שווה ל-1. כך הדבר בכל שבר מחזורי שבו המחזור מורכב מן הספרה 9 (ובבסיס b, בכל שבר מחזורי שבו המחזור מורכב מן הספרה b-1). להרחבה בנושא ראו 0.999....

המחזור אינו מתחיל בהכרח בספרה הראשונה שמימין לנקודה העשרונית - השבר <math>\tfrac{1}{6}</math>, למשל, נכתב בצורה ...0.16666, כלומר המחזור שלו כולל את הספרה 6, שמופיעה החל מהמקום השני מימין לנקודה.

== הפיכה ידנית של שבר מחזורי לשבר פשוט ==
נקח לדוגמה את השבר המחזורי ...0.166666, אפשר להציב אותו במשתנה X, כך: <math>X= 0.1\overline{6}</math> לזה נקרא 1#
<br>
את 1# עכשיו נכפיל ב-10, כך: <math>10X= 1.\overline{6}</math> ולזה נקרא 2#
<br>
כאן פשוט נחסר את 1# מ-2# ונקבל <math>10X-X=9X= 1.\overline{6}-0.1\overline{6}=1.5</math>
<br>
<math>X=\tfrac{1.5}{9}=\tfrac{1}{6}</math>
<br>
במקרים שונים צריך להכפיל את X במספר שונה, העיקרון הוא להכפיל אותו פי [מספר הספרות שיחזרו על עצמן]^10.

==הוכחות==
===הערך של שבר מחזורי הוא רציונלי===

==== דוגמה מספרית ====
דוגמה שתסייע להבנת ההליך הכללי שמופיע בהמשך:
ניקח למשל את השבר העשרוני האינסופי 
: <math>x=0.37373737...=\overline{0.37} </math> 
אורך המחזור הוא 2 ספרות. נכפיל בעשר בחזקת אורך המחזור ונקבל 
: <math>x\cdot10^{2}=x\cdot100=37+0.\overline{37}</math>
נחסיר את המשוואה הראשונה מהשנייה ונפשט את הביטוי:
: <math display="block">100\cdot x-x=37.\overline{37}-0.\overline{37} \implies 99x=37 \implies x=37/99</math>
מצאנו שהשבר הרציונלי הוא 37/99.

==== הוכחה כללית ====
הוכחה כללית עבור כל שבר עשרוני מחזורי. אותה שיטת הוכחה ניתנת ליישום בכל בסיס, לאו דווקא בבסיס 10:
על-פי ההגדרה, השבר <math>\ a_0.a_1a_2\dots</math> שווה לסכום האינסופי
<math>\ x = a_0+\frac{a_1}{10}+\frac{a_2}{10^2}+\dots</math>, שהוא מספר ממשי. נראה שאם הספרות <math>\ a_1,a_2,\dots,</math> חוזרות על עצמן (ממקום מסוים ואילך), התוצאה היא מספר רציונלי. ראשית, אפשר להכפיל את המספר הנתון בחזקה גבוהה של 10, ואז לחסר את החלק השלם - כך שיתקבל שבר "מחזורי טהור", היינו ביטוי מהצורה <math>\ x = 0.\overline{a_1 a_2 \dots a_k}</math>. אם נראה שמספר זה הוא רציונלי, יתברר שגם המספר המקורי רציונלי. ואכן, לפי הגדרת המחזוריות
: <math>\ 10^k x = 10^{k-1}a_1+10^{k-2}a_2+\dots+10a_{k-1}+a_k +x</math>, 
ולכן
: <math>\ x = \frac{10^{k-1}a_1+10^{k-2}a_2+\dots+10a_{k-1}+a_k}{10^k-1}</math>.

=== ההצגה העשרונית של מספר רציונלי היא מחזורית === 

נתון מספר רציונלי חיובי <math>\ x = \frac{n}{m}</math> (כאשר n ו-m שלמים). נפרק את m למכפלה: <math>\ m = m_0 m_1</math>, כאשר <math>\ m_0</math> מורכב מן החזקות הגבוהות ביותר של 2 ו- 5 המחלקות את m, ואילו <math>\ m_1</math> זר ל-10. כעת קיים k כך ש- <math>\ m_0</math> מחלק את <math>\ 10^k</math>, ואפשר לכתוב <math>\ x = \frac{n (10^k/m_0)}{10^k m_1}</math>. לפי משפט אוילר, קיים מספר t כך ש- <math>\ 10^t-1</math> יתחלק ב- <math>\ m_1</math> (למעשה t מחלק את <math>\ \phi(m_1)</math>, כאשר <math>\ \phi</math> היא פונקציית אוילר). נסמן <math>\ N = n \frac{10^k}{m_0} \frac{10^t-1}{m_1}</math>, ונחלק עם שארית: <math>\ N = a_0 (10^t-1) + A</math>. כעת <math>\ x = \frac{1}{10^k} \cdot \left(a_0 + \frac{A}{10^t-1}\right)</math>. אבל <math>\ A < 10^t-1</math>, ולכן אפשר לכתוב <math>\ A = 10^{t-1} a_1 + \dots + a_t</math>, כאשר <math>\ a_1,\dots,a_t</math> הן ספרות (בטווח 0 עד 9). מכאן ש- <math>\ 10^k x = a_0 . \overline{a_1 a_2 \dots a_t}</math>. 

זוהי ההוכחה עבור בסיס 10; להוכחה של אותה טענה בבסיס כללי, B, יש לפרק את m למרכיב המחלק חזקה גבוהה של B, כפול מרכיב זר ל-B, ולהמשיך באותו אופן.

=== הוכחה אחרת לכך שההצגה העשרונית של מספר רציונלי היא ביטוי סופי או מחזורי ===

יהי <math>\frac{p}{q}</math> שבר מצומצם כאשר <math>p,q \in \mathbb{N}</math> (מספרים טבעיים שונים מאפס). נבצע חילוק ארוך של p ב-q. אזי "נוסיף אפסים" מימין במידת הצורך (ראו הסבר למה הכוונה בהמשך ובדוגמה), ונקבל שכל השאריות האפשריות הן <math>\{ 0,1,...,q-1 \}</math>. אם נגיע בשלב כלשהו לשארית 0 סיימנו (אם רוצים להפוך את הביטוי למחזורי, אפשר להחסיר 1 מהספרה האחרונה ולהוסיף אינסוף ספרות 9 מימין לה. למשל: ). אם לא, מתישהו נבצע q+1 פעולות חילוק. מאחר שיש יותר פעולות חילוק מאשר שאריות אפשריות, נובע לפי עיקרון שובך היונים, שמתישהו השארית חוזרת על עצמה, ועל כן כל סדרת השאריות הנובעת ממנה חוזרת באופן אינסופי.

בפועל, כדי לחלק את p ב-q, בכל פעם שהשארית קטנה מ-q ושונה מאפס, מוסיפים עוד אפס מימין ואז מבצעים חילוק עם שארית (יש לזכור לטפל נכון בחזקות של ה-10). סכום המנות (או סדרת המנות, כאשר כל מנה מוכפלת בחזקה מתאימה של 10) נותן את תוצאת החילוק. <math>\blacksquare</math>

==== דוגמה 1 ====

נחשב את <math>\tfrac{1}{6}</math>. כדי להקל על המעקב נצבע את 6 בירוק, ואת המנה של החלוקה ב-6 בכל שלב נצבע בכחול. 
נתחיל לפי האלגוריתם של אוקלידס: 
: <math>\ 1 = {\color{blue}0} \times {\color{OliveGreen}6} + 1</math>
:: <math>1.0 = {\color{blue}0.1} \times {\color{OliveGreen}6} + 0.4</math> (כאן הוספנו 0 מימין ל-1 כי <math>1<6</math>)
::: <math> 0.4 = 0 \times {\color{OliveGreen}6} + 0.4</math>
::: <math>0.40 = {\color{blue}0.06} \times {\color{OliveGreen}6} + 0.04</math> (כאן הוספנו 0 מימין ל-4 כי <math>4<6</math>) (נשים לב כי <math> 0.06 \times 6 = 0.36 </math>)
:::: <math>0.040 = {\color{blue}0.006} \times{\color{OliveGreen}6} + 0.004</math> (גם כאן הוספנו 0 מימין ל-4, כי <math>4<6</math>)
::::: <math>0.0040 = {\color{blue}0.0006} \times {\color{OliveGreen}6} + 0.0004</math> (גם כאן הוספנו 0 מימין ל-4, כי <math>4<6</math>)
וקל לראות שמכאן ואילך הספרה 6 חוזרת על עצמה (למעשה היה ניתן לראות זאת בשלב מוקדם יותר של החילוק, אך המשכנו לבצע חילוק עם שארית במפורש כדי להדגים את השיטה ולהראות ישירות שהספרה 6 מתחילה לחזור על עצמה). 
נאסוף את כל המנות שצברנו (הן מודגשות בכחול):
: <math> 0 + 0.1 + 0.06 + 0.006 + 0.0006 + ...</math> 
ונקבל 
: <math>\frac{1}{6} = 0.1666...</math>
וזהו אכן ביטוי עשרוני מחזורי.

==== דוגמה 2 ====

נחשב את <math>\tfrac{1}{7}</math>. כדי להקל על המעקב נצבע את 7 בירוק, ואת המנה של החלוקה ב-7 בכל שלב נצבע בכחול. 
נתחיל לפי האלגוריתם של אוקלידס: 
: <math>\ 1 = {\color{blue}0} \times {\color{OliveGreen}7} + 1</math>
:: <math>1.0 = {\color{blue}0.1} \times {\color{OliveGreen}7} + 0.3</math> (כאן הוספנו 0 מימין ל-1 כי <math>1<7</math>)
::: <math> 0.3 = 0 \times {\color{OliveGreen}7} + 0.3</math>
::: <math>0.30 = {\color{blue}0.04} \times {\color{OliveGreen}7} + 0.02</math> (כאן הוספנו 0 מימין ל-3 כי <math>3<7</math>) (נשים לב כי <math> 0.04 \times 7 = 0.28 </math>)
:::: <math>0.020 = {\color{blue}0.002} \times{\color{OliveGreen}7} + 0.006</math> (גם כאן הוספנו 0 מימין ל-2, כי <math>2<7</math>)
::::: <math>0.0060 = {\color{blue}0.0008} \times {\color{OliveGreen}7} + 0.0004</math> (גם כאן הוספנו 0 מימין ל-6, כי <math>6<7</math>)
:::::: <math>0.00040 = {\color{blue}0.000 05} \times {\color{OliveGreen}7} + 0.000 05</math> (גם כאן הוספנו 0 מימין ל-4, כי <math>4<7</math>)
::::::: <math>0.000 050 = {\color{blue}0.000 007} \times {\color{OliveGreen}7} + 0.000 001</math> (גם כאן הוספנו 0 מימין ל-5, כי <math>5<7</math>)
:::::::: <math>0.000 0010 = {\color{blue}0.000 000 1} \times {\color{OliveGreen}7} + 0.000 000 3</math> (גם כאן הוספנו 0 מימין ל-1, כי <math>1<7</math>)
וקל לראות שמכאן ואילך התהליך חוזר על עצמו.
נאסוף את כל המנות שצברנו (הן מודגשות בכחול):
: <math> 0 + 0.1 + 0.04 + 0.002 + 0.0008 + 0.00005 + 0.000 007 + 0.000 000 1 + ...</math> 
ונקבל
: <math>\frac{1}{7} = 0.1428571... = 0.142857... = 0.\overline{142857}</math>
וזהו אכן ביטוי עשרוני מחזורי.

== ראו גם ==
*&lrm;0.999...&lrm;
*מספר p-אדי

==קישורים חיצוניים==
* 

קטגוריה:תורת המספרים
קטגוריה:תכונות התלויות בבסיס הספירה