- About this Journal ·
- Abstracting and Indexing ·
- Aims and Scope ·
- Annual Issues ·
- Article Processing Charges ·
- Articles in Press ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents

Abstract and Applied Analysis

Volume 2014 (2014), Article ID 592085, 9 pages

http://dx.doi.org/10.1155/2014/592085

## A Sharp Double Inequality for Trigonometric Functions and Its Applications

^{1}School of Mathematics and Computation Sciences, Hunan City University, Yiyang 413000, China^{2}Department of Mathematics, Huzhou Teachers College, Huzhou 313000, China

Received 26 April 2014; Accepted 20 June 2014; Published 10 July 2014

Academic Editor: Josip E. Pečarić

Copyright © 2014 Zhen-Hang Yang et al. 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

We present the best possible parameters and such that the double inequality holds for any . As applications, some new analytic inequalities are established.

#### 1. Introduction

It is well known that the double inequality holds for any . The first inequality in (1) was found by Mitrinović (see [1]), while the second inequality in (1) is due to Huygens (see [2]) and it is called Cusa inequality. Recently, the improvements, refinements, and generalizations for inequality (1) have attracted the attention of many mathematicians [3–8].

Qi et al. [9] proved that the inequality holds for any . It is easy to verify that and cannot be compared on the interval .

Neuman and Sándor [6] gave an improvement for the first inequality in (1) as follows:

Inequality (3) was also proved by Lv et al. in [10]. In [11, 12], Neuman proved that the inequalities hold for any .

For the second inequality in (1), Klén et al. [13] established for .

Inequality (5) was improved by Yang [14]. In [15], Yang further proved for .

Yang [16] proved that the inequalities hold for .

Zhu [8] and Yang [17] proved that and are the best possible constants such that the double inequality holds for all .

More results involving inequality (1) can be found in the literature [18–22].

Let , , and . Then is defined by

It is well known that is strictly increasing with respect to for fixed and (see [23]). If , then it is easy to check that

It follows from (2) and (3) together with (6) that for .

The main purpose of this paper is to present the best possible parameters and such that the double inequality holds for all . As applications, some new analytic inequalities are found. All numerical computations are carried out using MATHEMATICA software.

#### 2. Lemmas

In order to prove our main results we need several lemmas, which we present in this section.

Lemma 1. *Let and the function be defined on by
**Then the following statements are true:*(i)* for all if and only if ;*(ii)* for all if and only if , where is the unique solution of equation
*(iii)*if , then there exists such that for and for .*

*Proof. *It follows from (13) and (14) that
for .

Inequalities (15) lead to the conclusion that the function is strictly decreasing with respect to for fixed and is the unique solution of (14).

(i) If and , then from the monotonicity of the function we clearly see that

If for all , then (13) leads to

(ii) If and , then the monotonicity of the function leads to the conclusion that .

If and , then (13) and the monotonicity of the function lead to

Inequality (19) implies that the function is concave with respect to on the interval . Therefore, follows from (18) and the concavity of .

If for all , then follows easily from the monotonicity of the function and together with the fact that .

(iii) If and , then from (13) and (19) together with the monotonicity of the function we get
and is strictly decreasing on .

It follows from (21) and (22) together with the monotonicity of that there exists such that is strictly increasing on and strictly decreasing on . Therefore, Lemma 1 follows from (20) and the piecewise monotonicity of .

Let and the function be defined on by

Then elaborated computations lead to
where is defined by (13).

From Lemma 1 and (24) we get the following Lemma 2 immediately.

Lemma 2. *Let and be defined on by (23). Then*(i)* is strictly decreasing on if and only if ;*(ii)* is strictly increasing on if and only if , where is the unique solution of (14);*(iii)*if , then there exists such that is strictly increasing on and strictly decreasing on .*

Lemma 3. *Let and be defined on by (23). Then*(i)* for all if and only if ;*(ii)* for all if and only if ;*(iii)*if , then there exists such that for and for .*

*Proof. *(i) If and , then from (23) and Lemma 2 we clearly see that

If for all , then (23) leads to
(ii) If for all , then from (23) we get

Inequality (27) leads to the conclusion that .

If and , then we divide the proof into two cases.*Case 1*. Consider , where is the unique solution of (14). Then from Lemma 2 and (23) we clearly see that*Case 2*. Consider . Then (23) and Lemma 2 lead to
and there exists such that is strictly increasing on and strictly decreasing on . Therefore, for all follows from (29) and the piecewise monotonicity of .

(iii) If , then . It follows from (23) and Lemma 2 that
and there exists such that is strictly increasing on and strictly decreasing on . Therefore, Lemma 3 follows from (30) and the piecewise monotonicity of .

Let and be defined on by

Then elaborated computations give
where is defined by (23).

From Lemma 3 and (33) we get Lemma 4 immediately.

Lemma 4. *Let and be defined on by (31) and (32). Then*(i)* is strictly decreasing on if and only if ;*(ii)* is strictly increasing on if and only if ;*(iii)*if , then there exists such that is strictly increasing on and strictly decreasing on .*

Lemma 5. *Let and be defined on by (31) and (32). Then the following statements are true:*(i)*if for all , then ;*(ii)*if for all , then , where is the unique solution of the equation
**on the interval .*

*Proof. * If for all , then from (31) and (32) we have
We first prove that is the unique solution of (34) on the interval . Let and

Then numerical computations show that

Inequality (38) implies that is strictly decreasing on . Therefore, is the unique solution of (34) on the interval which follows from (37) and the monotonicity of .

If and for all , then (31) leads to

Therefore, follows from (39) and together with the monotonicity of on the interval .

Lemma 6. *Let and , and let be defined by (9). Then the function is strictly decreasing with respect to if .*

*Proof. *Let . Then from (9) we get
Inequality (41) and lead to the conclusion that is strictly decreasing with respect to . Therefore, for , and is strictly decreasing with respect to if .

#### 3. Main Results

Theorem 7. *Let be defined by (9). Then the double inequality
**
holds for all if and only if , and the double inequality
**
holds for all if and only if , where
**, and is strictly decreasing with respect to .*

*Proof. *Let and be defined on by (31) and (32). Then

If , then inequality (42) follows from Lemma 4 and (45).

If inequality (42) holds for all , then for all . It follows from Lemma 5 that .

If , then inequality (43) follows from Lemma 4 and (45).

If inequality (43) holds for all , then for all . It follows from Lemma 5 that , where is the unique solution of (34) on the interval . We claim that ; otherwise , and Lemma 4 leads to the conclusion that there exists such that for .

Note that

It follows from Lemma 6 and (46) that is strictly decreasing with respect to .

From Theorem 7 we get Corollaries 8 and 9 as follows.

Corollary 8. *For all one has
*

Corollary 9. *For all one has
*

Theorem 10. *Let be defined by (9). Then the double inequality
**
holds for all if and only if and , where is the unique solution of (34) on the interval . Moreover, the inequality
**
if and only if
**
where is defined as in Lemma 3 .*

*Proof. *Let and be defined on by (31) and (32). Then Lemma 4 leads to the conclusion that is strictly increasing on and strictly decreasing on . Note that

It follows from the piecewise monotonicity of and (52) that
for all . Therefore, for all follows from the first inequality of (53), while for all follows from the second inequality of (42).

Conversely, if the double inequality (49) holds for all , then we clearly see that the inequalities
hold for all . Therefore, and follows from Lemma 5 and (54). Moreover, numerical computations show that and

Therefore, the second conclusion of Theorem 10 follows from (55) and the second inequality of (53).

It follows from Lemma 3 that we get Theorem 11 immediately.

Theorem 11. *The double inequalities
**
hold for all if and only if and .*

We clearly see that the function is strictly decreasing with respect to for fixed . Let and ; then Theorem 11 leads to the following.

Corollary 12. *The inequalities
**
hold for all .*

#### 4. Applications

In this section, we give some applications for our main results.

Neuman [24] proved that the Huygens type inequalities hold for all . Note that if , and the second inequalities in (59) are reversed if .

From Theorems 7 and 10 together with (59) we get the following.

Theorem 13. *The double inequality
**
holds for all if and only if or , and inequality (60) is reversed if and only if .*

Theorem 14. *The double inequality
**
holds for all if and only if and or , where is the unique solution of (34) on the interval .*

Neuman [24] also proved that the Wilker type inequality holds for all if .

Making use of Theorem 13 and the arithmetic-geometric means inequality we get Corollary 15 as follows.

Corollary 15. *The Wilker type inequality (62) holds for all if or .**In addition, power series expansions show that
**
Therefore, we conjecture that inequality (62) holds for all if and only if or . We leave it to the readers for further discussion.**The Schwab-Borchardt mean [25–27] of two distinct positive real numbers and is defined by
**
where and are the inverse cosine and inverse hyperbolic cosine functions, respectively.**Let , be the arithmetic mean of and , and . Then simple computations lead to
**It follows from Theorems 7, 10, and 11 together with (66) that we have the following.*

Theorem 16. *Let , and be defined as in Theorems 7 and 10, respectively. Then for all , the following statements are true.*(i)*The double inequality
holds if and only if , and inequality (67) is reversed if and only if .*(ii)*The double inequality
holds if and only if and .*(iii)*The double inequality
holds if and only if and .*

Let , , , , , and be the geometric, quadratic, first Seiffert [28], second Seiffert [29], and Yang [15] means of and , respectively. Then it is easy to check that , , and . Therefore, Theorem 16 leads to Corollary 17.

Corollary 17. *Let , and be defined as in Theorems 7 and 10, respectively. Then for all , the following statements are true.**
(i) The double inequalities
**
hold if and only if , and all inequalities in (70) are reversed if and only if .**
(ii) The double inequalities
**
hold if and only if and .**
(iii) The double inequalities
**
hold if and only if and .**For , the following Shafer-Fink type inequality can be found in the literature [1, 30]:
**Fink [31] proved that the double inequality
**
holds for all . It was generalized and improved by Zhu [32].*

Let , . Then Theorems 7, 10, and 11 lead to Corollary 18 as follows.

Corollary 18. *Let , and be defined as in Theorems 7 and 10, respectively. Then for all , the following statements are true.**
(i) The double inequality
**
holds if and only if , and inequality (75) is reversed if and only if .**
(ii) The double inequality
**
holds if and only if and .**
(iii) The double inequality
**
holds if and only if and .*

#### Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

#### Acknowledgments

This research was supported by the Natural Science Foundation of China under Grants 11371125, 61174076, 61374086, and 11171307, the Natural Science Foundation of Zhejiang Province under Grant LY13A010004, and the Natural Science Foundation of Hunan Province under Grant 14JJ2127.

#### References

- D. S. Mitrinović,
*Analytic Inequalities*, Springer, New York, NY, USA, 1970. - C. Huygens,
*Oeuvres Completes 1888–1940*, Sociéte Hollondaise des Science, Haga, Sweden, 1940. - C. Chen and W. Cheung, “Sharp Cusa and Becker-Stark inequalities,”
*Journal of Inequalities and Applications*, vol. 2011, article 136, 2011. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - C. Mortici, “The natural approach of Wilker-Cusa-Huygens inequalities,”
*Mathematical Inequalities & Applications*, vol. 14, no. 3, pp. 535–541, 2011. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - C. Mortici, “A subtly analysis of Wilker inequality,”
*Applied Mathematics and Computation*, vol. 231, pp. 516–520, 2014. View at Publisher · View at Google Scholar · View at MathSciNet - E. Neuman and J. Sándor, “On some inequalities involving trigonometric and hyperbolic functions with emphasis on the Cusa-Huygens, Wilker, and Huygens inequalities,”
*Mathematical Inequalities & Applications*, vol. 13, no. 4, pp. 715–723, 2010. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - J. Sándor and M. Bencze, “On Huygen's trigonometric inequality,”
*RGMIA Research Report Collection*, vol. 8, no. 3, article 14, 2005. - L. Zhu, “A source of inequalities for circular functions,”
*Computers & Mathematics with Applications*, vol. 58, no. 10, pp. 1998–2004, 2009. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - F. Qi, L. H. Cui, and S. L. Xu, “Some inequalities constructed by Tchebysheff's integral inequality,”
*Mathematical Inequalities & Applications*, vol. 2, no. 4, pp. 517–528, 1999. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - Y. Lv, G. Wang, and Y. Chu, “A note on Jordan type inequalities for hyperbolic functions,”
*Applied Mathematics Letters*, vol. 25, no. 3, pp. 505–508, 2012. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - E. Neuman, “Refinements and generalizations of certain inequalities involving trigonometric and hyperbolic functions,”
*Advances in Inequalities and Applications*, vol. 1, no. 1, pp. 1–11, 2012. - E. Neuman, “Inequalities for the Schwab-Borchardt mean and their applications,”
*Journal of Mathematical Inequalities*, vol. 5, no. 4, pp. 601–609, 2011. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - R. Klén, M. Visuri, and M. Vuorinen, “On Jordan type inequalities for hyperbolic functions,”
*Journal of Inequalities and Applications*, vol. 2010, Article ID 362548, 14 pages, 2010. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - Z.-H. Yang, “New sharp Jordan type inequalities and their applications,”
*Gulf Journal of Mathematics*, vol. 2, no. 1, pp. 1–10, 2014. - Z.-H. Yang, “Three families of two-parameter means constructed by trigonometric functions,”
*Journal of Inequalities and Applications*, vol. 2013, article 541, 27 pages, 2013. View at Publisher · View at Google Scholar - Z. Yang, “Refinements of a two-sided inequality for trigonometric functions,”
*Journal of Mathematical Inequalities*, vol. 7, no. 4, pp. 601–615, 2013. View at MathSciNet - Zh.-H. Yang, “Sharp bounds for Seiffert mean in terms of weighted power means of arithmetic mean and geometric mean,”
*Mathematical Inequalities & Applications*, vol. 17, no. 2, pp. 499–511, 2014. - K. S. K. Iyengar, B. S. Madhava Rao, and T. S. Nanjundiah, “Some trigonometrical inequalities,”
*The Half-Yearly Journal of the Mysore University B*, vol. 6, pp. 1–12, 1945. View at MathSciNet - S.-H. Wu and L. Debnath, “A new generalized and sharp version of Jordan's inequality and its applications to the improvement of the Yang Le inequality,”
*Applied Mathematics Letters*, vol. 19, no. 12, pp. 1378–1384, 2006. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - S. Wu, “Sharpness and generalization of Jordan's inequality and its application,”
*Taiwanese Journal of Mathematics*, vol. 12, no. 2, pp. 325–336, 2008. View at Zentralblatt MATH · View at MathSciNet · View at Scopus - S.-H. Wu and Á. Baricz, “Generalizations of Mitrinović, Adamović and Lazarević 's inequalities and their applications,”
*Publicationes Mathematicae Debrecen*, vol. 75, no. 3-4, pp. 447–458, 2009. View at MathSciNet - F. Qi, D. Niu, and B. Guo, “Refinements, generalizations, and applications of Jordan's inequality and related problems,”
*Journal of Inequalities and Applications*, vol. 2009, Article ID 271923, 52 pages, 2009. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - P. S. Bullen, D. S. Mitrinović, and P. M. Vasić,
*Means and Their Inequalties*, D. Reidel Publishing, Dordrecht, The Netherlands, 1988. - E. Neuman, “On Wilker and Huygens type inequalities,”
*Mathematical Inequalities & Applications*, vol. 15, no. 2, pp. 271–279, 2012. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - E. Neuman and J. Sándor, “On the Schwab-Borchardt mean,”
*Mathematica Pannonica*, vol. 14, no. 2, pp. 253–266, 2003. View at MathSciNet - E. Neuman and J. Sándor, “On the schwab-borchardt mean II,”
*Mathematica Pannonica*, vol. 17, no. 1, pp. 49–59, 2006. View at MathSciNet - E. Neuman, “On some means derived from the Schwab-Borchardt mean,”
*Journal of Mathematical Inequalities*, vol. 8, no. 1, pp. 171–181, 2014. - H. Seiffert, “Werte zwischen dem geometrischen und dem arithmetischen Mittel zweier Zahlen,”
*Elemente der Mathematik Revue de Math ematiques El ementaires Rivista de Matematica Elementare*, vol. 42, no. 4, pp. 105–107, 1987. View at MathSciNet - H.-J. Seiffert, “Aufgabe
*β*16,”*Die Wurzel*, vol. 29, pp. 221–222, 1995. - R. E. Shafer, L. S. Grinstein, and D. C. B. Marsh, “Problems and solutions: solutions of elementary problems: E1867,”
*The American Mathematical Monthly*, vol. 74, no. 6, pp. 726–727, 1967. View at MathSciNet - A. M. Fink, “Two inequalities,”
*Univerzitet u Beogradu. Publikacije Elektrotehni v ckog Fakulteta: Serija Matematika*, vol. 6, pp. 48–49, 1995. - L. Zhu, “On Shafer-Fink inequalities,”
*Mathematical Inequalities and Applications*, vol. 8, no. 4, pp. 571–574, 2005. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus