The Weighted Arithmetic Mean – Geometric Mean Inequality is Equivalent to the Hölder Inequality

In the current note, we investigate the mathematical relations among the weighted arithmetic mean–geometric mean (AM–GM) inequality, the Hölder inequality and the weighted power-mean inequality. Meanwhile, the proofs of mathematical equivalence among the weighted AM–GM inequality, the weighted power-mean inequality and the Hölder inequality are fully achieved. The new results are more generalized than those of previous studies.


Introduction
In the field of classical analysis, the weighted arithmetic mean-geometric mean (AM-GM) inequality (see e.g., [1], pp. 74-75) is often inferred from Jensen's inequality, which is a more generalized inequality compared to the AM-GM inequality; refer to, e.g., [1,2]. In addition, the Hölder inequality [2] found by Leonard James Rogers (1888) and discovered independently by Otto Hölder (1889) is a basic and indispensable inequality for studying integrals and L p spaces, and is also an extension of the Cauchy-Bunyakovsky-Schwarz (CBS) inequality [3]. The Hölder inequality is used to prove the Minkowski inequality, which is the triangle inequality in the space L p (µ) [4,5]. The weighted power mean (also known as the generalized mean) M m r (a) for a sequence a = (a 1 , a 2 , . . . , a n ) is defined as M m r (a) = (m 1 a r 1 + m 2 a r 2 + · · · + m n a r n ) 1 r , which is a family of functions for aggregating sets of numbers, and plays a vital role in analytical inequalities; see [2,6] for instance.
In recent years, many researchers have been interested in studying the mathematical equivalence among some famous analytical inequalities, such as the Cauchy-Schwarz inequality, the Bernoulli inequality, the Wielandt inequality, and the Minkowski inequality; see [7][8][9][10][11][12][13] for details. Additionally, these studies note the relations among the weighted AM-GM inequality, the Hölder inequality, and the weighted power-mean inequality are still less clear, although one inequality is often helpful to prove another inequality [1,12]. Motivated by these aforementioned studies, in the present note, the mathematical equivalence among three such well-known inequalities is proved in detail; the result introduced in [14] is also extended.
The rest of the present note is organized as follows. In the next section, we will present the detailed proofs of mathematical equivalence among three celebrated mathematical inequalities. Finally, the paper ends with several concluding remarks in Section 2.
The weighted AM-GM inequality, the Hölder inequality, and the weighted power-mean inequality [1] (pp. 111-112, Theorem 10.5) are first reviewed and they are often related to each other. Then the results of mathematical equivalence among three such inequalities will be shown.
The word "equivalence" between two statements A and B, by convention, is understood as follows: A implies B and B implies A. Two equivalent sentences have the same truth value. Thus, this note reveals a connection (in the sense of art) between these two well-known facts. Proof. To show that (2) implies (1), let a k = (λ k c k ) Since p −1 + q −1 = 1 and λ 1 + λ 2 + · · · + λ n = 1, the inequality (4) can be rewritten as: Now using the inequality (5) successively, it follows that By L'Hospital's rule, it is easy to see that Thus, in (6), we can pass to the limit by m → +∞, giving n k=1 λ k c k ≥ n k=1 c λ k k ; hence, (2) implies (1). To show the converse, all that is needed is a special case of (1), Since p −1 + q −1 =1, and by (7), thus . Now the task is to prove that (3) implies (2); let Proof. To show that (1) implies (3), we merely exploit a special case of (1), Here, we define U n (a) = λ 1 a s 1 +λ 2 a s 2 +· · ·+λ n a s n ; let a 1 = λ k a s k (U n (a)) −1 , a 2 = λ k and λ 1 = r s , λ 2 = 1− r s in (9), then Summing over k = 1, 2, . . . , n, then The converse is trivial from Remark 1.2.

Concluding Remarks
In this note, the mathematical equivalence among the weighted AM-GM inequality, the Hölder inequality, and the weighted power-mean inequality is investigated in detail. Moreover, the interesting conclusions of Lin's paper [14] are also extended. At the end of the present study, for convenience, the results on the equivalence of some well-known analytical inequalities can be summarized as follows: • Equivalence of the Hölder's inequality and the Minkowski inequality; see [9].
• Equivalence of the Cauchy-Schwarz inequality and the Covariance-Variance inequality; see [7].
• Equivalence of the Kantorovich inequality and the Wielandt inequality; see e.g., [11] • Equivalence of the AM-GM inequality and the Bernoulli inequality; see e.g., [10]