არითმეტიკული პროგრესია

არითმეტიკული პროგრესია ან არითმეტიკული მიმდევრობა — რიცხვთა მიმდევრობა, რომელშიც ყოველი მომდევნო წევრისა და მისი წინა წევრის სხვაობა მუდმივია. ამ მუდმივ რიცხვს არითმეტიკული მიმდევრობის სხვაობა ეწოდება. მაგალითად, მიმდევრობა 5, 7, 9, 11, 13, 15 . . . წარმოადგენს არითმეტიკულ პროგრესიას, რომლის სხვაობა 2-ის ტოლია.

თუ არითმეტიკული პროგრესიის პირველი წევრია , ხოლო სხვაობაა , მაშინ მიმდევრობის -ური წევრი () გამოითვლება ფორმულით:

არითმეტიკული პროგრესიის სასრულ მონაკვეთს სასრული არითმეტიკული პროგრესია ან ზოგჯერ უბრალოდ არითმეტიკული პროგრესია ეწოდება. სასრული არითმეტიკული პროგრესიის ჯამს ეწოდება არითმეტიკული მწკრივი.

ისტორია
დაუდასტურებელი ვერსიის მიხედვით, დაწყებით სკოლაში სწავლისას კარლ ფრიდრიხ გაუსმა აღმოაჩინა ფორმულა , როდესაც ცდილობდა შეეკრიბა მთელი რიცხვები 1-დან -ის ჩათვლით, სადაც . ამისთვის მან მიმდევრობის ბოლოებში არსებული რიცხვები შეკრიბა და მიიღო 101, რის შემდეგაც იგი გაამრავლა რიცხვთა წყვილების ოდენობაზე. მიუხედავად იმისა, არის თუ არა ეს ვერსია სწორი, ეს ფორმულა გაუსამდე ჯერ კიდევ ანტიკურ ხანაში იყო ცნობილი არქიმედესთვის, ჰიპსიკლისა და დიოფანტესთვის; ჩინეთში ჩანგ ქიუჯიანისთვის; ინდოეთში არიაბჰატასთვის, ბრაჰმაგუფთასა და ბჰასკარაჩარიასთვის; აგრეთვე შუა საუკუნეების ევროპაში ალკუინისთვის,Problems to Sharpen the Young, John Hadley and David Singmaster, The Mathematical Gazette, 76, #475 (March 1992), pp. 102–126. დიკუილისთვის,Ross, H.E. & Knott, B.I. (2019) Dicuil (9th century) on triangular and square numbers, British Journal for the History of Mathematics, 34:2, 79-94, https://doi.org/10.1080/26375451.2019.1598687 ფიბონაჩისთვის, საკრობოსკოსა და ტოსაფისტების სახელით ცნობილი თალმუდის ანონომური მეტაფრასტებისთვის.Stern, M. (1990). 74.23 A Mediaeval Derivation of the Sum of an Arithmetic Progression. The Mathematical Gazette, 74(468), 157-159. doi:10.2307/3619368 ზოგი მიიჩნევს, რომ ფორმულა პირველად შეიქმნა პითაგორიანიზმის ეპოქაში ძვ. წ. მე-5 საუკუნეში.Høyrup, J. The "Unknown Heritage": trace of a forgotten locus of mathematical sophistication. Arch. Hist. Exact Sci. 62, 613–654 (2008). https://doi.org/10.1007/s00407-008-0025-y

ჯამი

 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 გაორკეცებული ჯამია.
სასრული არითმეტიკული პროგრესიის ჯამს არითმეტიკული მწკრივი ეწოდება. მაგალითად, განვიხილოთ ჯამი:

ამ ჯამის პოვნა შეიძლება შესაკრები მნიშვნელობების რაოდენობის, n-ის (აქ 5) გამრავლებით პროგრესიის პირველი და ბოლო რიცხვების ჯამზე (აქ 2 + 14 = 16) და მიღებული შედეგის 2-ზე გაყოფით:

ზემოთ განხილულ შემთხვევაში, მიიღება განტოლება:

ეს ფორმულა გამოიყენება რეალურ რიცხვთა ნებისმიერი არითმეტიკული პროგრესიისთვის, რომელიც იწყება -ით და მთავრდება -ით. მაგალითად,

 წარმოება 
ზემოთ მოცემული ფორმულის დამტკიცება დავიწყოთ არითმეტიკული მწკრივის ორი განსხვავებული ფორმულის გამოსახვით:

წევრები გადავწეროთ საპირისპირო კანონზომიერებით:

განტოლებების ორივე მხარის შესაბამისი წევრები შევკრიბოთ და გავანახევროთ:

ეს ფორმულა შეიძლება გამარტივდეს შემდეგნაირად:

ამასთანავე, მწკრივის საშუალო არითმეტიკული შეიძლება გამოითვალოს ფორმულით: :

ეს ფაქტობრივად იგივეა, რაც დისკრეტული ერთგვაროვანი განაწილების საშუალო არითმეტიკული, სადაც არითმეტიკული პროგრესია მიიჩნევა თანაბრადმოსალოდნელ ხდომილობების სიმრავლედ.

ნამრავლი
a1 პირველი წევრის, d სხვაობისა და n რაოდენობის წევრისგან შედგენილი არითმეტიკული პროგრესიის ნამრავლი განისაზღვრება ანალიტიკური გამოსახულებით:

სადაც  აღნიშნავს გამა-ფუნქციას. ეს ფორმულა არ მოიცავს შემთხვევებს, როცა  უარყოფითი ან ნულოვანია.

ეს წარმოადგენს ზოგად სახეს იმ ფაქტისა, რომ პროგრესიის ნამრავლი  მოცემულია ფაქტორიალით , ხოლო ნამრავლი

 და  ნატურალური მთელი რიცხვებისა მიიღება ფორმულით

წარმოება

სადაც  აღნიშნავს ზრდად ფაქტორიალს.

რეკურენტულობის ფორმულით , რომელიც სამართლიანია  კომპლექსური რიცხვისთვის,

,

,

ისე, რომ

დადებითი მთელი რიცხვი -სა და დადებითი კომპლექსური რიცხვი -სთვის.

ამრიგად, თუ ,

და, საბოლოოდ,

მაგალითები

მაგალითი 1
 ფორმულით მოცემული არითმეტიკული პროგრესიის () პირველი 50 წევრის  ნამრავლი  ტოლია:

 მაგალითი 2
პირველი ათი კენტი რიცხვის  ნამრავლი ტოლია
 = 

სტანდარტული გადახრა

არითმეტიკული პროგრესიის სტანდარტული გადახრაა

სადაც  არის პროგრესიის წევრთა რაოდენობა, ხოლო  პროგრესიის სხვაობაა. ეს ფორმულა, ფაქტობრივად, იდენტურია დისკრეტული ერთგვაროვანი განაწილების სტანდარტული გადახრის ფორმულისა, რომელშიც არითმეტიკული პროგრესია თანაბრადმოსალოდნელ ხდომილობების სიმრავლედ მიიჩნევა.

თანაკვეთები
ორი ორმხრივ უსასრულო არითმეტიკული პროგრესიის თანაკვეთა შეიძლება იყოს ცარიელი სიმრავლე ან სხვა არითმეტიკული პროგრესია, რომლის პოვნა შეიძლება ნაშთთა ჩინური თეორემის გამოყენებით. თუ ორმხრივი უსასრულო არითმეტიკული პროგრესიების ოჯახში შემავალი ყოველი წყვილი პროგრესიის თანაკვეთაა არაცარიელი სიმრავლე, მაშინ არსებობს ყოველი მათგანისთვის საერთო რიცხვი; შესაბამისად, უსასრულო არითმეტიკული პროგრესიები ქმნიან ჰელის ოჯახს.. See in particular Section 2.5, "Helly Property", pp. 393–394. მაგრამ, უსასრულოდ ბევრი არითმეტიკული პროგრესიის თანაკვეთა ასევე შეიძლება იყოს ერთი რიცხვი და არა, თავისმხრივ, უსასრულო პროგრესია.

{1,...,n} სიმრავლის k სიგრძის არითმეტიკულ ქვესიმრავლეთა რაოდენობა
-თი აღვნიშნოთ  სიგრძის არითმეტიკულ ქვესიმრავლეთა ის რაოდენობა, რომელიც შეიძლება შეიქმნეს სიმრავლიდან , ხოლო  განვსაზღვროთ შემდეგნაირად:

მაშინ:

მაგალითად, თუ , მოსალოდნელია  არითმეტიკული ქვესიმრავლე, რაც მექანიკურად დათვლით დასტურდება; ეს ქვესიმრავლეებია: 

იხილეთ აგრეთვე
 გეომეტრიული პროგრესია
 ჰარმონიული პროგრესია
 სამკუთხედური რიცხვი
 არითმეტიკულ-გეომეტრიული მიმდევრობა
 საშუალო არითმეტიკულისა და საშუალო გეომეტრიულის უტოლობა
 მარტივი რიცხვები არითმეტიკულ პროგრესიაში
 წრფივი დიფერენციალური განტოლება
 განზოგადებული არითმეტიკული პროგრესია, არითმეტიკულ პროგრესიად დალაგებული მთელი რიცხვების სიმრავლე, რომელსაც პროგრესიის ერთზე მეტი სხვაობა შეიძლება ჰქონდეს
 ჰერონის სამკუთხედები არითმეტიკულ პროგრესიაში შემავალი გვერდებით
 არითმეტიკული პროგრესიის ამოცანები
 ქვეტონალობა
 არითმეტიკული პროგრესიის ხარისხთა ჯამების გამოსათვლელი მრავალწევრები

ლიტერატურა

რესურსები ინტერნეტში
 არითმეტიკული მწკრივი, მათემატიკური ენციკლოპედია, EMS Press, 2001 [1994]



სქოლიო

კატეგორია:მათემატიკა