סדרה הנדסית

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

== הסבר כללי ==
מקובל לסמן את האיבר במקום ה-<math>n</math> בצורה <math>a_n</math> (את האות <math>a</math> עשויה להחליף אות אחרת). אם ידוע לנו האיבר הראשון (מסומן <math>a_1</math>) ומנת הסדרה (הקבועה לכל אורכה; מקובל לסמן אותה באות <math>q</math>), אז ערכו של האיבר במקום ה-<math>n</math> נתון בנוסחה:
<math display="block">a_n = a_1 \cdot q^{n-1} = a_1 \cdot \underbrace{q \cdot q \cdot \cdots \cdot q}_{n-1\ \rm{times}}</math>

== הגדרה פורמלית ==
=== האיבר הכללי ===
תהי סדרה <math>\{a_n\}_{n=1}^{\infty}</math>. נאמר שהסדרה הנדסית, אם קיים <math>q</math> כך שלכל <math>n\ge 1</math>,
:<math>a_{n+1} = q \cdot a_n</math>
מההגדרה נובע כי ניתן לאפיין כל סדרה הנדסית בעזרת שני ערכים:
* <math>a_1</math> – האיבר הראשון בסדרה
* <math>q</math> – מנת הסדרה
במילים אחרות, הסדרה מוגדרת על ידי נוסחת נסיגה, <math>a_{n+1} = q \cdot a_n</math>, עם ערך התחלתי <math>a_1</math>.

ההגדרה לפי נוסחת הנסיגה שקולה להגדרה לפי הנוסחה לאיבר כללי בסדרה:
<math display="block">a_n = a_1 \cdot q^{n-1}</math>

== סכום סדרה הנדסית ==
מקובל לסמן את סכום האיברים בסדרה (כלשהי) <math>S = a_1 \sum_{n=N_1}^{N_2} q^n \displaystyle</math>, כאשר <math>N_1
</math> ו - <math>N_2</math> הם הגבולות הרצויים. 

מקרה פרטי הוא סכימה מהאיבר במקום ה-1 ועד האיבר במקום ה-<math>n</math> (ועד בכלל). מקובל לסמן סכום זה בביטוי <math>S_n</math>, ניתן לחשב את הסכום ישירות, על ידי חיבור כל הערכים. 

עם זאת, במקרה של סדרה הנדסית קיימת גם נוסחה סגורה; 

עבור המקרה הכללי:

<math display="block">S = a_1\left(\frac{q^{N_1} - q^{1-q}\right)</math>

ועבור המקרה הפרטי:<math display="block">S_n = \frac{a_1\cdot(q^n-1)}{q-1}</math>

למשל, סדרה הנדסית סופית שמנתה היא 3, האיבר הראשון שלה הוא 2, ומספר איבריה הוא 5. בפירוש:
:<math>162 ,54, 18, 6, 2.</math>
ניתן לסכום את הסדרה בפירוש,
:<math>2+6+18+54+162=242</math>

הנוסחות שמופיעה לעיל נותנות את אותו סכום, ללא סכימה מפורשת:

:לפי הנוסחה הכללית:
:<math>S = 2\cdot\sum_{n=0}^{4}{3^n}= 2\cdot\frac{3^0-3^{4+1}}{1-3}= 2\cdot\frac{1-243}{-2}=242</math>
:לפי הנוסחה הפרטית:
:<math>S_n = \frac{a_1\cdot(q^n-1)}{q-1}= \frac{2\cdot(3^5-1)}{3-1}= \frac{2\cdot (243-1)}{2}=242</math>

חשיבותה של הנוסחה מתבררת כאשר מעוניינים לסכום עד <math>n</math> גדול. במקרה כזה, סכימה ידנית עשויה להיות מייגעת, ואילו הזמן שלוקח לחשב את הנוסחה הוא בערך קבוע.

=== הוכחת הנוסחה ===
על פי הגדרת הסדרה ההנדסית:
:<math>\begin{align}
S_n & = a_1+a_2+...+a_n \\
& = a_1+a_1q+a_1q^2+...+a_1q^{n-1}
\end{align}</math>
הוספת האיבר הבא בסדרה נותנת את הסכום הבא בתור:
:<math>\begin{align}
S_{n+1} & = a_1+a_1q+a_1q^2+...+a_1q^{n-1}+a_1q^n \\
& =\left(a_1+a_1q+a_1q^2+...+a_1q^{n-1}\right)+a_1q^n \\
& = S_n + a_1q^n
\end{align}</math>
ואחרי סידור חדש, מתקבל
:<math>S_{n+1}-S_n = a_1q^n\quad\quad(1)</math>

מצד שני,
:<math>\begin{align}
S_{n+1} & = a_1 + a_1q + a_1q^2 + \cdots +a_1 q^n \\
& = a_1 + q\left(a_1+a_1q+a_1q^2+...+a_1q^{n-1}\right) \\
& = a_1+q \cdot S_n
\end{align}</math>
לכן:
:<math>\begin{align}
S_{n+1}-S_n & = a_1+qS_n-S_n \\
& = a_1+S_n(q-1)
\end{align}</math>

הצבה של משוואה <math>(1)</math> נותנת:
:<math>\begin{align}
a_1+S_n(q-1)& =a_1q^n \\
S_n(q-1) & =a_1q^n-a_1 \\
S_n(q-1) & =a_1(q^n-1)
\end{align}</math>

כדי להימנע מחלוקה באפס, נחלק למקרים:
* אם <math>q=1</math>, הסדרה ההנדסית היא גם סדרה קבועה, שכל איבריה זהים, שכן 1 הוא איבר היחידה ביחס לפעולת הכפל. במקרה כזה נוסחת הסכום פשוטה לחישוב: <math>S_n = n \cdot a_1</math>.
* אחרת, ניתן לחלק את האגף הימני והשמאלי ב- <math>(q-1)</math>, ותתקבל הנוסחה:
*:<math>S_n = \frac{a_1(q^n-1)}{q-1}</math>

== סימון חלופי ==
לעיתים מתחילים את אינדקס הספירה <math>n</math> מ-0, ואז הנוסחה לאיבר כללי מקבלת את הצורה:
<math display="block">a_n = a_0 \cdot q^{n}</math>
והנוסחה לסכום החלקי
<math display="block">S_n = \frac{a_0(q^{n+1}-1)}{q-1}</math>

==התכנסות טורים הנדסיים==

מנוסחת סכום סדרה הנדסית ניתן לראות, שאם <math>|q|<1</math>, גם אם מספר האיברים שואף לאינסוף (סוכמים "אינסוף איברים"), סכום הסדרה יהיה סופי (כלומר, מתכנס למספר מסוים), כיוון ש-<math>q^n \to 0</math>.

לכן, סכום הטור האינסופי מוגדר להיות גבול סדרת הסכומים החלקיים, והוא
:<math>S_\infty := \lim_{n \to \infty} S_n = \lim_{n \to \infty} \frac{a_1(q^n-1)}{q-1} = \frac{a_1}{1-q}</math>.
אם הגבול של סכום סדרה אינסופית קיים, אז הסכום נקרא טור מתכנס. בפרט, להתכנסות של הטור ההנדסי חשיבות רבה, שכן קיימים מבחני התכנסות לטורים אשר מתבססים על היכולת להשוות את הטור האינסופי שהתכנסותו נבדקת לטור הנדסי.

== ראו גם ==
* סדרה (מתמטיקה)
* סדרה הנדסית אינסופית מתכנסת
* סדרה חשבונית
* טור (מתמטיקה)
* נוסחת נסיגה
* התפלגות גאומטרית

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

* [http://icalc.co.il/index.php/מחשבונים-מתמטיים/313-מחשבון-סכום-של-סדרה-הנדסית.html מחשבון סכום של סדרה הנדסית], באתר icalc
* 
* 

== ביאורים ==

קטגוריה:ערכים שבהם תבנית בריטניקה אינה מתאימה
הנדסית