に値をとる数列formula_1が算術幾何数列であるとは、の適当な元が存在して、その数列が以下の漸化式formula_2を満足するときに言う。