Ciąg (a_n) jest ciągiem arytmetycznym wtedy i tylko wtedy, gdy każdy wyraz tego ciągu, oprócz wyrazu pierwszego i ostatniego (jeśli taki istnieje) jest średnią arytmetyczną wyrazu poprzedniego i następnego, co symbolicznie możemy zapisać jako

$a_n=\frac{a_{n-1}+a_{n+1}}{2},n\ge 2$