**1. Introduction**

In 1935, Erdös [1] proposed the following geometric inequality:

For any interior point *P* of the triangle *ABC*, let *R*1, *R*2, *R*3 be the distances from *P* to the vertices *A*, *B*, *C*, respectively, and let *r*1,*r*2,*r*3 be the distances from *P* to the sides *BC*, *CA*, *AB*, respectively. Then

$$
\sum R\_1 \ge 2 \sum r\_1. \tag{1}
$$

where ∑ denotes the cyclic sums (we shall use this symbol in the sequel). Equality in (1) holds if and only if the triangle *ABC* is equilateral and *P* is its center.

Two years later, Mordell and Barrow [2] first proved the inequality (1), and the latter actually obtained the following sharpness:

$$\sum \mathbb{R}\_1 \ge 2 \sum w\_{1\prime} \tag{2}$$

where *w*1, *w*2, *w*3 are the lengths of the bisectors of ∠*BPC*, ∠*CPA*, ∠*APB*, respectively.

The above two inequalities have long been famous results in the field of geometric inequalities. The former is called the Erdös–Mordell inequality, which has attracted the interest of many authors and motivated a large number of research papers (see [2–28] and the references cited therein).

In 1957, Ozeki [22] first obtained the following generalization of Barrow's inequality (2) for convex polygons: For any interior point *P* of the convex polygon *A*1*A*2 ··· *An*, it holds that

$$\sum\_{i=1}^{n} R\_i \ge \sec \frac{\pi}{n} \sum\_{i=1}^{n} w\_{i\prime} \tag{3}$$

where *Ri* = *PAi* and *wi* denote the lengths of the bisectors of <sup>∠</sup>*AiPAi*+<sup>1</sup>(*<sup>i</sup>* = 1, 2, ··· , *n* and *An*+<sup>1</sup> = *<sup>A</sup>*1).

Some other discussions about Barrow's inequality and (3) can be found in [4,14,19,21,23,27].

In 2012, when the author considered Oppenheim's inequality (see [24])

$$
\sum R\_2 R\_3 \ge 2 \sum (r\_3 + r\_1)(r\_1 + r\_2),
\tag{4}
$$

the following sharpened version of the Erdös–Mordell inequality was found:

$$R\_2 + R\_3 \ge 2r\_1 + \frac{(r\_2 + r\_3)^2}{R\_1},\tag{5}$$

with equality if and only if *ABC* is an isosceles right triangle and *P* is its circumcenter. Furthermore, by using inequalities (4), (5), and other results, the author obtained a series of refinements for the Erdös–Mordell inequality in [14,16].

In this paper, we shall give two new refinements of the Erdös–Mordell inequality and three new refinements of Barrow's inequality. In addition, we shall present several interesting related conjectures in the last section.

## **2. Refinements of the Erdös–Mordell Inequality**

In [11], the author proved the following refinement of the Erdös–Mordell inequality:

$$
\sum R\_1 \ge 2\sqrt{\sum h\_a r\_1} \ge 2\sum r\_1 \tag{6}
$$

where *ha*, *hb*, *hc* are the corresponding altitudes of the sides *BC*, *CA*, *AB* of the triangle *ABC*.

Here, we further give the following result:

**Theorem 1.** *For any interior point P of the triangle ABC, it holds that*

$$
\sum R\_1 \ge 2\sqrt{\sum h\_a w\_1} \ge 2\sqrt{\sum h\_a r\_1} \ge 2\sum r\_1. \tag{7}
$$

*Equalities in* (7) *all hold if and only if ABC is equilateral and P is its center.*

To prove Theorem 1, we first give several lemmas.

**Lemma 1.** *For any triangle ABC with sides a*, *b*, *c and real numbers x*, *y*, *z, it holds that*

$$\left(\left(\sum xa\right)^{2}\geq\left(2\sum b\mathfrak{c}-\sum a^{2}\right)\sum yz\_{\prime}\tag{8}$$

*with equality if and only if x* : *y* : *z* = (*b* + *c* − *a*) : (*c* + *a* − *b*) : (*a* + *b* − *c*)*.*

For any triangle *ABC* with sides *a*, *b*, *c*, we have √*b* + √*c* > √*b* + *c* > √*<sup>a</sup>*. Thus, √*<sup>a</sup>*, √*b*, √*c* can be viewed sides of a triangle, and we see that inequality (8) can be obtained by using the following weighted Oppenheim inequality (see [19], p. 681):

$$\left(\sum x a^2\right)^2 \ge 16S^2 \sum yz\tag{9}$$

(where *S* is the area of *ABC*) and the following equivalent form of the Heron formula:

$$16S^2 = 2\sum b^2c^2 - \sum a^4.\tag{10}$$

**Remark 1.** *In the sixth chapter of the monograph [17], the author proved that inequality* (8) *is equivalent with* (9) *and the Wolstenholme inequality* (52) *below.*

In the Appendix A of my monograph [17], Theorem A3 gives an equivalent theorem for the geometric transformations, which includes the following conclusion: An inequality involving any interior point *P* of the triangle *ABC*,

$$f(a, b, c, R\_1, R\_2, R\_3, r\_1, r\_2, r\_3) \ge 0,\tag{11}$$

is equivalent to

$$f\left(\frac{aR\_1}{2R}, \frac{bR\_2}{2R}, \frac{cR\_3}{2R}, r\_{1\prime}r\_{2\prime}r\_{3\prime}, \frac{r\_2r\_3}{R\_1}, \frac{r\_3r\_1}{R\_2}, \frac{r\_1r\_2}{R\_3}\right) \ge 0. \tag{12}$$

In fact, this conclusion can be extended to the following:

**Lemma 2.** *With above notations, the inequality*

$$f(a, b, c, R\_1, R\_2, R\_3, r\_1, r\_2, r\_3, w\_1, w\_2, w\_3) \ge 0 \tag{13}$$

*is equivalent to*

$$f\left(\frac{aR\_1}{2R}, \frac{bR\_2}{2R}, \frac{cR\_3}{2R}, r\_1, r\_2, r\_3, \frac{r\_2r\_3}{R\_1}, \frac{r\_3r\_1}{R\_2}, \frac{r\_1r\_2}{R\_3}\right)$$

$$\frac{2r\_2r\_3}{r\_2 + r\_3}\sin\frac{A}{2}, \frac{2r\_3r\_1}{r\_3 + r\_1}\sin\frac{B}{2}, \frac{2r\_1r\_2}{r\_1 + r\_2}\sin\frac{C}{2}\right) \ge 0. \tag{14}$$

**Proof.** Let *DEF* be the pedal triangle of *P* with respect to the triangle *ABC* (see Figure 1), and let *EF* = *ap*, *FD* = *bp*, *DE* = *cp*, then it is easy to ge<sup>t</sup>

$$a\_p = \frac{aR\_1}{2R},\ b\_p = \frac{bR\_2}{2R},\ c\_p = \frac{cR\_3}{2R}.\tag{15}$$

Let *h*1, *h*2, *h*3 be the distances from *P* to the side lines *EF*, *FD*, *DE*, respectively, we also easily obtain

$$h\_1 = \frac{r\_2 r\_3}{R\_1},\ h\_2 = \frac{r\_3 r\_1}{R\_2},\ h\_3 = \frac{r\_1 r\_2}{R\_3}.\tag{16}$$

In addition, by means of the known formula in the triangle *ABC*

$$w\_4 = \frac{2bc}{b+c} \cos \frac{A}{2} \tag{17}$$

(where *wa* is the bisector of ∠*BAC*) and the fact that ∠*EPF* = *π* − *A*, we ge<sup>t</sup>

$$w\_1' = \frac{2r\_2r\_3}{r\_2 + r\_3} \sin \frac{A}{2}'.\tag{18}$$

where *w*1 is the bisector of ∠*EPF*. Two similar relations hold for the bisectors *<sup>w</sup>*2, *w*3 of ∠*FPD*, ∠*DPE*, respectively.

If we apply inequality (13) to triangle *DEF* and point *P*, then

$$f(a\_{p\prime}b\_{p\prime}c\_{p\prime}r\_1, r\_2, r\_{3\prime}h\_1, h\_2, h\_{3\prime}w\_{1\prime}^{\prime}w\_{2\prime}^{\prime}, w\_3^{\prime}) \ge 0.$$

Substituting (15), (16), and (18) into this inequality, (14) follows immediately. Conversely, we can obtain (13) from (14) by using the method of proving Theorem A3 in Appendix A of the monograph [17]. Thus, inequality (13) is equivalent with (14). The proof of Lemma 2 is completed.

**Figure 1.** An inequality involving any point *P* inside triangle *ABC* is equivalent to the one involving the point *P* and its pedal triangle *DEF* with respect to *ABC*.

**Lemma 3.** *For any interior point P of the triangle ABC, it holds that*

$$r\_2 + r\_3 \le 2R\_1 \sin \frac{A}{2},\tag{19}$$

*with equality if and only if r*2 = *r*3*.*

> Inequality (19) is well-known and is easily proved (see [29], p. 111).

Next, we prove Theorem 1.

**Proof.** Since *w*1 ≥ *r*1 etc., the second inequality in (7) is evidently valid. In addition, the third inequality of (7) is easily obtained (see [11]).

We now prove the first inequality in (7), i.e.,

$$\left(\sum R\_1\right)^2 \ge 4\sum h\_a w\_1. \tag{20}$$

By the area formula *ha* = 2*S*/*a* and the identity

$$
\sum ar\_1 = 2S,
$$

we see that (20) is equivalent to

$$\left(\sum \mathcal{R}\_1\right)^2 \ge 4 \sum a r\_1 \sum \frac{w\_1}{a}.\tag{22}$$

According to Lemma 2 and the relations (15) and (16), we further know that inequality (22) is equivalent to

$$\left(\sum r\_1\right)^2 \ge 4\sum \frac{aR\_1}{2R} \cdot \frac{r\_2 r\_3}{R\_1} \sum \frac{2R}{aR\_1} \cdot \frac{2r\_2 r\_3}{r\_2 + r\_3} \sin\frac{A}{2},$$

i.e.,

$$\left(\sum r\_1\right)^2 \ge 8\sum ar\_2r\_3 \sum \frac{r\_2r\_3}{a(r\_2+r\_3)R\_1} \sin\frac{A}{2}.\tag{23}$$

But using *r*2*r*3 ≤ (*<sup>r</sup>*2 + *<sup>r</sup>*3)2/4, Lemma 3, and the known formula

$$
\sin\frac{A}{2} = \sqrt{\frac{(s-b)(s-c)}{bc}}\tag{24}
$$

(where *s* = (*a* + *b* + *c*)/2), we have

$$\begin{aligned} &\sum \frac{r\_2 r\_3}{a(r\_2 + r\_3)R\_1} \sin \frac{A}{2} \\ &\leq \frac{1}{4} \sum \frac{r\_2 + r\_3}{aR\_1} \sin \frac{A}{2} \\ &\leq \frac{1}{2} \sum \frac{1}{a} \sin^2 \frac{A}{2} \\ &= \frac{1}{2ab\kappa} \sum (s - b)(s - c). \end{aligned}$$

Thus, in order to prove inequality (23), we only need to prove that

$$\left(\sum r\_1\right)^2 \ge 4\sum \frac{r\_2r\_3}{bc} \sum (s-b)(s-c). \tag{25}$$

Putting *x* = *<sup>r</sup>*1/*<sup>a</sup>*, *y* = *<sup>r</sup>*2/*b*, *z* = *r*3/*c* in inequality (8) of Lemma 1 and noting the fact that

$$2\sum bc - \sum a^2 = 4\sum (s - b)(s - c),\tag{26}$$

we ge<sup>t</sup> inequality (25) immediately. Thus, inequality (20) is proved. It is easily known that the equality in (20) holds if and only if *ABC* is equilateral and *P* is its center. This completes the proof of Theorem 1.

Now we state and prove the second refinement of the Erdös–Mordell inequality.

**Theorem 2.** *For any interior point P of the triangle ABC, it holds that*

$$\sum R\_1 \ge \sqrt{\frac{1}{2}\sum a^2 + \sum R\_2 R\_3 + 2\sum r\_1^2}$$

$$\ge \sqrt{\frac{1}{2}\sum a^2 + \frac{3}{2}\sum (r\_2 + r\_3)^2} \ge 2\sum r\_1. \tag{27}$$

*The first equality in* (27) *holds if and only if P is the circumcenter of the triangle ABC. The second and third equalities in* (27) *hold if and only if the triangle ABC is equilateral and P is its center.*

**Proof.** In triangle *ABC*, we have the following known angle bisector formula:

$$w\_d = \frac{2}{b+c} \sqrt{s b c (s-a)}.\tag{28}$$

Noting that √*bc* ≤ (*b* + *c*)/2 and *s* = (*a* + *b* + *c*)/2, we have

$$w\_d \le \frac{1}{2} \sqrt{[(b+c)^2 - a^2]},\tag{29}$$

with equality if and only if *b* = *c*. Applying this inequality to *BPC*, we ge<sup>t</sup>

$$
\sqrt{(R\_2 + R\_3)^2 - a^2} \ge 2w\_1. \tag{30}
$$

Hence, we have

$$\sum (R\_2 + R\_3)^2 \ge \sum a^2 + 4\sum w\_{1\prime}^2 \tag{31}$$

that is,

$$
\sum R\_1^2 + \sum R\_2 R\_3 \ge \frac{1}{2} \sum a^2 + 2 \sum w\_1^2.
$$

Adding ∑ *R*2*R*3 to both sides of the above inequality and then squaring root, we obtain

$$
\sum R\_1 \ge \sqrt{\frac{1}{2}\sum a^2 + \sum R\_2 R\_3 + 2\sum w\_1^2}.\tag{32}
$$

Sine *w*1 ≥ *r*1 etc., the first inequality in (27) obviously holds. Note that the equality in (30) holds if and only if *R*2 = *R*3, thus the equality in (31) holds if and only if *R*1 = *R*2 = *R*3, which means that *P* is the circumcenter of the triangle *ABC*. Furthermore, we can conclude that the first equality in (27) holds if and only if *P* is the circumcenter of the triangle *ABC*.

Clearly, the second inequality in (27) is equivalent to

$$
\sum R\_2 R\_3 + 2\sum r\_1^2 \ge \frac{3}{2} \sum (r\_2 + r\_3)^2.
$$

Removing 2 ∑ *r*21 to the right and arranging gives the previous Oppenheim inequality (4), which has been proved by the author in different ways (see [12,14]).

For the third inequality in (27), by squaring both sides and arranging, we know that it is equivalent to

$$2\sum r\_1^2 + 10\sum r\_2 r\_3 \le \sum a^2,\tag{33}$$

which was first established by Chu in [30] and proved by the author in another way in [15]. In addition, we have known that both equalities in (4) and (33) hold if and only if *ABC* is equilateral and *P* is its center. This completes the proof of Theorem 2.

From Theorem 2, we have

**Corollary 1.** *For any interior point P of the triangle ABC, it holds that*

$$32\left(\sum R\_1\right)^2 - 3\sum (r\_2 + r\_3)^2 \ge \sum a^2. \tag{34}$$

Furthermore, we can easily obtain the following inequality:

**Corollary 2.** *For any interior point P of the triangle ABC, it holds that*

$$2\left(\sum R\_1\right)^2 - 2\left(\sum r\_1\right)^2 \ge \frac{1}{2}\sum a^2. \tag{35}$$

## **3. Refinements of Barrow's Inequality**

In [14], Theorem 4.3 gives the following refinement of the Erdös–Mordell inequality:

$$\sum R\_1 \ge \sqrt{\sum \left[ R\_1^2 + 2r\_1 R\_1 + (r\_2 + r\_3)^2 \right]} \ge 2 \sum r\_{1\prime} \tag{36}$$

which is actually equivalent to

$$
\sum R\_1 \ge \sqrt{\sum (R\_1 + r\_1)^2 + \left(\sum r\_1\right)^2} \ge 2\sum r\_1. \tag{37}
$$

Now, we point out that for Barrow's inequality (2), the following similar result holds:

**Theorem 3.** *For any interior point P of the triangle ABC, it holds that*

$$
\sum R\_1 \ge \sqrt{\sum (R\_1 + w\_1)^2 + \left(\sum w\_1\right)^2} \ge 2\sum w\_1. \tag{38}
$$

*Equalities in* (38) *hold if and only if ABC is equilateral and P is its center.*

Clearly, the first inequality in (38) is also equivalent to the following interesting form:

$$\left(\left(\sum R\_1\right)^2 - \left(\sum w\_1\right)^2\right)^2 \ge \sum (R\_1 + w\_1)^2. \tag{39}$$

To prove this inequality, we first prove a strengthening of the previous inequality (5), which is posed by the author in [12] as a conjecture.

**Lemma 4.** *For any interior point P of the triangle ABC, it holds that*

$$R\_2 + R\_3 \ge 2w\_1 + \frac{(w\_2 + w\_3)^2}{R\_1},\tag{40}$$

*with equality if and only if CA* = *AB and P is the circumcenter of the triangle ABC.*

**Proof.** We let ∠*BPC* = 2*δ*1, ∠*CPA* = 2*δ*2, ∠*APB* = 2*δ*3. By the previous formula (17), we know that inequality (40) is equivalent to

$$R\_2 + R\_3 \ge \frac{4R\_2 R\_3}{R\_2 + R\_3} \cos \delta\_1 + \frac{1}{R\_1} \left(\frac{2R\_3 R\_1}{R\_3 + R\_1} \cos \delta\_2 + \frac{2R\_1 R\_2}{R\_1 + R\_2} \cos \delta\_3\right)^2 \dots$$

Since *R*3 + *R*1 ≥ <sup>2</sup>√*<sup>R</sup>*3*R*1 and *R*1 + *R*2 ≥ <sup>2</sup>√*<sup>R</sup>*1*R*2, to prove the above inequality we only need to prove that

$$R\_2 + R\_3 \ge \frac{4R\_2 R\_3}{R\_2 + R\_3} \cos \delta\_1 + \left(\sqrt{R\_3} \cos \delta\_2 + \sqrt{R\_2} \cos \delta\_3\right)^2. \tag{41}$$

Letting √*<sup>R</sup>*2 = *y* and √*<sup>R</sup>*3 = *z*, (41) then becomes

$$\left(y^2 + z^2 \ge \frac{4y^2 z^2}{y^2 + z^2} \cos \delta\_1 + \left(z \cos \delta\_2 + y \cos \delta\_3\right)^2. \tag{42}$$

Note that *δ*1, *δ*2, *δ*3 can be viewed angles of a non-obtuse triangle. To prove inequality (42), we only need to prove that the following inequality holds for non-obtuse triangles *ABC* and real numbers *y*, *z*:

$$y^2 + z^2 \ge \frac{4y^2 z^2}{y^2 + z^2} \cos A + \left(z \cos B + y \cos C\right)^2,\tag{43}$$

that is,

> (*y*2 + *z*<sup>2</sup>)<sup>2</sup> − <sup>4</sup>*y*<sup>2</sup>*z*<sup>2</sup> cos *A* − (*y*2 + *z*<sup>2</sup>)(*z* cos *B* + *y* cos *C*)<sup>2</sup> ≥ 0. (44)

Multiplying both sides by 4(*abc*)<sup>2</sup> and using the law of cosines, we can transform the proof to the following weighted inequality:

$$\begin{aligned} &4(abc)^2(y^2+z^2)^2 - 8bc a^2 y^2 z^2 (b^2 + c^2 - a^2) \\ &- (y^2+z^2) \left[ zb(c^2+a^2-b^2) + yc(a^2+b^2-c^2) \right]^2 \ge 0. \end{aligned} \tag{45}$$

If we denote by *Q*0 the value of the left-hand side of (45), then it is easy to check the following identity:

$$\begin{aligned} Q\_0 &= (y^2 + z^2)(yc - zb)^2(c^2 + a^2 - b^2)(a^2 + b^2 - c^2) \\ &+ 2a^2(b^2 + c^2 - a^2)[(y^2c - z^2b)^2 + y^2z^2(b - c)^2], \end{aligned} \tag{46}$$

which shows that inequality *Q*0 ≥ 0 holds clearly. Moreover, from (46) we can obtain the following conclusions: (i) if *A* = *π*/2, then the equality in (43) holds if and only if *yc* = *zb*; (ii) if *A* < *π*/2, then the equality in (43) holds if and only if *y* = *z* and *b* = *c*. According to this conclusion, we can further determine the equality condition of (40), just as mentioned in Lemma 4. This completes the proof of Lemma 4.

**Remark 2.** *Adding R*1 *to both sides of* (40) *and noting that*

$$R\_1 + \frac{(w\_2 + w\_3)^2}{R\_1} \ge 2(w\_2 + w\_3)\_2$$

*we obtain Barrow's inequality* (2)*. Therefore, inequality* (43) *is actually stronger than Barrow's inequality* (2)*.*

We now prove Theorem 3.

**Proof.** As the proof of the first inequality (36) given in [14], we can easily prove the first inequality of (38) by using Lemma 4 (we omit the details here). By the power means inequality and Barrow's inequality (2), we have

$$\begin{aligned} \sum (R\_1 + w\_1)^2 &\geq \frac{1}{3} \left[ \sum (R\_1 + w\_1) \right]^2 = \frac{1}{3} \left( \sum R\_1 + \sum w\_1 \right)^2 \\ &\geq 3 \left( \sum w\_1 \right)^2. \end{aligned}$$

Hence, the second inequality of (38) follows immediately. Moreover, it is easily known that both equalities in (38) hold if and only if *ABC* is equilateral and *P* is its center. The proof of Theorem 3 is completed.

Next, we state and prove the second new refinement of Barrow's inequality (2).

**Theorem 4.** *For any interior point P of the triangle ABC, it holds that*

$$
\sum \mathcal{R}\_1 \ge \sum \sqrt{(\mathcal{R}\_2 + \mathcal{R}\_3)^2 - a^2} \ge 2 \sum w\_1. \tag{47}
$$

*The second equality in* (47) *holds if and only if P is the circumcenter of the triangle ABC.*

**Proof.** Firstly, we prove the first of (47):

$$
\sum R\_1 \ge \sum \sqrt{(R\_2 + R\_3)^2 - a^2}.\tag{48}
$$

According to Lemma 2, we only need to prove that

$$
\sum r\_1 \ge \sum \sqrt{(r\_2 + r\_3)^2 - a\_p^2}.\tag{49}
$$

Using the law of cosines in triangle *EPF* and the fact that ∠*EPF* = *π* − *A* (see Figure 1), we have

$$
\Delta a\_p^2 = r\_2^2 + r\_3^2 - 2r\_2r\_3 \cos \angle EPF = r\_2^2 + r\_3^2 + 2r\_2r\_3 \cos A\_A
$$

and then

$$(r\_2 + r\_3)^2 - a\_p^2 = 4r\_2 r\_3 \sin^2 \frac{A}{2}.\tag{50}$$

Thus, we see that inequality (49) is equivalent to

$$
\sum r\_1 \ge 2 \sum \sqrt{r\_2 r\_3} \sin \frac{A}{2}.\tag{51}
$$

But, for any real numbers *x*, *y*, *z* and *ABC*, we have the following Wolstenholme inequality (see [19]):

$$
\sum \mathbf{x}^2 \ge 2 \sum yz \cos A,\tag{52}
$$

with equality if and only if *x* : *y* : *z* = sin *A* : sin *B* : sin *C*. Putting *x* = √*<sup>r</sup>*1, *y* = √*<sup>r</sup>*2, *z* = √*<sup>r</sup>*3 in (52) and substituting *A* → (*π* − *A*)/2 etc., we ge<sup>t</sup> inequality (51) at once. Thus, inequality (48) is proved.

The second inequality in (47) follows immediately by adding the previous inequality (30) and its two analogues. Note that the equality in (30) holds if and only if *R*2 = *R*3. We conclude that the second equality in (47) holds if and only if *R*1 = *R*2 = *R*3, which means that the point *P* is the circumcenter of *ABC*. The proof of Theorem 4 is completed.

**Remark 3.** *The author knows that the triangle ABC need not be equilateral when the first equality in* (47) *holds but does not know what are the barycentric coordinates of P with respect to the triangle ABC.*

Now we give an application of Theorem 4. Squaring both sides of the first inequality of (47), we have

$$\begin{aligned} & \left(\sum R\_1\right)^2 \\ & \ge \sum \left[ \left(R\_2 + R\_3\right)^2 - a^2 \right] + 2\sum \sqrt{(R\_3 + R\_1)^2 - b^2} \cdot \sqrt{(R\_1 + R\_2)^2 - c^2} \end{aligned}$$

Then, applying inequality (30), we further ge<sup>t</sup>

$$\left(\sum \mathcal{R}\_1\right)^2 \ge \sum (\mathcal{R}\_2 + \mathcal{R}\_3)^2 - \sum a^2 + 8\sum w\_2 w\_3 \dots$$

Expanding gives the following:

**Corollary 3.** *For any interior point P of the triangle ABC, it holds that*

$$
\sum R\_1^2 + 8\sum w\_2 w\_3 \le \sum a^2. \tag{53}
$$

In fact, by using the previous inequality (30), we have the following extension:

$$\sum R\_1^2 + 8\sum w\_2 w\_3 \le \sum a^2 \le \sum (R\_2 + R\_3)^2 - 4\sum w\_{1\prime}^2 \tag{54}$$

which implies Barrow's inequality (2).

> Finally, we give the third new refinement of Barrow's inequality:

**Theorem 5.** *For any interior point P of the triangle ABC, it holds that*

$$
\sum R\_1 \ge \sqrt{\frac{1}{2}\sum a^2 + \sum R\_2 R\_3 + 2\sum w\_1^2} \ge 2\sum w\_1 \tag{55}
$$

*The first equality in* (55) *holds if and only if P is the circumcenter of ABC. The second equality in* (55) *holds if and only if ABC is equilateral and P is its center.*

**Proof.** In the proof of Theorem 2, we have proved the first inequality in (55). The second inequality in (55) is easily obtained as follows: By (53), we have

$$\begin{aligned} &\frac{1}{2}\sum a^2 + \sum R\_2 R\_3 + 2\sum w\_1^2 \\ &\geq \frac{1}{2}\sum R\_1^2 + 4\sum w\_2 w\_3 + \sum R\_2 R\_3 + 2\sum w\_1^2 \\ &= \frac{1}{2}\left(\sum R\_1\right)^2 + 2\left(\sum w\_1\right)^2 \\ &\geq \left(\sum w\_1\right)^2, \end{aligned}$$

where the last step used Barrow's inequality (2). It is not difficult to know the equality conditions of inequality chain (55). The proof of Theorem 5 is completed.

## **4. Some Open Problems**

In this section, we present some interesting conjectures as open problems. For the second inequality in (27), the author guesses that the following refinement is valid.

**Conjecture 1.** *For any interior point P of the triangle ABC, it holds that*

$$\begin{aligned} &\sqrt{\frac{1}{2}\sum a^2 + \sum R\_2 R\_3 + 2\sum r\_1^2} \ge \frac{1}{2}\sum \sqrt{a^2 + 4r\_1^2} \\ &\ge \sqrt{\frac{1}{2}\sum a^2 + \frac{3}{2}\sum (r\_2 + r\_3)^2}. \end{aligned} \tag{56}$$

A similar conjecture is as follows. **Conjecture 2.** *For any interior point P of the triangle ABC, it holds that*

$$\sqrt{\frac{1}{2}\sum a^2 + \sum R\_2 R\_3 + 2\sum w\_1^2} \ge \frac{1}{2}\sum \sqrt{a^2 + 4w\_1^2}$$

$$\ge \sqrt{\frac{1}{2}\sum a^2 + \frac{3}{2}\sum (w\_2 + w\_3)^2} \ge 2\sum w\_1. \tag{57}$$

**Remark 4.** *The last inequality of* (57) *is actually equivalent to*

$$2\sum w\_1^2 + 10\sum w\_2 w\_3 \le \sum a^2,\tag{58}$$

*which is Conjecture 2 posed by the author in [15].*

> Next, we give a reversed inequality similar to the previous inequality (34).

**Conjecture 3.** *For any interior point P of the triangle ABC, it holds that*

$$\left(\sum R\_1\right)^2 + 12\sum r\_2 r\_3 \le 2\sum a^2. \tag{59}$$

Considering generalizations of the first inequality of (47), the author presents the following conjecture:

**Conjecture 4.** *Let P be an interior point of a convex polygon A*1*A*2 ··· *An(n* > 3*) and PAi* = *Ri*(*i* = 1, 2, ··· , *<sup>n</sup>*)*, Rn*+<sup>1</sup> = *R*1*, AiAi*+<sup>1</sup> = *ai*(*<sup>i</sup>* = 1, 2, ··· , *n*, *and An*+<sup>1</sup> = *A*1*). Then*

$$2\cos\frac{\pi}{n}\sum\_{i=1}^{n}R\_i \ge \sum\_{i=1}^{n}\sqrt{(R\_i+R\_{i+1})^2-a\_i^2}.\tag{60}$$

**Remark 5.** *By the previous inequality,* (30) *we know that the above inequality is stronger than inequality* (3)*.*

We have the following refinement of the Erdös–Mordell inequality (see [10]):

$$
\sum R\_1 \ge \frac{1}{2} \sum \sqrt{a^2 + 4r\_1^2} \ge 2 \sum r\_1. \tag{61}
$$

in which the first inequality can easily be generalized to polygons by applying inequality (30) and *w*1 ≥ *r*1. The author believes that the second inequality can also be generalized to polygons as follows:

**Conjecture 5.** *Let P be an interior point of convex polygon A*1*A*2 ··· *An(n* > 3*), and let ri denote the distances from P to the side lines AiAi*+<sup>1</sup>(*<sup>i</sup>* = 1, 2, ··· , *n and An*+<sup>1</sup> = *A*1*). Then*

$$\sum\_{i=1}^{n} \sqrt{a\_i^2 + 4r\_i^2} \ge 2 \sec \frac{\pi}{n} \sum\_{i=1}^{n} r\_i. \tag{62}$$

Similarly, we put forward the following conjecture:

**Conjecture 6.** *Let P be an interior point of convex polygon A*1*A*2 ··· *An(n* > 3*), and let wi denote the angle bisectors of* ∠ *AiPAi*+<sup>1</sup>*(i* = 1, 2, ··· , *n and An*+<sup>1</sup> = *A*1*). Then*

$$\sum\_{i=1}^{n} \sqrt{a\_i^2 + 4w\_i^2} \ge 2 \sec \frac{\pi}{n} \sum\_{i=1}^{n} w\_i. \tag{63}$$

If the above inequality holds, then we can obtain the following refinement of inequality (3):

$$\sum\_{i=1}^{n} R\_i \ge \frac{1}{2} \sum\_{i=1}^{n} \sqrt{a\_i^2 + 4w\_i^2} \ge \sec \frac{\pi}{n} \sum\_{i=1}^{n} w\_{i\prime} \tag{64}$$

where *Ri* = *PAi*(*i* = 1, 2, ··· , *<sup>n</sup>*).

**Conflicts of Interest:** The author declares that he has no competing interest.
