International Journal of Mathematics and Mathematical Sciences

VolumeΒ 2012, Article IDΒ 430692, 6 pages

http://dx.doi.org/10.1155/2012/430692

## A Nice Separation of Some Seiffert-Type Means by Power Means

^{1}Department of Computer Sciences, Technical University of Cluj-Napoca, 400114 Cluj-Napoca, Romania^{2}Department of Mathematics, Technical University of Cluj-Napoca, 400114 Cluj-Napoca, Romania

Received 21 March 2012; Accepted 30 April 2012

Academic Editor: EdwardΒ Neuman

Copyright Β© 2012 Iulia Costin and Gheorghe Toader. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

Seiffert has defined two well-known trigonometric means denoted by and . In a similar way it was defined by Carlson the logarithmic mean as a hyperbolic mean. Neuman and SΓ‘ndor completed the list of such means by another hyperbolic mean . There are more known inequalities between the means , and and some power means . We add to these inequalities two new results obtaining the following nice chain of inequalities , where the power means are evenly spaced with respect to their order.

#### 1. **Means**

A *mean* is a function , with the property
Each mean is *reflexive*; that is,
This is also used as the definition of .

We will refer here to the following means:(i)the power means , defined by (ii)the geometric mean , defined as , but verifying also the property (iii)the first Seiffert mean , defined in [1] by (iv)the second Seiffert mean , defined in [2] by (v)the Neuman-SΓ‘ndor mean , defined in [3] by (vi)the Stolarsky means defined in [4] as follows:

The mean is the arithmetic mean and the mean is the logarithmic mean. As Carlson remarked in [5], the logarithmic mean can be represented also by thus the means , and are very similar. In [3] it is also proven that these means can be defined using the nonsymmetric Schwab-Borchardt mean given by (see [6, 7]). It has been established in [3] that

#### 2. **Interlacing Property of Power Means**

Given two means and , we will write if

It is known that the family of power means is an increasing family of means, thus Of course, it is more difficult to compare two Stolarsky means, each depending on two parameters. To present the comparison theorem given in [8, 9], we have to give the definitions of the following two auxiliary functions:

Theorem 2.1. *Let . Then the comparison inequality
**
holds true if and only if , and (1) if , (2) if , or (3) if .*

We need also in what follows an important double-sided inequality proved in [3] for the Schwab-Borchardt mean:

Being rather complicated, the Seiffert-type means were evaluated by simpler means, first of all by power means. The *evaluation* of a given mean by power means assumes the determination of some real indices and such that . The evaluation is *optimal* if is the the greatest and is the smallest index with this property. This means that cannot be compared with if .

For the logarithmic mean in [10], it was determined the optimal evaluation For the Seiffert means, there are known the evaluations proved in [11] and given in [2]. It is also known that as it was shown in [3]. Moreover in [12] it was determined the optimal evaluation Using these results we deduce the following chain of inequalities: To prove the full interlacing property of power means, our aim is to show that can be put between and . We thus obtain a nice separation of these Seiffert-type means by power means which are evenly spaced with respect to their order.

#### 3. **Main Results**

We add to the inequalities (2.11) the next results.

Theorem 3.1. *The following inequalities
**
are satisfied.*

*Proof. *First of all, let us remark that . So, for the first inequality in (3.1), it is sufficient to prove that the following chain of inequalities
is valid. The first inequality in (3.2) is a simple consequence of the property of the mean given in (1.11) and the second inequality from (2.5). The second inequality can be proved by direct computation or by taking which gives
which is easy to prove. The last inequality in (3.2) is given by the comparison theorem of the Stolarsky means. In a similar way, the second inequality in (3.1) is given by the relations
The first inequality is again given by the comparison theorem of the Stolarsky means. The equality in (3.4) is shown by elementary computations, and the last inequality is a simple consequence of the property of the mean given in (1.11) and the first inequality from (2.5).

Corollary 3.2. *The following two-sided inequality
**
is valid for all .*

#### Acknowledgment

The authors wish to thank the anonymous referee for offering them a simpler proof for their results.

#### References

- H.-J. Seiffert, βProblem 887,β
*Nieuw Archief voor Wiskunde*, vol. 11, no. 2, p. 176, 1993. View at Google Scholar - H.-J. Seiffert, βAufgabe
*β*16,β*Die Wurzel*, vol. 29, pp. 221β222, 1995. View at Google Scholar - E. Neuman and J. Sándor, βOn the Schwab-Borchardt mean,β
*Mathematica Pannonica*, vol. 14, no. 2, pp. 253β266, 2003. View at Google Scholar - K. B. Stolarsky, βGeneralizations of the logarithmic mean,β
*Mathematics Magazine*, vol. 48, no. 2, pp. 87β92, 1975. View at Google Scholar - B. C. Carlson, βThe logarithmic mean,β
*The American Mathematical Monthly*, vol. 79, pp. 615β618, 1972. View at Google Scholar - J. M. Borwein and P. B. Borwein,
*Pi and the AGM: A Study in Analytic Number Theory and Computational Complexity*, John Wiley & Sons, New York, NY, USA, 1987. - B. C. Carlson, βAlgorithms involving arithmetic and geometric means,β
*The American Mathematical Monthly*, vol. 78, pp. 496β505, 1971. View at Google Scholar - Zs. Páles, βInequalities for differences of powers,β
*Journal of Mathematical Analysis and Applications*, vol. 131, no. 1, pp. 271β281, 1988. View at Publisher Β· View at Google Scholar - E. B. Leach and M. C. Sholander, βMulti-variable extended mean values,β
*Journal of Mathematical Analysis and Applications*, vol. 104, no. 2, pp. 390β407, 1984. View at Publisher Β· View at Google Scholar - T. P. Lin, βThe power mean and the logarithmic mean,β
*The American Mathematical Monthly*, vol. 81, pp. 879β883, 1974. View at Google Scholar - A. A. Jagers, βSolution of problem 887,β
*Nieuw Archief voor Wiskunde*, vol. 12, pp. 230β231, 1994. View at Google Scholar - P. A. Hästö, βOptimal inequalities between Seiffert's means and power means,β
*Mathematical Inequalities & Applications*, vol. 7, no. 1, pp. 47β53, 2004. View at Publisher Β· View at Google Scholar