במתמטיקה, סדרה הנדסית או סדרה גאומטרית היא סדרה של מספרים, כך שהיחס בין כל שני איברים סמוכים הוא קבוע. במילים אחרות, ניתן לחשב כל איבר בסדרה על ידי הכפלת האיבר הקודם לו במספר קבוע
(היחס בין האיברים; נקרא גם מנת הסדרה). סדרה הנדסית קרויה כך, משום שכל איבר בה הוא הממוצע ההנדסי של האיבר הקודם לו והאיבר העוקב לו.
מקובל לסמן את האיבר במקום ה-
[א] בצורה
(את האות
עשויה להחליף אות אחרת). אם ידוע לנו האיבר הראשון (מסומן
) ומנת הסדרה (הקבועה לכל אורכה; מקובל לסמן אותה באות
), אז ערכו של האיבר במקום ה-
נתון בנוסחה:
תהי סדרה
. נאמר שהסדרה הנדסית, אם קיים
כך שלכל
,
![{\displaystyle a_{n+1}=q\cdot a_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/99033902916b201f4cb771313932c660843688c0)
מההגדרה נובע כי ניתן לאפיין כל סדרה הנדסית בעזרת שני ערכים:
– האיבר הראשון בסדרה
– מנת הסדרה
במילים אחרות, הסדרה מוגדרת על ידי נוסחת נסיגה,
, עם ערך התחלתי
.
ההגדרה לפי נוסחת הנסיגה שקולה להגדרה לפי הנוסחה לאיבר כללי בסדרה:
מקובל לסמן את סכום האיברים בסדרה (כלשהי)
, כאשר
ו -
הם הגבולות הרצויים.
מקרה פרטי הוא סכימה מהאיבר במקום ה-1 ועד האיבר במקום ה-
(ועד בכלל)[ב]. מקובל לסמן סכום זה בביטוי
, ניתן לחשב את הסכום ישירות, על ידי חיבור כל הערכים.
עם זאת, במקרה של סדרה הנדסית קיימת גם נוסחה סגורה;
עבור המקרה הכללי:
ועבור המקרה הפרטי:
למשל, סדרה הנדסית סופית שמנתה היא 3, האיבר הראשון שלה הוא 2, ומספר איבריה הוא 5. בפירוש:
![{\displaystyle 162,54,18,6,2.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/141c084679f8e95be5b5f96b0cf85370121b61b0)
ניתן לסכום את הסדרה בפירוש,
![{\displaystyle 2+6+18+54+162=242}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f92c2ed608c6a74f2d56d4f3cdeb56f6fd0455f1)
הנוסחות שמופיעה לעיל נותנות את אותו סכום, ללא סכימה מפורשת:
- לפי הנוסחה הכללית:
![{\displaystyle 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}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bd9cc49a3d3dc0d9563eabcc7592a7c7fcf2d78a)
- לפי הנוסחה הפרטית:
![{\displaystyle 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}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3ad41206ffcf750ab2e414c8bdf66a9a2f07b3a8)
חשיבותה של הנוסחה מתבררת כאשר מעוניינים לסכום עד
גדול. במקרה כזה, סכימה ידנית עשויה להיות מייגעת, ואילו הזמן שלוקח לחשב את הנוסחה הוא בערך קבוע.
על פי הגדרת הסדרה ההנדסית:
![{\displaystyle {\begin{aligned}S_{n}&=a_{1}+a_{2}+...+a_{n}\\&=a_{1}+a_{1}q+a_{1}q^{2}+...+a_{1}q^{n-1}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3ed6663c103b0a4e94bcab947eee51680ff412c2)
הוספת האיבר הבא בסדרה נותנת את הסכום הבא בתור:
![{\displaystyle {\begin{aligned}S_{n+1}&=a_{1}+a_{1}q+a_{1}q^{2}+...+a_{1}q^{n-1}+a_{1}q^{n}\\&=\left(a_{1}+a_{1}q+a_{1}q^{2}+...+a_{1}q^{n-1}\right)+a_{1}q^{n}\\&=S_{n}+a_{1}q^{n}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4dcdfb0e385c45e59b7fbd27395520aecdbbd725)
ואחרי סידור חדש, מתקבל
![{\displaystyle S_{n+1}-S_{n}=a_{1}q^{n}\quad \quad (1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/76fe653b597299d12baf603ecfa23f433c971080)
מצד שני,
![{\displaystyle {\begin{aligned}S_{n+1}&=a_{1}+a_{1}q+a_{1}q^{2}+\cdots +a_{1}q^{n}\\&=a_{1}+q\left(a_{1}+a_{1}q+a_{1}q^{2}+...+a_{1}q^{n-1}\right)\\&=a_{1}+q\cdot S_{n}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5c7e5db22c5cf418281683fcc7294faa2a9e7022)
לכן:
![{\displaystyle {\begin{aligned}S_{n+1}-S_{n}&=a_{1}+qS_{n}-S_{n}\\&=a_{1}+S_{n}(q-1)\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/48f316c7f7277d50b40677144eacb7334537cc23)
הצבה של משוואה
נותנת:
![{\displaystyle {\begin{aligned}a_{1}+S_{n}(q-1)&=a_{1}q^{n}\\S_{n}(q-1)&=a_{1}q^{n}-a_{1}\\S_{n}(q-1)&=a_{1}(q^{n}-1)\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/42c1186c86083d76b28f8f10e7cf28abbc3b727b)
כדי להימנע מחלוקה באפס, נחלק למקרים:
- אם
, הסדרה ההנדסית היא גם סדרה קבועה, שכל איבריה זהים, שכן 1 הוא איבר היחידה ביחס לפעולת הכפל. במקרה כזה נוסחת הסכום פשוטה לחישוב:
.
- אחרת, ניתן לחלק את האגף הימני והשמאלי ב-
, ותתקבל הנוסחה:
![{\displaystyle S_{n}={\frac {a_{1}(q^{n}-1)}{q-1}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ac9b5dcfb591fb7f077bf86130f6b7ceb8918a19)
לעיתים מתחילים את אינדקס הספירה
מ-0, ואז הנוסחה לאיבר כללי מקבלת את הצורה:
והנוסחה לסכום החלקי
ערך מורחב – סדרה הנדסית אינסופית מתכנסת
מנוסחת סכום סדרה הנדסית ניתן לראות, שאם
, גם אם מספר האיברים שואף לאינסוף (סוכמים "אינסוף איברים"), סכום הסדרה יהיה סופי (כלומר, מתכנס למספר מסוים), כיוון ש-
.
לכן, סכום הטור האינסופי מוגדר להיות גבול סדרת הסכומים החלקיים, והוא
.
אם הגבול של סכום סדרה אינסופית קיים, אז הסכום נקרא טור מתכנס. בפרט, להתכנסות של הטור ההנדסי חשיבות רבה, שכן קיימים מבחני התכנסות לטורים אשר מתבססים על היכולת להשוות את הטור האינסופי שהתכנסותו נבדקת לטור הנדסי.
- ^ לפעמים קוראים לו גם האיבר ה-
-י
- ^ לפעמים נקרא גם הסכום החלקי של הסדרה