ある正数x，yをそれぞれ初項に持つ数列{x_n}，{y_n}を、漸化式 x_(n+1) = (x_n + y_n)/2 y_(n+1) = √(x_n * y_n)で定義すると、そのn→∞の極限が一致することが知られている。この極限値をxとyの何というか。