Norint rasti aritmetinės progresijos pirmųjų \(n\) narių sumą (\(S_n\)), kuri yra \(a_1 + a_2 + \dots + a_n\), galima pasinaudoti įdomia savybe: sumos narių, kurie yra vienodai nutolę nuo sekos pradžios ir pabaigos, yra vienodos (pvz., \(a_1 + a_n\) lygu \(a_2 + a_{n-1}\) ir t.t.). Dėl šios simetrijos, bendrą sumą galima apskaičiuoti paprasčiau: paimamas pirmas ir paskutinis narys, randas jų vidurkis ir padauginamas iš narių skaičiaus \(n\). Taip gaunama pagrindinė sumos formulė: \(S_n = \frac{a_1 + a_n}{2} \cdot n\).

• \(S_n\) reiškia sumą visų narių nuo \(a_1\) iki \(a_n\).
• Simetriška savybė: \(a_1 + a_n = a_2 + a_{n-1} = \dots\)
• Pagrindinė sumos formulė: \(S_n = \frac{a_1 + a_n}{2} \cdot n\).
• Taikoma, kai žinomi: pirmas narys (\(a_1\)), paskutinis narys (\(a_n\)) ir narių skaičius (\(n\)).

Pagrindinė sumos formulė yra labai naudinga, nes leidžia greitai apskaičiuoti net labai ilgų progresijų sumas, remiantis tik pirmuoju, paskutiniu nariu ir jų skaičiumi. Ji parodo, kaip progresijos struktūros simetrija virsta efektyviu skaičiavimo įrankiu.