複素数formula_2の算術幾何平均が収束することは、以下によって証明できる。