Some new estimates of precision of Cusa-Huygens and Huygens approximations
Branko Malesevic, Marija Nenezic, Ling Zhu, Bojan Banjac, Maja, Petrovic

TL;DR
This paper introduces new upper bounds for the Cusa-Huygens and Huygens approximations, using polynomial and rational functions to improve the estimation accuracy of these classical approximations.
Contribution
The paper provides novel upper bounds for the Cusa-Huygens and Huygens approximations expressed as polynomial and rational functions.
Findings
New polynomial bounds improve approximation accuracy.
Rational function bounds offer tighter estimates.
Results enhance understanding of classical approximation methods.
Abstract
In this paper we present some new upper bounds of the Cusa-Huygens and the Huygens approximations. Bounds are obtained in the forms of some polynomial and some rational functions.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Some new estimates of precision of Cusa-Huygens and Huygens approximations
(August 2, 2019)
Branko Malešević{}^{\,\mbox{\scriptsize1)}}\!, Marija Nenezić{}^{\,\mbox{\scriptsize1)}}, Ling Zhu{}^{\,\mbox{\scriptsize\ast,!2)}}\!,
Bojan Banjac{}^{\,\mbox{\scriptsize3)}} and Maja Petrović{}^{\,\mbox{\scriptsize4)}}
{}^{\;\mbox{\scriptsize1)}}*School of Electrical Engineering, University of Belgrade,
Bulevar Kralja Aleksandra 73, 11000 Belgrade, Serbia
{}^{\;\mbox{\scriptsize2)}}Department of Mathematics, Zhejiang Gongshang University,
Hangzhou City, Zhejiang Province, 310018, China
{}^{\;\mbox{\scriptsize3)}}Faculty of Technical Sciences, University of Novi Sad,
Trg Dositeja Obradovića 6, 21000 Novi Sad, Serbia
{}^{\;\mbox{\scriptsize4)}}The Faculty of Transport and Traffic Engineering, University of Belgrade,
Vojvode Stepe 305, 11000 Belgrade, Serbia
Abstract. In this paper we present some new upper bounds of the Cusa-Huygens and the Huygens approximations. Bounds are obtained in the forms of some polynomial and some rational functions.
†† {}^{\mbox{\scriptsize\ast}}Corresponding author.
Emails:
Branko Malešević [email protected], Marija Nenezić [email protected], Ling Zhu [email protected], Bojan Banjac [email protected], Maja Petrović [email protected]
Keywords: approximation of trigonometric functions, Cusa-Huygens inequality
MSC: 42A10, 26D05
1 Introduction
In this paper is considered the following Cusa-Huygens inequality
[TABLE]
for x\!\in\!\left(0,\mbox{\footnotesize\displaystyle\frac{\pi}{2}}\right), as shown in [1], [2] and [3]. Let us emphasize that the following approximation
[TABLE]
for , was first surmised in the De Cusa’s Opera book, see [4] and [6]. Approximation stated above will be called the Cusa-Huygens approximation.
Let us consider the error of the Cusa-Huygens approximation as the following function
[TABLE]
for . One estimation of the precision of the Cusa-Huygens approximation is given by the following statement of Ling Zhu:
Theorem 1
[7]* It is true that*
[TABLE]
and
[TABLE]
for and that and are the best constants in the previous inequalities, respectively.
The results of the previous theorem are corrections of the Theorem 3.4.20 from monograph [1]. This important discovery and the resulting corrections took place in 2018, almost half a century after the publication of classics [7].
In this paper we consider also the following the Huygens’s approximation
[TABLE]
for x\in\left(0,\mbox{\small\displaystyle\frac{\pi}{2}}\right). Estimates of the function of error of Huygens approximation Q(x)=\mbox{\footnotesize\displaystyle\frac{2}{3}}\sin x+\mbox{\footnotesize\displaystyle\frac{1}{3}}\tan x-x, for x\!\in\!\left(0,\mbox{\small\displaystyle\frac{\pi}{2}}\right), are achieved by use of some polynomial functions and some rational functions. Necessary theoretical basis for that research are stated in the following section.
2 Preliminaries
**Double sided Taylor approximations
** Let us introduce some denotations and the basic claims that shall be used according to the papers [8] and [9]. Let us begin from real function for which there are the finite values , , for . Here we use denotation for Taylor polynomial of order , for , for function defined in right neighbourhood of :
[TABLE]
We shall call the first Taylor approximation in the right neighbourhood of [8]. For , let us define the remainder of first Taylor approximation in the right neighbourhood of by In the paper [8] are considered polynomials:
[TABLE]
and determined as second Taylor approximation in right neighbourhood of , for , [8]. Then following statement is true.
Theorem 2
Let us assume that is an real function over , and that is natural number such that there exist , for . Let us assume that is increasing over . Then for every following inequality is true
[TABLE]
At that, if is decreasing over , then reversed inequality from (9) is true.
Previous statement we call the Theorem on double-sided Taylor’s approximations in [8] and [9], i.e. Theorem WD in [26]-[30]. Let us emphasize that proof of this Theorem (i.e. Theorem 2 u [10]) is based on L’Hospital’s rule for the monotonicity. Similar method is used in proving some close theorems in [11], [12] and [13], which were previously published. Further, the following claims are true.
Proposition 1
[8]*
Let be such real function that there exist the first and the second Taylor approximation in the right neighbourhood of , for some . Then,*
[TABLE]
for every .
Theorem 3
[8]*
Let be real analytic function with the power series*
[TABLE]
where and for every . Then,
[TABLE]
for every . If and for every , then the reversed inequality is true.
**Inequality for Bernoulli numbers
** Let be the sequence of Bernoulli numbers as it is usually considered, for example see [14]. In this paper we state well the known inequality for Bernoulli numbers as given by D. A’niello in [15]:
[TABLE]
Previous inequality can be rewritten in the equivalent form
[TABLE]
for , and it shall be used in the next section.
3 Main results
**3.1 Case of Cusa-Huygens approximation
** In this part we determinate some upper bounds of one estimation of error of the Cusa-Huygens approximation.
In connection with inequality (4) we consider the following statements.
Lemma 1
The function
[TABLE]
has
* exactly one maximum on the interval at the point*
[TABLE]
and the numerical value of the function in the point is
[TABLE]
* exactly one inflection point on the interval *
[TABLE]
and the numerical value of the function in the point is
[TABLE]
Proof. Based on the first and the second derivation of the function
[TABLE]
and
[TABLE]
statements and are true.
Lemma 2
The equation
[TABLE]
has exactly one solution
[TABLE]
on the interval .
Proof. The equalities and are true. The function is strictly increasing on the interval and strictly decreasing on the interval . The function is convex on the interval and concave on the interval . Let us note that
[TABLE]
Therefore we can conclude that in the interval exists exactly one solution of the equation with the numerical value .
Lemma 3
The function
[TABLE]
has exactly one maximum in the point and the numerical value of the function in the point of the maximum is
[TABLE]
Proof. The statement follows from the first derivation
[TABLE]
directly and the previous two lemmas.
Let us denote
[TABLE]
Then, based on the previous three lemmas and result of the paper Ling Zhu [7] we have the following statement.
Theorem 4
The following inequalities are true
[TABLE]
for .
The above consideration on estimates of the precision of the Cusa-Huygens approximation may be further generalized if determined the Maclaurin series of the Cusa-Huygens function
[TABLE]
Next, in the connection with the inequality (5) we consider the following statements.
Lemma 4
The function
[TABLE]
has
* exactly one maximum on the interval at the point*
[TABLE]
and the numerical value of the function in the point is
[TABLE]
* exactly one inflection point on the interval *
[TABLE]
and the numerical value of the function in the point is
[TABLE]
Proof. Based on the first and the second derivation of the function
[TABLE]
and
[TABLE]
statements and are true.
Lemma 5
The equation
[TABLE]
has exactly one solution
[TABLE]
on the interval .
Proof. The equalities and are true. The function is strictly increasing on the interval and strictly decreasing on the interval . The function is convex on the interval and concave on the interval . Let us note that
[TABLE]
Therefore we can conclude that in the interval exists exactly one solution of the equation with the numerical value .
Lemma 6
The function
[TABLE]
has exactly one maximum in the point and the numerical value of the function in the point of the maximum is
[TABLE]
Proof. Statement follows from the first derivation
[TABLE]
directly and the previous two lemmas.
Let us denote
[TABLE]
Then, based on the previous three lemmas and result of the paper Ling Zhu [7] we have the following statement.
Theorem 5
The following inequalities are true
[TABLE]
for .
The above consideration may be further generalized if the determined Maclaurin series of the function
[TABLE]
**3.2 Case of Huygens approximation
** In this part we determinate some upper bounds of one estimation of the error of the Huygens approximation. Results stated in preliminarily section are applied to the function
[TABLE]
for which we shall use the term the Huygens function.
Some polynomial bounds of the Huygens function. Let us start from the well known power series from monograph [14]
[TABLE]
where and
[TABLE]
where |x|<\mbox{\small\displaystyle\frac{\pi}{2}}. Based on the previous two power series follows
[TABLE]
with coefficients
[TABLE]
where x\in\left(0,\mbox{\small\displaystyle\frac{\pi}{2}}\right) and . Based on the inequalities (14) follows that
[TABLE]
for . From there comes that, based on Theorem 3, the following claim about some polynomial inequalities for the Huygens function is true.
Theorem 6
Let there be given the function \varphi(x)=\displaystyle\sum_{k=0}^{\infty}{a_{k}x^{2k+1}}:\left(0,\mbox{\small\displaystyle\frac{\pi}{2}}\right)\longrightarrow\mathbb{R}, with coefficients determined with . Let it be that c\!\in\!\left(0,\mbox{\small\displaystyle\frac{\pi}{2}}\right) is fixed. Then for holds
[TABLE]
Example 1
Let us introduce some examples of the inequalities obtained for integers .
* Let it be that c\!\in\!\left(0,\mbox{\small\displaystyle\frac{\pi}{2}}\right) is fixed. Then for holds***
[TABLE]
* Let it be that c\!\in\!\left(0,\mbox{\small\displaystyle\frac{\pi}{2}}\right) is fixed. Then for holds***
[TABLE]
* Let it be that c\!\in\!\left(0,\mbox{\small\displaystyle\frac{\pi}{2}}\right) is fixed. Then for holds***
[TABLE]
for integers .
* Let it be that c\!\in\!\left(0,\mbox{\small\displaystyle\frac{\pi}{2}}\right) is fixed. Then for holds***
[TABLE]
From the previous Theorem directly follows estimate of the function of error of Huygens approximation Q(x)=\mbox{\footnotesize\displaystyle\frac{2}{3}}\sin x+\mbox{\footnotesize\displaystyle\frac{1}{3}}\tan x-x with previously considered polynomial functions.
Theorem 7
Let it be given the function \varphi(x)=\displaystyle\sum_{k=0}^{\infty}{a_{k}x^{2k+1}}:\left(0,\mbox{\small\displaystyle\frac{\pi}{2}}\right)\longrightarrow\mathbb{R}, with coefficients determined with . Let it be that c\!\in\!\left(0,\mbox{\small\displaystyle\frac{\pi}{2}}\right) is fixed. Then for holds
[TABLE]
Some rational bounds for the Huygens function. In this section are considered some series for tangent function obtained based on the well known series for cotangent function [14]
[TABLE]
which converges for . From previous series we conclude that
[TABLE]
for 0\!<\!\left|\mbox{\small\displaystyle\frac{\pi}{2}}\!-\!x\right|\!<\!\pi, which holds for x\!\in\!\left(0,\mbox{\small\displaystyle\frac{\pi}{2}}\right). From there \phi(x)=\tan x-\mbox{\small\displaystyle\frac{1}{\mbox{\footnotesize}-x}} determines real analytic function on \left(0,\mbox{\small\displaystyle\frac{\pi}{2}}\right). Let us notice that M. Nenezić and L. Zhu in the paper [30] obtained the following series
[TABLE]
for x\in\left(0,\mbox{\small\displaystyle\frac{\pi}{2}}\right), with coefficients
[TABLE]
for . Let us introduce sequence
[TABLE]
for . Based on the inequality (14) the following statement is easily checked.
Lemma 7
For fixed x\!\in\!\left(0,\mbox{\small\displaystyle\frac{\pi}{2}}\right) and sequence holds
[TABLE]
Based on the Leibnitz alternating series test follows next statement about some rational inequalities for tangent function.
Theorem 8
Let it be given the function
[TABLE]
with coefficients determined by . Then for x\in\left(0,\mbox{\small\displaystyle\frac{\pi}{2}}\right) holds
[TABLE]
Furthermore, let us consider the function
[TABLE]
with coefficients determined with
[TABLE]
for . Let us introduce the sequence
[TABLE]
for . By application of symbolic algebra system we can determine initial part of the power series of , for example up to sixth degree
[TABLE]
Based on the inequality (14) the following statement is simply checked.
Lemma 8
For fixed x\!\in\!\left(0,\mbox{\small\displaystyle\frac{\pi}{2}}\right) and sequence holds
[TABLE]
Based on the Leibnitz alternating series test follows statement about some rational inequalities for the Huygens function.
Theorem 9
Let there be given the function
[TABLE]
with coefficients determined by . Then for x\!\in\!\left(0,\mbox{\small\displaystyle\frac{\pi}{2}}\right) holds
[TABLE]
Example 2
Let us introduce some examples of inequalities obtained for integers .
* For x\!\in\!\left(0,\mbox{\small\displaystyle\frac{\pi}{2}}\right) holds***
[TABLE]
* For x\!\in\!\left(0,\mbox{\small\displaystyle\frac{\pi}{2}}\right) holds***
[TABLE]
Remark 10
For x\!\in\!\left(0,\mbox{\small\displaystyle\frac{\pi}{2}}\right) holds
[TABLE]
From the previous Theorem simply follows estimate of the function of the error of Huygens approximation Q(x)=\mbox{\footnotesize\displaystyle\frac{2}{3}}\sin x+\mbox{\footnotesize\displaystyle\frac{1}{3}}\tan x-x with previously considered rational functions.
Theorem 11
Let it be given the function
[TABLE]
with coefficients determined by . Then for x\!\in\!\left(0,\mbox{\small\displaystyle\frac{\pi}{2}}\right) holds
[TABLE]
4 Conclusion
Based on the inequalities (4) and (5), stated by Zhu [7], using elementary analysis we have obtained in Theorems 4 and 5 two new double inequalities which can be used to estimate some polynomial bounds of the function of error of the Cusa-Huygens approximation. With Theorem 7 were determined some bounds of the function of error of the Huygens approximation using polynomial functions and with Theorem 11 were determined some bounds of the function of error of the Huygens approximation using rational functions. Let us emphasize that with the Theorem 8 were given some bounds of tangent function by use of rational functions which can be applied to other parts of Theory of analytical inequalities. Lastly, let us notice that the proofs of the considered inequalities can be also obtained by application of methods and algorithms presented in papers [16], [17], [18], [19]-[26], [31]-[34] and in dissertation [35].
Acknowledgement. The authors are grateful to the reviewers for their careful reading and for their valuable comments.
Funding. The research of the first author was supported in part by the Serbian Ministry of Education, Science and Technological Development, under Projects ON 174032 & III 44006. The research of the third author was supported in part by the Natural Science Foundation of China grants No. 61772025.
Competing Interests. The authors would like to state that they do not have any competing interests in the subject of this research.
Author’s Contributions. All the authors participated in every phase of the research conducted for this paper.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] D.S. Mitrinović : Analytic Inequalities , Springer 1970.
- 2[2] D.G. Anderson , M. Vuorinen , X.H. Zhang : Topics in Special Functions III In G.V. Milovanović , M.Th. Rassias (ed.): Analytic number theory, approximation theory and special functions , 297–345, Springer 2014.
- 3[3] J. S a ´ ´ a \acute{\mbox{\sc a}} ndor , M. Bencze : On Huygens’ trigonometric inequality , RGMIA Res. Rep. Collection 8 :3 (2005), 1–4.
- 4[4] Queries - Replies , Mathematics of Computation 3 (1949), 561–563.
- 5[5] W. Snellius : Cyclometricus , Leyden, 1621 (prop. XXIX, p. 43) Available on: https://www.e-rara.ch/zut/wihibe/content/titleinfo/1173785
- 6[6] K.T. Vahlen : Konstruktionen und Approximationen in systematischer Darstellung , Leipzig 1911. (188–190). Available on: https://archive.org/details/konstruktionenun 00vahluoft/
- 7[7] L. Zhu : On Frame’s inequalities , J. Inequal. Appl. 2018 :94, 1–14 (2018). Available on: https://doi.org/10.1186/s 13660-018-1687-x
- 8[8] B. Malešević , M. Rašajski , T. Lutovac : Double-sided Taylor’s approximations and their applications in Theory of analytic inequalities In Th.M. Rassias , D. Andrica (ed.): Differential and Integral Inequalities , Springer 2019, to appear ( ar Xiv:1811.10124 )
