W matematyce An arytmetyczna sekwencja jest sekwencją (najczęściej sekwencja liczb rzeczywistych ), w którym każdy składnik umożliwia wywnioskowanie następnego przez dodanie stałej zwanej powodów .
Definicję tę można zapisać w postaci relacji powtarzania, dla każdego indeksu n :
Ta zależność jest charakterystyczna dla progresji arytmetycznej lub wzrostu liniowego . Dobrze opisuje zjawiska, których zmienność jest stała w czasie, takie jak ewolucja rachunku bankowego z prostym oprocentowaniem .
Ciągi arytmetyczne spełniają ogólną formułę obliczania wyrazów, jak również dla powiązanych szeregów .
Jeśli ( E , +) jest grupą - lub nawet tylko zbiorem wyposażonym w prawo asocjacyjne - i jeśli jest ciągiem arytmetycznym E z powodu r , to dla każdej liczby naturalnej n :
Mówiąc bardziej ogólnie, jeśli sekwencja jest zdefiniowana tylko na podstawie indeksu n ₀ i jeśli n ≥ p ≥ n ₀ to:
Ciąg arytmetyczny jest zatem całkowicie określony przez dane jego pierwszego członu u n ₀ i jego przyczyny r .
I odwrotnie, sekwencja zdefiniowana na podstawie indeksu n ₀ przez jest arytmetyką rozumu r .
W rzeczywistej lub zespolonej analizy arytmetyczna sekwencja jest zatem dyskretny wygląd w funkcji afinicznej .
Ten paragraf dotyczy ciągów arytmetycznych z wartościami rzeczywistymi i wykorzystuje fakt, że liczby rzeczywiste tworzą pole Archimedesa .
Jeśli r > 0, sekwencja rośnie ; jeśli r <0, sekwencja maleje, a jeśli r = 0 sekwencja jest stała.
Ogólnie (jeśli r nie jest zerem), ciąg arytmetyczny jest rozbieżny. Jednak przyznaje limit :
Jeśli E = ℝ lub ℂ i jeśli jest ciągiem arytmetycznym E , to każda suma kolejnych wyrazów jest równa liczbie tych wyrazów pomnożonej przez średnią z dwóch skrajnych składników.
Na przykład :
Szczególny przypadek u ₀ = 0 ir = 1 to wzór dający sumę liczb całkowitych od 1 do n , których różne dowody przedstawiono w dwóch artykułach szczegółowych. Pozwala pokazać ogólny przypadek:
DemonstracjaNiech q = n - p . Więc,
Ten wzór jest prawdziwy dla dowolnej sekwencji o wartościach modułu na pierścieniu o charakterystyce innej niż 2.
Zbiór ℕ naturalnych liczb całkowitych jest nieskończonym ciągiem arytmetycznym o stosunku 1.
W 2004 roku Ben Joseph Green i Terence Tao wykazali, że istnieją ciągi arytmetyczne liczb pierwszych o skończonej dowolnej długości , nie dając jednak żadnych środków do ich znalezienia.
Na przykład :
Najdłuższe sekwencje arytmetyczne liczb pierwszych znanych w programie 23 lutego 2014 są trzy i mają po 26 elementów każdy.