Sharp bounds for cyclic sums of the ratio of the exradius to the sides of a triangle

Abstract

In this paper, sharp bounds for cyclic sums of the ratio of the exradius to the sides of a triangle are established depending on the circumradius and inradius of the triangle. The best possible parameters for the expressions of bounds are derived. Moreover, an alternative bound for the ratio of the exradius to the sides of triangle, expressed by trigonometric functions, is also considered.

1 Introduction

For a given triangle $ABC$, we assume that A, B, C denote its angles, a, b, c denote the lengths of its corresponding sides, s, R, and r denote the semiperimeter, circumradius, and inradius of a triangle, respectively. Let $w_{a}$, $w_{b}$, $w_{c}$ and $m_{a}$, $m_{b}$, $m_{c}$ denote respectively the angle bisectors and the medians emanating from vertices A, B, C, and let $r_{a}$, $r_{b}$, $r_{c}$ denote the exradii tangent to the corresponding sides. In addition, we will customarily use the symbol of cyclic sums such as

$$\sum{f(a)}=f(a)+f(b)+f(c),\qquad \sum{f(a,b)}=f(a,b)+f(b,c)+f(c,a). $$

The inequalities related to the angle bisectors, medians, exradii, and the sides of a triangle have attracted the interest of many geometers and have motivated a large number of research papers; see e.g. Shi and Wu [1, 2], Jiang [3], Jiang and Bencze [4], Srivastava et al. [5], Satnoianu [6], Bencze et al. [7–10], Zhelev [11], and Wu et al. [12–16]. An excellent survey on these inequalities can be found in the well-known monographs [17] and [18]. In this paper, we investigate a type of inequality concerning the ratios of the exradii to the sides of a triangle.

We begin by recalling some related results reported in the foregoing literature.

In 1995, Yang [19] and Ma and Dong [20] established the following ratio-type inequality involving the angle bisectors and the sides of a triangle:

$$ \frac{3\sqrt{3}}{2}+ \biggl( {\frac{8}{3}-\frac{3\sqrt{3}}{2}} \biggr) \biggl( {1-\frac{2r}{R}} \biggr) \leq\sum{\frac{w_{a}}{a}}\leq \frac{3\sqrt{3}}{ 2}+2\sqrt{3} \biggl( {\frac{R}{2r}-1} \biggr) . $$

(1)

In 2000, Chu and Yang [21] presented the following inequality of ratio type associated with the medians and the sides of a triangle:

$$ \frac{3\sqrt{3}}{2}\sqrt{\frac{7}{3}-{\frac{16Rr+4r^{2}}{s^{2}}}}\leq \sum{ \frac{m_{a}}{a}}\leq\sqrt{{\frac{r}{R}+\frac{R}{r}+ \frac {r^{2}}{R^{2}}+\frac{R^{2}}{r^{2}}}}. $$

(2)

Motivated by the above results, the main purpose of this paper is to establish a ratio-type inequality involving the exradii and the sides of a triangle. We present the best possible parameters $\alpha_{1}$, $\beta_{1}$ and $\alpha _{2}$, $\beta_{2}$ such that the double inequalities

$$\begin{aligned}& \sqrt{\alpha_{1}+ \biggl(\beta_{1}+(27-4 \alpha_{1}-2\beta_{1})\frac{r}{R} \biggr) \frac{r}{R}} \\& \quad \leq\sum{\frac{r_{a}}{a}}\leq\sqrt{\alpha_{2}+ \biggl(\beta_{2}+\biggl(\frac{{27}}{2}{-2\alpha }_{2}{-4 \beta}_{2}\biggr)\frac{r^{2}}{R^{2}} \biggr)\frac{R}{r}} \end{aligned}$$

(3)

hold. Moreover, in Section 3.2, we present alternative bounds for the ratios of the exradii to the sides of triangle, in which the bounds are expressed by trigonometric functions.

2 Lemmas

In order to prove our main results, we first introduce a lemma. The results stated in the following lemma were established by way of geometric interpretation of the Blundon inequality (see Wu and Chu [22] for details), which provides a useful method for proving the inequalities concerning sides, circumradius, and inradius of a triangle.

Lemma 2.1

([22])

Let R, r, and s denote respectively the circumradius, inradius, and semiperimeter of the triangle. Then:

• (i) The inequality

  $$ s\geq f(R,r) $$

  (4)

  holds for any triangle if and only if inequality (4) is valid for the isosceles triangles with the vertex angle greater than or equal to ${\pi}/{3}$.

• (ii) The inequality

  $$ s\leq f(R,r) $$

  (5)

  holds for any triangle if and only if inequality (5) is valid for the isosceles triangles with the vertex angle less than or equal to ${\pi}/{3}$.

Remark 2.2

([22])

If the inequality under consideration is homogeneous with respect to R, r, and s, for convenience of computing, without loss of generality, we may assume that the side lengths of the isosceles triangles are of the form

$$ a=2,\qquad b=\frac{1+t^{2}}{1-t^{2}},\qquad c=\frac{1+t^{2}}{1-t^{2}}\quad (0< t< 1). $$

(6)

In fact, under this assumption on the side lengths of the isosceles triangles, the expressions of s, r, and R are all rational functions, i.e., we have

$$\begin{aligned}& s =\frac{a+b+c}{2}=\frac{2}{1-t^{2}}, \\& r =\sqrt{\frac{(b+c-a)(c+a-b)(a+b-c)}{4(a+b+c)}}=t, \\& R =\frac{abc}{\sqrt{(a+b+c)(b+c-a)(c+a-b)(a+b-c)}}=\frac{(1+t^{2})^{2} }{4t(1-t^{2})}. \end{aligned}$$

This makes calculations much easier.

3 Main results

3.1 Sharp bounds for $\sum{\frac{r_{a}}{a}}$ in terms of circumradius and inradius of a triangle

Theorem 3.1

In any triangle $ABC$, the following double inequalities hold:

$$ \sqrt{\frac{25}{4}+ \biggl(\frac{5}{4}-\frac{r}{2R} \biggr) \frac{r}{R}}\leq \sum{\frac{r_{a}}{a}\leq}\sqrt{ \frac{13}{4}+ \biggl(1+\frac{3r^{2}}{R^{2}} \biggr)\frac{R}{r}} $$

(7)

with the equalities if and only if the triangle is equilateral. Furthermore, $\frac{25}{4}$, $\frac{5}{4}$, $\frac{13}{4}$, and 1 are the best coefficients in (7).

Proof

From the formulas of the exradii

$$r_{a}=\frac{sr}{s-a},\qquad r_{b}=\frac{sr}{s-b}, \qquad r_{c}=\frac {sr}{s-c}$$

and the identities (see [18])

$$\begin{aligned}& (s-a) (s-b) (s-c)=sr^{2},\qquad abc=4sRr, \\& \sum ab=s^{2}+4Rr+r^{2} \end{aligned}$$

we have

$$\begin{aligned} \sum{\frac{r_{a}}{a}} & =\sum\frac{sr}{a(s-a)} \\ & =\frac{sr}{abc(s-a)(s-b)(s-c)}\sum ab(s-a) (s-b) \\ & =\frac{1}{4sRr^{2}}\Bigl(\sum a^{2}b^{2}+s^{2} \sum ab-s\sum ab(a+b)\Bigr) \\ & =\frac{1}{4sRr^{2}}\Bigl(\Bigl(\sum ab\Bigr)^{2}+s^{2} \sum ab-2s^{2}\sum ab-sabc\Bigr) \\ & =\frac{1}{4sR}\bigl(s^{2}+16R^{2}+8Rr+r^{2} \bigr) \\ & =\frac{1}{4R} \biggl(s+\frac{16R^{2}+8Rr+r^{2}}{s} \biggr). \end{aligned}$$

Thus, inequality (7) is equivalent to

$$\begin{aligned} 4R\sqrt{\frac{25}{4}+ \biggl(\frac{5}{4}-\frac{r}{2R} \biggr) \frac{r}{R}}&\leq s+\frac{16R^{2}+8Rr+r^{2}}{s} \\ &\leq4R\sqrt{\frac{13}{4}+ \biggl(1+\frac {3r^{2}}{R^{2}} \biggr)\frac{R}{r}}. \end{aligned}$$

(8)

By the Euler inequality $R\geq2r$ and the Gerretsen’s inequality (see [17])

$$\sqrt{16Rr-5r^{2}}\leq s\leq\sqrt{4R^{2}+4Rr+3r^{2}} $$

it is easy to verify that the function

$$g(s)=s+\frac{16R^{2}+8Rr+r^{2}}{s} $$

is strictly decreasing on the interval $[\sqrt{16Rr-5r^{2}},\sqrt {4R^{2}+4Rr+3r^{2}}]$. Hence, inequality (8) can be equivalently transformed to the form

$$f_{1}(R,r)\leq s\leq f_{2}(R,r). $$

By Lemma 2.1, in order to prove inequality (8) for any triangle, it suffices to prove inequality (8) for the isosceles triangle. Note that inequality (8) is homogeneous with respect to R, r, and s, so that we may assume that the side lengths of the triangle are

$$a=2,\qquad b=\frac{1+t^{2}}{1-t^{2}},\qquad c=\frac{1+t^{2}}{1-t^{2}} $$

for some $0< t<1$. Further, the semiperimeter s, inradius r, and the circumradius R of the triangle can be expressed as follows:

$$s=\frac{2}{1-t^{2}},\qquad r=t, \qquad R=\frac{(1+t^{2})^{2}}{4t(1-t^{2})}. $$

Substituting t for s, r, R gives

$$\begin{aligned}& \biggl( s+\frac{16R^{2}+8Rr+r^{2}}{s} \biggr) ^{2}-16R^{2} \biggl( \frac {25}{4}+ \biggl(\frac{5}{4}-\frac{r}{2R} \biggr) \frac{r}{R} \biggr) \\& \quad = \biggl( \frac{2}{1-t^{2}}+\frac{1-t^{2}}{2} \biggl(\frac{(1+t^{2})^{4}}{t^{2}(1-t^{2})^{2}}+ \frac{2(1+t^{2})^{2}}{(1-t^{2})}+t^{2} \biggr) \biggr) ^{2} \\& \qquad{} -\frac{(1+t^{2})^{4}}{t^{2}(1-t^{2})^{2}} \biggl( \frac{25}{4}+ \biggl( \frac {5}{4}-\frac{2t^{2}(1-t^{2})}{(1+t^{2})^{2}} \biggr)\frac{4t^{2}(1-t^{2})}{(1+t^{2})^{2}} \biggr) \\& \quad =\frac{1}{4t^{4}} \bigl( 3t^{2}+1 \bigr) \bigl( 3t^{2}-1 \bigr) ^{2} \\& \quad \geq0 \end{aligned}$$

(9)

and

$$\begin{aligned}& \biggl( s+\frac{16R^{2}+8Rr+r^{2}}{s} \biggr) ^{2}-{16R}^{2} \biggl( \frac{13}{4}+ \biggl(1+\frac{3r^{2}}{R^{2}} \biggr)\frac{R}{r} \biggr) \\& \quad = \biggl( \frac{2}{1-t^{2}}+\frac{1-t^{2}}{2} \biggl(\frac{(1+t^{2})^{4}}{t^{2}(1-t^{2})^{2}}+ \frac{2(1+t^{2})^{2}}{(1-t^{2})}+t^{2} \biggr) \biggr) ^{2} \\& \qquad {}-\frac{(1+t^{2})^{4}}{t^{2}(1-t^{2})^{2}} \biggl( \frac{13}{4}+ \biggl(1+ \frac{48t^{4}(1-t^{2})^{2}}{(1+t^{2})^{4}} \biggr)\frac {(1+t^{2})^{2}}{4t^{2}(1-t^{2})} \biggr) \\& \quad =\frac{1}{ ( t^{2}-1 ) ^{3}} \bigl( 3t^{2}-1 \bigr) ^{2} \bigl( t^{2}+1 \bigr) ^{2} \\& \quad \leq0. \end{aligned}$$

(10)

Hence, inequality (7) holds for the isosceles triangle. We thus deduce from Lemma 2.1 that inequality (7) is valid for any triangle. Additionally, note that the equality holds in the above inequalities if and only if $t=\frac{1}{\sqrt{3}}$, that is, when the triangle is equilateral.

Next, we need to show that the coefficients $\frac{25}{4}$, $\frac{5}{4}$, $\frac{13}{4}$ and 1, are the best possible in the strong sense.

Consider inequality (7) in a general form as

$$\begin{aligned}& \sqrt{\alpha_{1}+ \biggl(\beta_{1}+(27-4 \alpha_{1}-2\beta_{1})\frac{r}{R} \biggr) \frac{r}{R}} \\& \quad \leq\sum{\frac{r_{a}}{a}}\leq\sqrt{\alpha_{2}+ \biggl(\beta_{2}+\biggl(\frac{{27}}{2}{-2\alpha }_{2}{-4 \beta}_{2}\biggr)\frac{r^{2}}{R^{2}} \biggr) \frac{R}{r}}. \end{aligned}$$

(11)

Putting

$$a=2, \qquad b=\frac{1+t^{2}}{1-t^{2}},\qquad c=\frac{1+t^{2}}{1-t^{2}}\quad (0< t< 1) $$

in the left-hand side inequality of (11) yields

$$\begin{aligned}& \alpha_{1}+ \biggl(\beta_{1}+(27-4 \alpha_{1}-2\beta_{1})\frac {4t^{2}(1-t^{2})}{(1+t^{2})^{2}} \biggr) \frac{4t^{2}(1-t^{2})}{(1+t^{2})^{2}} \\& \quad \leq\frac{t^{2}(1-t^{2})^{2}}{(1+t^{2})^{4}} \biggl( \frac{2}{1-t^{2}}+ \frac{1-t^{2}}{2} \biggl( \frac{(1+t^{2})^{4}}{t^{2}(1-t^{2})^{2}}+\frac{2(1+t^{2})^{2}}{(1-t^{2})}+t^{2} \biggr) \biggr) ^{2} \\& \quad \Longleftrightarrow\quad \bigl( 3t^{2}-1 \bigr) ^{2} \bigl(28t^{6}\alpha_{1}-40t^{4} \alpha_{1}-4t^{2}\alpha_{1}-16t^{4} \beta_{1}+16t^{6}\beta_{1} \\& \hphantom{\quad \Longleftrightarrow\quad}\quad {}+26t^{2}+265t^{4}-192t^{6}+1 \bigr) \geq0. \end{aligned}$$

(12)

Taking the limit in (12) as $t\rightarrow1$, we get $\alpha_{1}\leq\frac{25}{4}$. Then, substituting the coefficient of $\alpha_{1}=\frac{25}{4}$ into (12), we have

$$ \bigl( 3t^{2}-1 \bigr) ^{2}\bigl(16t^{4} \beta_{1}-17t^{4}-2t^{2}-1\bigr)\leq0 . $$

(13)

Letting $t\rightarrow1$ in (13) yields $\beta_{1}\leq\frac{5}{4}$.

Consequently, the coefficients $\alpha_{1}=\frac{25}{4}$ and $\beta_{1}=\frac{5}{4}$ are the best possible in the left-hand side inequality of (11), that is, they cannot be replaced by larger constants.

Similarly, putting

$$a=2,\qquad b=\frac{1+t^{2}}{1-t^{2}},\qquad c=\frac{1+t^{2}}{1-t^{2}}\quad (0< t< 1) $$

in the right-hand side inequality of (11), it follows that

$$\begin{aligned}& \alpha_{2}+ \biggl(\beta_{2}+\biggl(\frac{{27}}{2}{-2 \alpha}_{2}{-4\beta}_{2}\biggr)\frac{16t^{4}(1-t^{2})^{2}}{(1+t^{2})^{4}} \biggr)\frac {(1+t^{2})^{2}}{4t^{2}(1-t^{2})} \\& \quad \geq\frac{t^{2}(1-t^{2})^{2}}{(1+t^{2})^{4}} \biggl( \frac{2}{1-t^{2}}+ \frac{1-t^{2}}{2} \biggl( \frac{(1+t^{2})^{4}}{t^{2}(1-t^{2})^{2}}+\frac{2(1+t^{2})^{2}}{(1-t^{2})}+t^{2} \biggr) \biggr) ^{2} \\& \quad \Longleftrightarrow\quad \bigl(3t^{2}-1\bigr)^{2} \bigl(4t^{4}\alpha_{2}-4t^{2}\alpha_{2}-10t^{2} \beta_{2}+7t^{4}\beta_{2}-\beta_{2} \\& \hphantom{\quad \Longleftrightarrow\quad}\quad {}+23 t^{2}-24t^{4}+1\bigr)\leq0. \end{aligned}$$

(14)

Taking the limit in (14) as $t\rightarrow0$, we obtain $\beta_{2}\geq1$. Further, substituting the coefficient of $\beta_{2}=1$ into (14) yields

$$ \bigl( 3t^{2}-1 \bigr) ^{2} \bigl( -4 \alpha_{2}+4t^{2}\alpha_{2}-17t^{2}+13 \bigr) \leq0. $$

(15)

Letting $t\rightarrow0$ in (15) gives $\alpha_{2}\geq\frac{13}{4}$.

Thus, the coefficients $\alpha_{2}=\frac{13}{4}$ and $\beta_{2}=1$ are the best possible in the right-hand side inequality of (11), that is, they cannot be replaced by lesser constants.

The proof of Theorem 3.1 is completed. □

Corollary 3.2

In any triangle $ABC$, the following double inequalities hold:

$$ \frac{5}{2}+(3\sqrt{3}-5)\frac{r}{R}\leq\sum{ \frac{r_{a}}{a}\leq}\frac {4}{\sqrt{3}}+\frac{\sqrt{3}}{12}\cdot \frac{R}{r} $$

(16)

with the equalities if and only if the triangle is equilateral.

Proof

According to Theorem 3.1, we have

$$ \sqrt{\frac{25}{4}+ \biggl(\frac{5}{4}- \frac{r}{2R} \biggr)\frac{r}{R}}\leq \sum{\frac{r_{a}}{a} \leq}\sqrt{\frac{13}{4}+ \biggl(1+\frac{3r^{2}}{R^{2}} \biggr) \frac{R}{r}}. $$

(17)

On the other hand, from the Euler inequality $R\geq2r$ we deduce that

$$\begin{aligned}& \frac{25}{4}+ \biggl(\frac{5}{4}-\frac{r}{2R} \biggr) \frac{r}{R}- \biggl(\frac {5}{2}+(3\sqrt{3}-5)\frac{r}{R} \biggr)^{2} \\& \quad =\frac{15r}{4R^{2}} ( R-2r ) (7-4\sqrt{3}) \\& \quad \geq0 \end{aligned}$$

and

$$\begin{aligned}& \frac{13}{4}+ \biggl(1+\frac{3r^{2}}{R^{2}} \biggr)\frac{R}{r}- \biggl(\frac {4}{\sqrt{3}}+\frac{\sqrt{3}}{12}\cdot\frac{R}{r} \biggr)^{2} \\& \quad =-\frac{1}{48Rr^{2}} ( R-2r ) \bigl((R-7r)^{2}+23r^{2} \bigr) \\& \quad \leq0, \end{aligned}$$

which leads to the desired inequalities in Corollary 3.2. □

Remark 3.3

In the left-hand side inequality of (16), the constant $\frac {5}{2}$ is the best possible. In fact, putting

$$a=2,\qquad b=\frac{1+t^{2}}{1-t^{2}}, \qquad c=\frac{1+t^{2}}{1-t^{2}} \quad (0< t< 1) $$

in the inequality

$$ \mu+(3\sqrt{3}-2\mu)\frac{r}{R}\leq\sum{\frac{r_{a}}{a}} $$

(18)

and taking the limit as $t\rightarrow1$, it follows that $\mu\leq\frac{5}{2}$. Thus, the best possible value for constant μ in (18) should be $\mu=\frac{5}{2}$.

In the same way as in the proof of Theorem 3.1, we can determine the best constant for the right-hand side inequality of (16), i.e., the best constant λ for the inequality

$$ \sum{\frac{r_{a}}{a}\leq\lambda}+ \biggl(\frac{3\sqrt{3}}{4}- \frac{\lambda}{ 2} \biggr)\frac{R}{r} $$

(19)

is

$$\lambda=\frac{\sqrt{3}t_{0}^{4}+26t_{0}^{3}+20\sqrt{3}t_{0}^{2}+10t_{0}+3\sqrt{3}}{6t_{0}^{4}+4\sqrt{3}t_{0}^{3}+8t_{0}^{2}+4\sqrt{3}t_{0}+2}\approx2.3278, $$

where $t_{0}$ is the real root in the interval $(0,\frac{1}{\sqrt{3}})$ of the equation

$$9t^{5}+11\sqrt{3}t^{4}-4\sqrt{3}t^{2}-9t+ \sqrt{3}=0. $$

3.2 Bounds for $\sum{\frac{r_{a}}{a}}$ expressed by trigonometric functions

Theorem 3.4

In any triangle $ABC$, the following double inequalities hold:

$$ 2\cos\frac{\alpha}{2}+\frac{1}{2}\tan\biggl(\frac{\pi}{4}+ \frac{\alpha }{4}\biggr)\leq \sum\frac{r_{a}}{a}\leq2\cos \frac{\beta}{2}+\frac{1}{2}\tan\biggl(\frac{\pi}{4}+ \frac{\beta}{4}\biggr), $$

(20)

where $\alpha=\min\{A,B,C\}$ and $\beta=\max\{A,B,C\}$. Furthermore, the equalities in (20) hold if and only if the triangle is isosceles.

Proof

By using the formulas of exradii (see [18])

$$\begin{aligned}& r_{a} =4R\cos\frac{B}{2}\cos\frac{C}{2}\sin \frac{A}{2}, \\& r_{b} =4R\cos\frac{C}{2}\cos\frac{A}{2}\sin \frac{B}{2}, \\& r_{c} =4R\cos\frac{A}{2}\cos\frac{B}{2}\sin \frac{C}{2}, \end{aligned}$$

we get

$$\sum\frac{r_{a}}{a}=\sum\frac{\cos\frac{B}{2}\cos\frac{C}{2}}{\cos\frac {A}{2}}. $$

Without loss of generality, we assume that $A\geq B$ and $A\geq C$. To prove the right-hand side inequality of (20), it suffices to prove that

$$ \sum\frac{r_{a}}{a}\leq2\cos\frac{A}{2}+\frac{1}{2} \tan\biggl(\frac{\pi }{4}+\frac {A}{4}\biggr). $$

(21)

Direct computation gives

$$\begin{aligned}& 2\cos\frac{A}{2}+\frac{1}{2}\tan\biggl(\frac{\pi}{4}+ \frac{A}{4}\biggr)-\sum\frac {r_{a}}{a} \\& \quad =2\cos\frac{A}{2}+\frac{1}{2}\tan\biggl(\frac{\pi}{4}+ \frac{A}{4}\biggr)-\sum\frac {\cos\frac{B}{2}\cos\frac{C}{2}}{\cos\frac{A}{2}} \\& \quad =\cos\frac{A}{2} \biggl(2-\frac{\cos\frac{B}{2}}{\cos\frac{C}{2}}-\frac {\cos \frac{C}{2}}{\cos\frac{B}{2}} \biggr)+\frac{1+\sin\frac{A}{2}-2\cos\frac {B}{2}\cos\frac{C}{2}}{2\cos\frac{A}{2}} \\& \quad =\frac{-\cos\frac{A}{2}(\cos\frac{B}{2}-\cos\frac{C}{2})^{2}}{\cos \frac {B}{2}\cos\frac{C}{2}}+\frac{1-\cos(\frac{B}{2}-\frac{C}{2})}{2\cos\frac {A}{2}} \\& \quad =\frac{-4\cos\frac{A}{2}\sin^{2}(\frac{B}{4}+\frac{C}{4})\sin ^{2}(\frac {B}{4}-\frac{C}{4})}{\cos\frac{B}{2}\cos\frac{C}{2}}+\frac{\sin ^{2}(\frac {B}{4}-\frac{C}{4})}{\cos\frac{A}{2}} \\& \quad =\frac{\sin^{2}(\frac{B}{4}-\frac{C}{4})}{\cos\frac{A}{2}\cos\frac{B}{2}\cos\frac{C}{2}} \biggl( \cos\frac{B}{2}\cos\frac{C}{2}-2 \cos^{2}\frac {A}{2}\biggl(1-\sin\frac{A}{2}\biggr) \biggr) . \end{aligned}$$

From $A\geq B$, $A\geq C$, and $A,B,C\in(0,\pi)$ we conclude that

$$0< \cos\frac{A}{2}\leq\cos\frac{B}{2},\qquad 0< \cos \frac{A}{2}\leq\cos \frac{C}{2} $$

and

$$\sin\frac{A}{2}\geq\sin\frac{\pi}{6}=\frac{1}{2}. $$

Hence,

$$\cos\frac{B}{2}\cos\frac{C}{2}-2\cos^{2} \frac{A}{2}\biggl(1-\sin\frac {A}{2}\biggr)\geq \cos^{2} \frac{A}{2}-2\cos^{2}\frac{A}{2}\biggl(1-\sin \frac{A}{2}\biggr)\geq0, $$

which implies that

$$2\cos\frac{A}{2}+\frac{1}{2}\tan\biggl(\frac{\pi}{4}+ \frac{A}{4}\biggr)-\sum\frac {r_{a}}{a}\geq0, $$

and the equality holds if and only if $B=C$. Hence, the right-hand side inequality of (20) is proved.

Similarly to the above, we assume that $C\leq A$ and $C\leq B$. To prove the left-hand side inequality of (20), it suffices to prove that

$$ \sum\frac{r_{a}}{a}\geq2\cos\frac{C}{2}+\frac{1}{2} \tan\biggl(\frac{\pi }{4}+\frac {C}{4}\biggr). $$

(22)

After a simple computation, we obtain

$$\begin{aligned}& 2\cos\frac{C}{2}+\frac{1}{2}\tan\biggl(\frac{\pi}{4}+ \frac{C}{4}\biggr)-\sum\frac {r_{a}}{a} \\& \quad =2\cos\frac{C}{2}+\frac{1}{2}\tan\biggl(\frac{\pi}{4}+ \frac{C}{4}\biggr)-\sum\frac {\cos\frac{B}{2}\cos\frac{C}{2}}{\cos\frac{A}{2}} \\& \quad =\frac{\sin^{2}(\frac{A}{4}-\frac{B}{4})}{\cos\frac{A}{2}\cos\frac{B}{2}\cos\frac{C}{2}} \biggl( \cos\frac{A}{2}\cos \frac{B}{2}-2\cos^{2}\frac {C}{2}\biggl(1-\sin \frac{C}{2}\biggr) \biggr). \end{aligned}$$

Noting that $C\leq A$, $C\leq B$, and $A,B,C\in(0,\pi)$, we have

$$\cos\frac{C}{2}\geq\cos\frac{A}{2}>0,\qquad \cos\frac{C}{2} \geq\cos \frac {B}{2}>0 $$

and

$$\sin\frac{C}{2}\leq\sin\frac{\pi}{6}=\frac{1}{2}. $$

Thus,

$$\cos\frac{A}{2}\cos\frac{B}{2}-2\cos^{2} \frac{C}{2}\biggl(1-\sin\frac {C}{2}\biggr)\leq \cos^{2} \frac{C}{2}-2\cos^{2}\frac{C}{2}\biggl(1-\sin \frac{C}{2}\biggr)\leq0, $$

which leads us to

$$\sum\frac{r_{a}}{a}\geq2\cos\frac{C}{2}+\frac{1}{2} \tan\biggl(\frac{\pi }{4}+\frac {C}{4}\biggr) $$

with equality if and only if $A=B$. The left-hand side inequality of (20) is proved. This completes the proof of Theorem 3.4. □

Remark 3.5

In Theorem 3.4, the expressions of lower and upper bounds involve a common function

$$\psi(x)=2\cos\frac{x}{2}+\frac{1}{2}\tan\biggl( \frac{\pi}{4}+\frac{x}{4}\biggr), \quad x\in(0,\pi). $$

Differentiating $\psi(x)$ with respect to x gives

$$\begin{aligned} \begin{aligned} \psi^{\prime}(x) & =-\sin\frac{x}{2}+\frac{1}{8} \sec^{2}\biggl(\frac{\pi}{4}+\frac{x}{4}\biggr) \\ & =\frac{(1-2\sin\frac{x}{2})^{2}}{4(1-\sin\frac{x}{2})} \geq0. \end{aligned} \end{aligned}$$

This means that $\psi(x)$ is increasing on the interval $(0,\pi)$.

By the monotonicity of the function $\psi(x)$ we can easily deduce the following consequence of Theorem 3.4.

Corollary 3.6

• (i) In any triangle $ABC$, we have

  $$ \sum\frac{r_{a}}{a}>\frac{5}{2}. $$

  (23)

• (ii) In an acute triangle $ABC$, we have

  $$ \sum{\frac{r_{a}}{a}}< \frac{1+3\sqrt{2}}{2}. $$

  (24)

Proof

Note that the function

$$\psi(x)=2\cos\frac{x}{2}+\frac{1}{2}\tan\biggl( \frac{\pi}{4}+\frac{x}{4}\biggr) $$

is increasing on the interval $(0,\pi)$. Using Theorem 3.4 together with the facts that

$$0< \min\{A,B,C\}\leq\frac{\pi}{3}\quad \text{for any triangle } $$

and

$$\frac{\pi}{3}\leq\max\{A,B,C\}< \frac{\pi}{2}\quad \text{for an acute triangle}, $$

we obtain

$$\sum\frac{r_{a}}{a}>f(0)=\frac{5}{2} $$

and

$$\sum\frac{r_{a}}{a}< f\biggl(\frac{\pi}{2}\biggr)= \frac{1+3\sqrt{2}}{2}. $$

This proves the desired inequalities in Corollary 3.6. □

4 Conclusions

Let us now give a summary of the contents. First, we established sharp bounds for cyclic sums of the ratio of the exradii to the sides of a triangle, depending on the circumradius and inradius of the triangle, as follows:

$$\sqrt{\frac{25}{4}+ \biggl(\frac{5}{4}-\frac{r}{2R} \biggr) \frac{r}{R}}\leq \sum{\frac{r_{a}}{a}\leq}\sqrt{ \frac{13}{4}+ \biggl(1+\frac{3r^{2}}{R^{2}} \biggr)\frac{R}{r}} , $$

where the coefficients $\frac{25}{4}$, $\frac{5}{4}$, $\frac{13}{4}$, and 1 are the best possible in the strong sense.

Second, we presented alternative bounds for $\sum{\frac{r_{a}}{a}}$, in which the bounds are expressed by the trigonometric functions associated with the maximum and minimum angles of a triangle.

Finally, we deduced several consequences from the above-mentioned results.