IJMMS International Journal of Mathematics and Mathematical Sciences 1687-0425 0161-1712 Hindawi Publishing Corporation 597490 10.1155/2012/597490 597490 Research Article On Huygens' Inequalities and the Theory of Means Sándor József Hajja Mowaffaq 1 Department of Mathematics Babeş-Bolyai University Strada Kogălniceanu no. 1 400084 Cluj-Napoca Romania ubbcluj.ro 2012 10 9 2012 2012 24 03 2012 20 08 2012 2012 Copyright © 2012 József Sándor. 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.

By using the theory of means, various refinements of Huygens' trigonometric and hyperbolic inequalities will be proved. New Huygens' type inequalities will be provided, too.

1. Introduction

The famous Huygens' trigonometric inequality (see e.g., ) states that for all x(0,π/2) one has (1.1)2sinx+tanx>3x.

The hyperbolic version of inequality (1.1) has been established recently by Neuman and Sándor : (1.2)2sinhx+tanhx>3x,forx>0.

Let a,b>0 be two positive real numbers. The logarithmic and identric means of a and b are defined by (1.3)L=L(a,b):=b-alnb-lna(forab);  L(a,a)=a,I=I(a,b):=1e(bbaa)1/(b-a)(forab);  I(a,a)=a, respectively. Seiffert's mean P is defined by (1.4)P=P(a,b):=a-b2arcsin((a-b)/(a+b))(forab),P(a,a)=a.

Let (1.5)A=A(a,b):=a+b2,G=G(a,b)=ab,H=H(a,b)=2/(1a+1b) denote the arithmetic, geometric, and harmonic means of a and b, respectively. These means have been also in the focus of many research papers in the last decades. For a survey of results, see, for example, . In what follows, we will assume ab.

Now, by remarking that letting a=1+sinx, b=1-sinx, where x(0,π/2), in P,G,and  A, we find that (1.6)P=sinxx,G=cosx,A=1, so Huygens' inequality (1.1) may be written also as (1.7)P>3AG2G+A=3/(2A+1G)=H(A,A,G). Here H(a,b,c) denotes the harmonic mean of the numbers a,b,c: (1.8)H(a,b,c)=3/(1a+1b+1c).

On the other hand, by letting a=ex, b=e-x in L,G,and  A, we find that (1.9)L=sinhxx,G=1,A=coshx, so Huygens' hyperbolic inequality (1.2) may be written also as (1.10)L>3AG2A+G=3/(2G+1A)=H(G,G,A).

2. First Improvements

Suppose a,b>0, ab.

Theorem 2.1.

One has (2.1)P>H(L,A)>3AG2G+A=H(A,A,G),(2.2)L>H(P,G)>3AG2A+G=H(G,G,A).

Proof.

The inequalities P>H(L,A) and L>H(P,G) have been proved in paper  (see Corollary 3.2). In fact, stronger relations are valid, as we will see in what follows.

Now, the interesting fact is that the second inequality of (2.1), that is, 2LA/(L+A)>3AG/(2G+A) becomes, after elementary transformations, exactly inequality (1.10), while the second inequality of (2.2), that is, 2PG/(P+G)>3AG/(2A+G) becomes inequality (1.7).

Another improvements of (1.7), respectively, (1.10) are provided by

Theorem 2.2.

One has the inequalities: (2.3)P>A2G3>3AG2G+A,(2.4)L>G2A3>3AG2A+G.

Proof.

The first inequality of (2.3) is proved in , while the first inequality of (2.8) is a well-known inequality due to Leach and Sholander  (see  for many related references). The second inequalities of (2.3) and (2.4) are immediate consequences of the arithmetic-geometric inequality applied for A, A, G and A, G, G, respectively.

Remark 2.3.

By (2.3) and (1.6), we can deduce the following improvement of the Huygens' inequality (1.1): (2.5)sinxx>cosx3>3cosx2cosx+1,x(0,π2).

From (2.1) and (1.6), we get (2.5)sinxx>2L*L*+1>3cosx2cosx+1,x(0,π2).

Similarly, by (2.4) and (1.9), we get (2.6)sinhxx>coshx3>3coshx2coshx+1,  x>0.

From (2.2) and (1.9), we get (2.6)sinhxx>2P*P*+1>3coshx2coshx+1,  x>0.

Here, L*=L(1+sinx,1-sinx), P*=P(ex,e-x).

We note that the first inequality of (2.5) has been discovered by Adamović and Mitrinović (see ), while the first inequality of (2.6) by Lazarević (see ).

Now, we will prove that inequalities (2.2) of Theorem 2.1 and (2.4) of Theorem 2.2 may be compared in the following way.

Theorem 2.4.

One has (2.7)L>G2A3>H(P,G)>3AG2A+G.

Proof.

We must prove the second inequality of (2.7). For this purpose, we will use the inequality (see ): (2.8)P<2A+G3. This implies G/P>3G/(G+2A), so (1/2)(1+G/P)>(2G+A)/(G+2A).

Now, we will prove that (2.9)2G+AG+2A>GA3.

By letting x=G/A(0,1), inequality (2.9) becomes (2.10)2x+1x+2>x3.

Put x=a3, where a(0,1). After elementary transformations, inequality (2.10) becomes (a+1)(a-1)3<0, which is true.

Note.

The Referee suggested the following alternative proof: since P<(2A+G)/3 and the harmonic mean increases in both variables, it suffices to prove stronger inequality A2G3>H((2A+G)/3,G) which can be written as (2.9).

Remark 2.5.

The following refinement of inequalities (2.6) is true: (2.11)sinhxx>coshx3>2P*P*+1>3coshx2coshx+1,  x>0.

Unfortunately, a similar refinement to (2.7) for the mean P is not possible, as by numerical examples one can deduce that generally H(L,A) and A2G3 are not comparable. However, in a particular case, the following result holds true.

Theorem 2.6.

Assume that A/G4. Then one has (2.12)P>H(L,A)>A2G3>3AG2G+A.

First, prove one the following auxiliary results.

Lemma 2.7.

For any x4, one has (2.13)(x+1)23(2x3-1)>x43.

Proof.

A computer computation shows that (2.13) is true for x=4. Now put x=a3 in (2.13). By taking logarithms, the inequality becomes (2.14)f(a)=2ln(a3+12)-9lna+3ln(2a-1)>0.

An easy computation implies (2.15)a(2a-1)(a3+1)f(a)=3(a-1)(a2+a-3).

As 423+43-3=223+(23)2-3=(23-1)(23+3)>0, we get that f(a)>0 for a43. This means that f(a)>f(43)>0, as the inequality is true for a=43.

Proof of the theorem.

We will apply the inequality: (2.16)L>G(A+G2)23, due to the author . This implies (2.17)12(1+AL)<12(1+4A3G(A+G)23)=N.

By letting x=A/G in (2.13), we can deduce (2.18)N<AG3.

So (2.19)12(1+AL)<AG3.

This immediately gives H(L,A)>A2G3.

Remark 2.8.

If cosx1/4, x(0,π/2), then (2.20)sinxx>2L*L*+1>cosx3>3cosx2cosx+1, which is a refinement, in this case, of inequality (2.5).

3. Further Improvements Theorem 3.1.

One has (3.1)P>LA>A2G3>AGL>3AG2G+A,(3.2)L>GP>G2A3>AGP>3AG2A+G.

Proof.

The inequalities P>LA and L>GP are proved in . We will see, that further refinements of these inequalities are true. Now, the second inequality of (3.1) follows by the first inequality of (2.3), while the second inequality of (3.2) follows by the first inequality of (2.4). The last inequality is in fact an inequality by Carlson . For the inequalities on AG/P, we use (2.3) and (2.8).

Remark 3.2.

One has (3.3)sinxx>L*>cosx3>cosxL*>3cosx2cosx+1,x(0,π2),(3.4)sinhxx>P*>coshx3>coshxP*>3coshx2coshx+1,  x>0, where L* and P* are the same as in (2.6) and (2.5).

Theorem 3.3.

One has (3.5)P>LA>H(A,L)>ALI>AGL>3AG2G+A,(3.6)L>LI-GA-L>IG>PG>G2A3>3AG2A+G.

Proof.

The first two inequalities of (3.5) one followed by the first inequality of (3.1) and the fact that G(x,y)>H(x,y) with x=L, y=A.

Now, the inequality H(A,L)>AL/I may be written also as (3.7)I>A+L2, which has been proved in  (see also ).

Further, by Alzer's inequality L2>GI (see ) one has (3.8)LI>GL and by Carlson’s inequality L<(2G+A)/3 (see ), we get (3.9)ALI>AGL>3AG2G+A, so (3.5) is proved.

The first two inequalities of (3.6) have been proved by the author in . Since I>P (see ) and by (3.2), inequalities (3.6) are completely proved.

Remark 3.4.

One has the following inequalities: (3.10)sinxx>L*>2L*L*+1>L*I*>cosxL*>3cosx2cosx+1,  x(0,π2), where I*=I(1+sinx,1-sinx); (3.11)sinhxx>sinhxx(excothx-1-1coshx-sinhx/x)>e(xcothx-1)/2>P*>coshx3>3coshx2coshx+1.

Theorem 3.5.

One has (3.12)P>A(A+G2)23>A(A+2G3)>AL>H(A,L)>ALI>3AG2G+A,(3.13)L>G(A+G2)23>IG>G(2A+G3)>PG>G2A3>3AG2A+G.

Proof.

In (3.12), we have to prove the first three inequalities, the rest are contained in (3.5).

The first inequality of (3.12) is proved in . For the second inequality, put A/G=t>1 By taking logarithms, we have to prove that (3.14)g(t)=4ln(t+12)-3ln(t+23)-lnt>0.

As g(t)t(t+1)(t+2)=2(t-1)>0, g(t) is strictly increasing, so (3.15)g(t)>g(1)=0.

The third inequality of (3.12) follows by Carlson's relation L<(2G+A)/3 (see ).

The first inequality of (3.13) is proved in , while the second one in . The third inequality follows by I>(2A+G)/3 (see ), while the fourth one by relation (2.9). The fifth one is followed by (2.3).

Remark 3.6.

The first three inequalities of (3.12) offer a strong improvement of the first inequality of (3.1); the same is true for (3.13) and (3.2).

4. New Huygens Type Inequalities

The main result of this section is contained in the following:

Theorem 4.1.

One has (4.1)P>A(A+G2)23>3A(A+G)5A+G>A(2G+A)2A+G>3AG2G+A,(4.2)L>G(A+G2)23>3G(A+G)5G+A>G(2A+G)2G+A>3AG2A+G.

Proof.

The first inequalities of (4.1), respectively, (4.2) are the first ones in relations (3.12), respectively, (3.13).

Now, apply the geometric mean-harmonic mean inequality: (4.3)xy23=xyy3>3/(1x+1y+1y)=3/(1x+2y), for x=A, y=(A+G)/2 in order to deduce the second inequality of (4.1). The last two inequalities become, after certain transformation, (4.4)(A-G)2>0.

The proof of (4.2) follows on the same lines, and we omit the details.

Theorem 4.2.

For all x(0,π/2), one has (4.5)sinx+4tanx2>3x. For all x>0, one has (4.6)sinhx+4tanhx2>3x.

Proof.

Apply (1.6) for P>(3A(A+G))/(5A+G) of (4.1).

As cosx+1=2cos2(x/2) and sinx=2sin(x/2)cos(x/2), we get inequality (4.5). A similar argument applied to (4.6), by an application of (4.2) and the formulae coshx+1=2cosh2(x/2) and sinhx=2sinh(x/2)cosh(x/2).

Remarks 4.3.

By (4.1), inequality (4.5) is a refinement of the classical Huygens inequality (1.1): (4.3)2sinx+tanx>sinx+4tanx2>3x.

Similarly, (4.6) is a refinement of the hyperbolic Huygens inequality (1.2): (4.4)2sinhx+tanhx>sinhx+4tanhx2>3x.

We will call (4.5) as the second Huygens inequality, while (4.6) as the second hyperbolic Huygens inequality.

In fact, by (4.1) and (4.2) refinements of these inequalities may be stated, too.

The inequality P>A(2G+A)/(2A+G) gives (4.7)sinxx>2cosx+1cosx+2,

or written equivalently: (4.8)sinxx+3cosx+2>2,x(0,π2).

Acknowledgments

The author is indebted to Professor Edward Neuman for his support and discussions on this topic. He also thanks the Referee for a careful reading of the paper and a new proof of Theorem 2.4.

Huygens C. Oeuvres Completes 1888–1940 Haga, Gothenburg Sociéte Hollondaise des Science Sándor J. S. Bencze M. On Huygens' trigonometric inequality RGMIA Research Report Collection 2005 8 3, article 14 Neuman E. Sándor J. On some inequalities involving trigonometric and hyperbolic functions with emphasis on the Cusa-Huygens, Wilker, and Huygens inequalities Mathematical Inequalities & Applications 2010 13 4 715 723 10.7153/mia-13-50 2760494 ZBL1204.26023 Sándor J. On the identric and logarithmic means Aequationes Mathematicae 1990 40 2-3 261 270 10.1007/BF02112299 1069798 ZBL0717.26014 Sándor J. On refinements of certain inequalities for means Archivum Mathematicum 1995 31 4 279 282 1390586 ZBL0847.26015 Sándor J. On certain inequalities for means. III Archiv der Mathematik 2001 76 1 34 40 10.1007/s000130050539 1808740 ZBL0976.26015 Neuman E. Sándor J. On the Schwab-Borchardt mean Mathematica Pannonica 2003 14 2 253 266 2079318 ZBL1053.26015 Leach E. B. Sholander M. C. Extended mean values. II Journal of Mathematical Analysis and Applications 1983 92 1 207 223 10.1016/0022-247X(83)90280-9 694172 ZBL0517.26007 Sándor J. On certain inequalities for means. II Journal of Mathematical Analysis and Applications 1996 199 2 629 635 10.1006/jmaa.1996.0165 1383245 ZBL0854.26013 Neuman E. Sándor J. On the Schwab-Borchardt mean. II Mathematica Pannonica 2006 17 1 49 59 2215640 ZBL1100.26011 Carlson B. C. The logarithmic mean The American Mathematical Monthly 1972 79 615 618 0302842 10.2307/2317088 ZBL0241.33001 Sándor J. A note on some inequalities for means Archiv der Mathematik 1991 56 5 471 473 10.1007/BF01200091 1100572 ZBL0693.26005 Alzer H. Two inequalities for means La Société Royale du Canada 1987 9 1 11 16 873401 ZBL0615.26015 Seiffert H. J. Ungleichungen für einen bestimmten Mittelwert, Nieuw Arch Wisk 1995 13 42 195 198 Sándor J. New refinements of two inequalities for means submitted