المتتابعة الحسابية

برهان بدون كلمات على صيغ المتتابعة الحسابية باستخدام نسخة مدورة من الكتل.

المتتابعة الحسابية ، أو المتتابعة الخطية ، هي سلسلة من الأعداد يكون فيها الفرق بين أي حد لاحق والحد السابق له ثابتًا طوال السلسلة. يُسمى هذا الفرق الثابت بالفرق المشترك لتلك المتتابعة الحسابية. على سبيل المثال، المتتابعة 5 ، 7، 9، 11، 13 ، 15، ... هي متتابعة حسابية فرقها المشترك هو 2.

إذا كان الحد الأول من متتابعة حسابية هوأ1{\displaystyle a_{1}}والفرق المشترك بين الأعضاء المتعاقبين هود{\displaystyle d}ثم الـن{\displaystyle n}الحد النوني للمتتالية (أن{\displaystyle a_{n}}) معطى بواسطة

أن=أ1+(ن-1)د.{\displaystyle a_{n}=a_{1}+(n-1)d.}

يُطلق على الجزء المحدود من المتتابعة الحسابية اسم المتتابعة الحسابية المحدودة ، ويُشار إليها أحيانًا بالمتتابعة الحسابية فقط. ويُطلق على مجموع المتتابعة الحسابية المحدودة اسم المتسلسلة الحسابية .

تاريخ

بحسب حكاية غير مؤكدة المصداقية، [ 2 ] أعاد كارل فريدريش جاوس ابتكار الصيغة في المدرسة الابتدائيةن(ن+1)2{\displaystyle {\tfrac {n(n+1)}{2}}}لجمع الأعداد الصحيحة من 1 إلىن{\displaystyle n}، بالنسبة لهذه الحالةن=100{\displaystyle n=100}عن طريق تجميع الأرقام من طرفي المتتالية في أزواج مجموعها 101 وضربها في عدد الأزواج. وبغض النظر عن صحة هذه الرواية، لم يكن غاوس أول من اكتشف هذه الصيغة. فقد عُرفت قواعد مماثلة في العصور القديمة لدى أرخميدس وهيبسيكليس وديوفانتوس ؛ [ 3 ] وفي الصين لدى تشانغ تشيوجيان ؛ وفي الهند لدى أريابهاتا وبراهماغوبتا وبهاسكارا الثاني ؛ [ 4 ] وفي أوروبا في العصور الوسطى لدى ألكوين ، [ 5 ] وديكويل ، [ 6 ] وفيبوناتشي ، [ 7 ] وساكروبوسكو ، [ 8 ] ومفسرين مجهولين للتلمود يُعرفون باسم التوسافيين . [ 9 ] ويرى البعض أن أصلها يعود إلى الفيثاغوريين في القرن الخامس قبل الميلاد . [ 10 ]

مجموع

2+5+8+11+14=40
14+11+8+5+2=40

16+16+16+16+16=80

حساب مجموع 2 + 5 + 8 + 11 + 14. عند عكس ترتيب الأعداد وإضافة كل عدد على حدة، نجد أن العدد الناتج يحتوي على قيمة مكررة واحدة تساوي مجموع العددين الأول والأخير (2 + 14 = 16). وبالتالي، فإن 16 × 5 = 80 هو ضعف المجموع.

يُطلق على مجموع عناصر متتابعة حسابية منتهية اسم متسلسلة حسابية . على سبيل المثال، لننظر إلى المجموع التالي:

2+5+8+11+14=40{\displaystyle 2+5+8+11+14=40}

يمكن إيجاد هذا المجموع بسرعة عن طريق أخذ عدد الحدود المضافة ( n) (هنا 5)، وضربه في مجموع الرقم الأول والأخير في المتتابعة (هنا 2 + 14 = 16)، ثم قسمة الناتج على 2:

ن(أ1+أن)2{\displaystyle {\frac {n(a_{1}+a_{n})}{2}}}

في الحالة المذكورة أعلاه، ينتج عن ذلك المعادلة التالية:

2+5+8+11+14=5(2+14)2=5×162=40.{\displaystyle 2+5+8+11+14={\frac {5(2+14)}{2}}={\frac {5\times 16}{2}}=40.}

هذه الصيغة صالحة لأي متتالية حسابية من الأعداد الحقيقية تبدأ بـأ1{\displaystyle a_{1}}وينتهي بـأن{\displaystyle a_{n}}. على سبيل المثال،

(-32)+(-12)+12=3(-32+12)2=-32.{\displaystyle \left(-{\frac {3}{2}}\right)+\left(-{\frac {1}{2}}\right)+{\frac {1}{2}}={\frac {3\left(-{\frac {3}{2}}+{\frac {1}{2}}\right)}{2}}=-{\frac {3}{2}}.}

الاشتقاق

برهان متحرك للصيغة التي تعطي مجموع الأعداد الصحيحة الأولى 1+2+...+n.

لاستنتاج الصيغة المذكورة أعلاه، ابدأ بالتعبير عن المتسلسلة الحسابية بطريقتين مختلفتين:

Sن=أ+أ2+أ3++أ(ن-1)+أن{\displaystyle S_{n}=a+a_{2}+a_{3}+\dots +a_{(n-1)}+a_{n}}
Sن=أ+(أ+د)+(أ+2د)++(أ+(ن-2)د)+(أ+(ن-1)د).{\displaystyle S_{n}=a+(a+d)+(a+2d)+\dots +(a+(n-2)d)+(a+(n-1)d).}

إعادة كتابة المصطلحات بترتيب عكسي:

Sن=(أ+(ن-1)د)+(أ+(ن-2)د)++(أ+2د)+(أ+د)+أ.{\displaystyle S_{n}=(a+(n-1)d)+(a+(n-2)d)+\dots +(a+2d)+(a+d)+a.}

بجمع الحدود المتناظرة لكلا طرفي المعادلتين وتقسيم كلا الطرفين على اثنين:

Sن=ن2[2أ+(ن-1)د].{\displaystyle S_{n}={\frac {n}{2}}[2a+(n-1)d].}

يمكن تبسيط هذه الصيغة على النحو التالي:

Sن=ن2[أ+أ+(ن-1)د].=ن2(أ+أن).=ن2(المصطلح الأولي+الفصل الدراسي الماضي).{\displaystyle {\begin{aligned}S_{n}&={\frac {n}{2}}[a+a+(n-1)d].\\&={\frac {n}{2}}(a+a_{n}).\\&={\frac {n}{2}}({\text{initial term}}+{\text{last term}}).\end{aligned}}}

علاوة على ذلك، يمكن حساب متوسط ​​قيمة السلسلة عبر ما يلي:Sن/ن{\displaystyle S_{n}/n}:

أ¯=أ1+أن2.{\displaystyle {\overline {a}}={\frac {a_{1}+a_{n}}{2}}.}

الصيغة هي نفسها أساسًا صيغة متوسط ​​التوزيع المنتظم المنفصل ، حيث تفسر المتتابعة الحسابية على أنها مجموعة من النتائج المحتملة بالتساوي.

منتج

يُحدد حاصل ضرب عناصر متتالية حسابية منتهية ذات عنصر ابتدائي a = 1 ، وفروق مشتركة d ، وعدد إجمالي n من العناصر، في صيغة مغلقة.

أ1أ2أ3أن=أ1(أ1+د)(أ1+2د)(أ1+(ن-1)د)=ك=0ن-1(أ1+كد)=دنΓ(أ1د+ن)Γ(أ1د){\displaystyle {\begin{aligned}a_{1}a_{2}a_{3}\cdots a_{n}&=a_{1}(a_{1}+d)(a_{1}+2d)\cdots (a_{1}+(n-1)d)\\[1ex]&=\prod _{k=0}^{n-1}(a_{1}+kd)=d^{n}{\frac {\Gamma {\left({\frac {a_{1}}{d}}+n\right)}}{\Gamma {\left({\frac {a_{1}}{d}}\right)}}}\end{aligned}}}

أينΓ{\displaystyle \Gamma }يرمز إلى دالة جاما . الصيغة غير صالحة عندماأ1/د{\displaystyle a_{1}/d}سالب أو صفر.

هذا تعميم للحقائق التي مفادها أن نتاج التقدم1×2××ن{\displaystyle 1\times 2\times \cdots \times n}يُعطى بواسطة المضروبن!{\displaystyle n!}وأن المنتج

م×(م+1)×(م+2)××(ن-2)×(ن-1)×ن{\displaystyle m\times (m+1)\times (m+2)\times \cdots \times (n-2)\times (n-1)\times n}

للأعداد الصحيحة الموجبةم{\displaystyle m}ون{\displaystyle n}يُعطى بواسطة

ن!(م-1)!.{\displaystyle {\frac {n!}{(m-1)!}}.}

الاشتقاق

أ1أ2أ3أن=ك=0ن-1(أ1+كد)=ك=0ن-1د(أ1د+ك)=د(أ1د)د(أ1د+1)د(أ1د+2)د(أ1د+(ن-1))=دنك=0ن-1(أ1د+ك)=دن(أ1د)ن¯{\displaystyle {\begin{aligned}a_{1}a_{2}a_{3}\cdots a_{n}&=\prod _{k=0}^{n-1}(a_{1}+kd)\\[2pt]&=\prod _{k=0}^{n-1}d\left({\frac {a_{1}}{d}}+k\right)\\[2pt]&=d\left({\frac {a_{1}}{d}}\right)d\left({\frac {a_{1}}{d}}+1\right)d\left({\frac {a_{1}}{d}}+2\right)\cdots d\left({\frac {a_{1}}{d}}+(n-1)\right)\\[2pt]&=d^{n}\prod _{k=0}^{n-1}\left({\frac {a_{1}}{d}}+k\right)=d^{n}{\left({\frac {a_{1}}{d}}\right)}^{\overline {n}}\end{aligned}}}

أينxن¯{\displaystyle x^{\overline {n}}}يشير إلى المضروب المتزايد .

باستخدام صيغة التكرارΓ(z+1)=zΓ(z){\displaystyle \Gamma (z+1)=z\Gamma (z)}، صالحة للأعداد المركبةz>0{\displaystyle z>0}،

Γ(z+2)=(z+1)Γ(z+1)=(z+1)zΓ(z){\displaystyle \Gamma (z+2)=(z+1)\Gamma (z+1)=(z+1)z\Gamma (z)}،
Γ(z+3)=(z+2)Γ(z+2)=(z+2)(z+1)zΓ(z){\displaystyle \Gamma (z+3)=(z+2)\Gamma (z+2)=(z+2)(z+1)z\Gamma (z)}،

لهذا السبب.

Γ(z+م)Γ(z)=ك=0م-1(z+ك){\displaystyle {\frac {\Gamma (z+m)}{\Gamma (z)}}=\prod _{k=0}^{m-1}(z+k)}

لم{\displaystyle m}عدد صحيح موجب وz{\displaystyle z}عدد مركب موجب.

وبالتالي، إذاأ1/د>0{\displaystyle a_{1}/d>0}،

ك=0ن-1(أ1د+ك)=Γ(أ1د+ن)Γ(أ1د)،{\displaystyle \prod _{k=0}^{n-1}\left({\frac {a_{1}}{d}}+k\right)={\frac {\Gamma {\left({\frac {a_{1}}{d}}+n\right)}}{\Gamma {\left({\frac {a_{1}}{d}}\right)}}},}

وأخيراً،

أ1أ2أ3أن=دنك=0ن-1(أ1د+ك)=دنΓ(أ1د+ن)Γ(أ1د){\displaystyle a_{1}a_{2}a_{3}\cdots a_{n}=d^{n}\prod _{k=0}^{n-1}\left({\frac {a_{1}}{d}}+k\right)=d^{n}{\frac {\Gamma {\left({\frac {a_{1}}{d}}+n\right)}}{\Gamma {\left({\frac {a_{1}}{d}}\right)}}}}

أمثلة

المثال 1

على سبيل المثال3،8،13،18،23،28،...{\displaystyle 3,8,13,18,23,28,\ldots }، ناتج حدود المتتابعة الحسابية المعطاة بواسطةأن=3+5(ن-1){\displaystyle a_{n}=3+5(n-1)}حتى الفصل الدراسي الخمسين

P50=550Γ(3/5+50)Γ(3/5)3.78438×1098.{\displaystyle P_{50}=5^{50}\cdot {\frac {\Gamma \left(3/5+50\right)}{\Gamma \left(3/5\right)}}\approx 3.78438\times 10^{98}.}
المثال 2

حاصل ضرب أول 10 أعداد فردية(1،3،5،7،9،11،13،15،17،19){\displaystyle (1,3,5,7,9,11,13,15,17,19)}يُعطى بواسطة

13519=ك=09(1+2ك)=210Γ(12+10)Γ(12){\displaystyle 1\cdot 3\cdot 5\cdots 19=\prod _{k=0}^{9}(1+2k)=2^{10}\cdot {\frac {\Gamma \left({\frac {1}{2}}+10\right)}{\Gamma \left({\frac {1}{2}}\right)}}}= 654,729,075

الانحراف المعياري

الانحراف المعياري لأي متتابعة حسابية هو

σ=|د|(ن-1)(ن+1)12{\displaystyle \sigma =|d|{\sqrt {\frac {(n-1)(n+1)}{12}}}}

أينن{\displaystyle n}يمثل عدد الحدود في المتتابعة ود{\displaystyle d}يمثل الفرق المشترك بين الحدود. الصيغة هي نفسها أساسًا صيغة الانحراف المعياري للتوزيع المنتظم المنفصل ، حيث تُفسر المتتابعة الحسابية على أنها مجموعة من النتائج المتساوية الاحتمال.

التقاطعات

تقاطع أي متتابعتين حسابيتين لانهائيتين مضاعفتين إما أن يكون فارغًا أو متتابعة حسابية أخرى، ويمكن إيجاد ذلك باستخدام نظرية الباقي الصينية . إذا كان لكل زوج من المتتابعات في عائلة من المتتابعات الحسابية اللانهائية المضاعفة تقاطع غير فارغ، فإنه يوجد عدد مشترك بينها جميعًا؛ أي أن المتتابعات الحسابية اللانهائية تُشكل عائلة هيلي . [ 11 ] مع ذلك، قد يكون تقاطع عدد لا نهائي من المتتابعات الحسابية اللانهائية عددًا واحدًا بدلًا من أن يكون متتابعة لانهائية بحد ذاته.

عدد المجموعات الجزئية الحسابية ذات الطول k من المجموعة {1، ...، n}

يتركأ(ن،ك){\displaystyle a(n,k)}يرمز إلى عدد المجموعات الحسابية الجزئية ذات الطولك{\displaystyle k}يمكن للمرء أن يصنع من المجموعة{1،،ن}{\displaystyle \{1,\cdots ,n\}}ودعϕ(η،κ){\displaystyle \phi (\eta ,\kappa )}يمكن تعريفها على النحو التالي:

ϕ(η،κ)={0لو κ|η([η(تعديل κ)]-2)(κ-[η(تعديل κ)])لو κη{\displaystyle \phi (\eta ,\kappa )={\begin{cases}0&{\text{if }}\kappa \mid \eta \\\left(\left[\eta \;({\text{mod }}\kappa )\right]-2\right)\left(\kappa -\left[\eta \;({\text{mod }}\kappa )\right]\right)&{\text{if }}\kappa \not \mid \eta \\\end{cases}}}

ثم:

أ(ن،ك)=12(ك-1)(ن2-(ك-1)ن+(ك-2)+ϕ(ن+1،ك-1))=12(ك-1)((ن-1)(ن-(ك-2))+ϕ(ن+1،ك-1)){\displaystyle {\begin{aligned}a(n,k)&={\frac {1}{2(k-1)}}\left(n^{2}-(k-1)n+(k-2)+\phi (n+1,k-1)\right)\\&={\frac {1}{2(k-1)}}\left((n-1)(n-(k-2))+\phi (n+1,k-1)\right)\end{aligned}}}

على سبيل المثال، إذا(ن،ك)=(7،3){\textstyle (n,k)=(7,3)}يتوقع المرءأ(7،3)=9{\textstyle a(7,3)=9}المجموعات الجزئية الحسابية، وبالعد المباشر، نرى أن هناك 9 منها؛ هذه هي{1،2،3}،{2،3،4}،{3،4،5}،{4،5،6}،{5،6،7}،{1،3،5}،{3،5،7}،{2،4،6}،{1،4،7}.{\textstyle \{1,2,3\},\{2,3,4\},\{3,4,5\},\{4,5,6\},\{5,6,7\},\{1,3,5\},\{3,5,7\},\{2,4,6\},\{1,4,7\}.}

انظر أيضاً

مراجع

  1. "التسلسلات الخطية" . بي بي سي بايت سايز . تم الاطلاع عليه بتاريخ 16-12-2025 .
  2. هايز، برايان (2006). "يوم حساب غاوس" . مجلة ساينتست الأمريكية . 94 (3): 200. doi : 10.1511/2006.59.200 . مؤرشف من الأصل في 12 يناير 2012. تم الاطلاع عليه في 16 أكتوبر 2020 .
  3. ^ تروبفك ، يوهانس (1924). التحليل الهندسي التحليلي . والتر دي جرويتر. ص 3 – 15. رقم ISBN  978-3-11-108062-8.{{cite book}}عدم توافق رقم ISBN / التاريخ ( مساعدة )
  4. ^ تروبفك ، يوهانس (1979). الحساب والجبر . والتر دي جرويتر. ص 344 – 354. ISBN  978-3-11-004893-3.
  5. مسائل لصقل الشباب ، جون هادلي وديفيد سينغماستر، مجلة الرياضيات ، 76 ، العدد 475 (مارس 1992)، ص 102-126.
  6. روس، هـ. إي. ونوت، ب. آي. (2019) ديكويل (القرن التاسع) حول الأعداد المثلثية والمربعة، المجلة البريطانية لتاريخ الرياضيات ، 34:2، 79-94، https://doi.org/10.1080/26375451.2019.1598687
  7. ^ سيجلر ، لورانس إي. (2002). فيبوناتشي ليبر أباتشي . سبرينغر-فيرلاغ. ص 259 – 260. رقم ISBN  0-387-95419-8.
  8. كاتز، فيكتور ج. ، محرر. (2016). كتاب مصادر في رياضيات أوروبا وشمال أفريقيا في العصور الوسطى . مطبعة جامعة برينستون. ص 91، 257. ISBN  9780691156859.
  9. ستيرن، م. (1990). 74.23 اشتقاق من العصور الوسطى لمجموع متتابعة حسابية. المجلة الرياضية، 74(468)، 157-159. doi:10.2307/3619368
  10. هويروب، ج. "التراث المجهول": أثر موقع منسي للبراعة الرياضية. أرشيف التاريخ والعلوم الدقيقة 62، 613-654 (2008). https://doi.org/10.1007/s00407-008-0025-y
  11. ^ دوتشيت، بيير (1995)، “Hypergraphs”، في Graham، RL ؛ جروتشيل، م . Lovász، L. (eds.)، دليل التوافقيات، المجلد. 1، 2 ، أمستردام: إلسفير، الصفحات من 381 إلى 432، السيد 1373663  انظر على وجه الخصوص القسم 2.5، "ملكية هيلي"، الصفحات  393-394 .