Abstract and Applied Analysis

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

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

Research Article

A Sharp Double Inequality for Trigonometric Functions and Its Applications

Zhen-Hang Yang,¹ Yu-Ming Chu,¹ Ying-Qing Song,¹ and Yong-Min Li²

¹School of Mathematics and Computation Sciences, Hunan City University, Yiyang 413000, China

²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.

C. Mortici, “The natural approach of Wilker-Cusa-Huygens inequalities,” Mathematical Inequalities & Applications, vol. 14, no. 3, pp. 535–541, 2011.

C. Mortici, “A subtly analysis of Wilker inequality,” Applied Mathematics and Computation, vol. 231, pp. 516–520, 2014.

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.

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.

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.

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.

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.

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.

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.

Z. Yang, “Refinements of a two-sided inequality for trigonometric functions,” Journal of Mathematical Inequalities, vol. 7, no. 4, pp. 601–615, 2013.

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.

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.

S. Wu, “Sharpness and generalization of Jordan's inequality and its application,” Taiwanese Journal of Mathematics, vol. 12, no. 2, pp. 325–336, 2008.

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.

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.

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.

E. Neuman and J. Sándor, “On the Schwab-Borchardt mean,” Mathematica Pannonica, vol. 14, no. 2, pp. 253–266, 2003.

E. Neuman and J. Sándor, “On the schwab-borchardt mean II,” Mathematica Pannonica, vol. 17, no. 1, pp. 49–59, 2006.

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.

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.

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.