In the article, we establish several monotonicity properties of the functions involving the complete elliptic integral of the first kind. As applications, we present sharp bounds for the complete elliptic integral of the first kind and the arithmetic-geometric mean. © 2...