Abstract
In this paper, we present two sharpened versions of the Erdös-Mordell inequality and extend them to the cases with one parameter. As applications of our results, the Walker inequality and a new inequality in non-obtuse triangles are obtained. We also propose three interesting conjectures as open problems.
Similar content being viewed by others
1 Introduction
Throughout this paper, let \(ABC\) be a triangle and P be its interior point. Denote the distances from P to the vertices A, B, C by \(R_{1}\), \(R_{2}\), \(R_{3}\), and the distances from P to the sides BC, CA, AB by \(r_{1}\), \(r_{2}\), \(r_{3}\), respectively. The famous Erdös-Mordell inequality [1], p.313 states that
with equality holding if and only if the triangle \(ABC\) is equilateral and P is its center.
Many authors have given proofs for this inequality by using different tools; see, for example, [2–7]. On the other hand, this inequality has been extended in various directions, we refer the reader to [1, 8–11]. Some other related results can be found in several papers; see [12–20] and references therein.
In [21], to prove Oppenheim’s inequality [12] (see also [22], inequality 12.22),
the author presented the following new inequality as a lemma:
with equality holding if and only if \(CA=AB\) and P is the circumcenter of triangle \(ABC\).
It is clear that \(R_{1}+\frac{(r_{2}+r_{3})^{2}}{R_{1}}\ge2(r_{2}+r_{3})\) follows from the arithmetic-geometric mean inequality, thus inequality (1.3) implies the Erdös-Mordell inequality (1.1).
Motivated by inequality (1.3), we shall establish in this paper two sharpened versions of the Erdös-Mordell inequality. We shall also extend them to the cases with one parameter.
2 Two results
We state the first main result in the following.
Theorem 1
Let P be an interior point of the triangle \(ABC\) (P may lie on the boundary except the vertices of \(ABC\)), then
with equality holding if and only if \(\triangle ABC\) is equilateral and P is its center or \(\triangle ABC\) is a right isosceles triangle and P is its circumcenter.
The Erdös-Mordell inequality (1.1) can easily be obtained from (2.1) and the above-mentioned inequality \(R_{1}+\frac{(r_{2}+r_{3})^{2}}{R_{1}}\ge2(r_{2}+r_{3})\). Therefore, although the value of the left hand of (2.1) is not always greater than or equal to \(2(r_{1}+r_{2}+r_{3})\), inequality (2.1) can still be regarded as a sharpened version of the Erdös-Mordell inequality.
The proof of Theorem 1 needs the following well-known lemma, which will be used in other results of this note.
Lemma 1
Let a, b, c be the sides BC, CA, AB of the triangle \(ABC\), respectively, then for any interior point P
Each equality in (2.2) holds if and only if P lies on the line AO, BO, CO, respectively, where O is the circumcenter of the triangle \(ABC\).
We now prove Theorem 1.
Proof
By Lemma 1, to prove inequality (2.1), we only need to prove that
which is equivalent to
Expanding and arranging gives the following inequality (required for the proof):
which is obviously true and inequality (2.1) is proved.
We now consider the equality condition of (2.1). If P lies inside \(\triangle ABC\), then we have strict inequalities \(r_{1}>0\), \(r_{2}>0\), and \(r_{3}>0\). Thus, the equality in (2.5) holds only when \(a=b=c\). Furthermore, by Lemma 1 we conclude that the equality in (2.1) holds if and only if \(\triangle ABC\) is equilateral and P is its center. If P lies on the boundary (except the vertices) of \(\triangle ABC\), then one of \(r_{1}\), \(r_{2}\), \(r_{3}\) is equal to zero. Thus, we deduce that \(\triangle ABC\) must be isosceles when the equality in (2.5) holds. By Lemma 1 we further deduce that the equality in (2.1) holds if and only if \(\triangle ABC\) is a right isosceles triangle and P is its circumcenter. Combining the arguments of the above two cases, we obtain the equality condition of (2.1) as stated in Theorem 1. This completes the proof of Theorem 1. □
As an interesting application of Theorem 1, we shall next derive an important inequality for non-obtuse triangles, i.e., the Walker inequality. As usually, we shall denote by A, B, C the angles of \(\triangle ABC\) and denote by s, R, r the semi-perimeter, the circumradius, and the inradius of triangle \(ABC\), respectively. Suppose that \(\triangle ABC\) is non-obtuse and P is its circumcenter, then we have \(R_{1}=R_{2}=R_{3}=R\), \(r_{1}=R\cos A\), \(r_{2}=R\cos B\), \(r_{3}=R\cos C\), and it follows from (2.1) that
i.e.,
Using the following known identities (see [1], pp.55-56):
we further obtain the following Walker inequality (cf. [1], pp.247-250).
Corollary 1
If \(ABC\) is a non-obtuse triangle, then
Equality holds iff \(\triangle ABC\) is equilateral or right isosceles.
Next, we give a result similar to Theorem 1.
Theorem 2
Let P be an interior point of the triangle \(ABC\) (P may lie on the boundary except the vertices of \(ABC\)), then
with equality holding if and only if \(\triangle ABC\) is equilateral and P is its center or \(\triangle ABC\) is a right isosceles triangle and P is its circumcenter.
Evidently, inequality (2.10) can be regarded as an extension of the Erdös-Mordell inequality. One the other hand, it is also a sharpened version of the Erdös-Mordell inequality. Since we have, by the arithmetic-geometric mean inequality,
or
By this and its two analogs, we immediately obtain the Erdös-Mordell inequality (1.1) from (2.10).
We now prove Theorem 2.
Proof
By Lemma 1, to prove inequality (2.10) we need only to prove that
or
which is equivalent to
This can be simplified as
which is clearly true. Therefore, inequalities (2.11) and (2.10) are proved.
Using similar arguments in the proof of Theorem 1, we easily deduce that the equality in (2.10) holds only when the following two cases occur: the \(\triangle ABC\) is equilateral and P is its center or \(\triangle ABC\) is a right isosceles triangle and P is its circumcenter. This completes the proof of Theorem 2. □
In Theorem 2, if we let \(\triangle ABC\) be a non-obtuse triangle and let P be its circumcenter, then we can obtain the following trigonometric inequality:
From (2.14), it is not difficult to obtain the following inequality (we omit the details).
Corollary 2
If \(ABC\) is a non-obtuse triangle, then
Equality holds iff \(\triangle ABC\) is equilateral or right isosceles.
Remark 1
Inequality (2.15) is incomparable with Walker’s inequality (2.9).
3 Generalizations of Theorem 1 and Theorem 2
In this section, we present generalizations of Theorem 1 and Theorem 2.
Theorem 3
Let P be an interior point of the triangle \(ABC\) (P may lie on the boundary except the vertices of \(ABC\)) and let \(k\ge0\) be a real number, then
If \(k=0\), the equality in (3.1) holds if and only if \(\triangle ABC\) is equilateral and P is its center or \(\triangle ABC\) is a right isosceles triangle and P is its circumcenter. If \(k>0\), the equality in (3.1) holds if and only if \(\triangle ABC\) is equilateral and P is its center.
When \(k=0\), then the above theorem reduces to Theorem 1. In order to prove this theorem, we first give the following lemma.
Lemma 2
In any triangle \(ABC\), we let
Then
where \(i=1, 2, 3, 4, 5, 6\). All the equalities in (3.2) hold if and only if the triangle \(ABC\) is equilateral.
Proof
\(Q_{1}\) can be rewritten as
so that \(Q_{1}\ge0\).
It is easy to check that
where
Let \(\frac{1}{2}(b+c-a)=x\), \(\frac{1}{2}(c+a-b)=y\), and \(\frac{1}{2} (a+b-c)=z\), then \(x>0\), \(y>0\), \(z>0\), and
Also it is easy to obtain
Note that \(X_{1}\) is a quadratic function of \(x^{2}\) with the following discriminant:
and \(7y^{4}-6y^{2}z^{2}+7z^{4}>0\). Thus, \(X_{1}\ge0\) holds true and then \(Q_{2}\ge 0\) follows from (3.4).
Using the substitution (3.5), we obtain the following equality:
which can be rewritten as follows:
where
Since \(10y^{3}+10z^{3}-4yz^{2}-4y^{2}z>0\) and it is easy to obtain the quadratic discriminant \(F_{2}\) of \(X_{2}\):
Thus we have \(X_{2}\ge0\) and then inequality \(Q_{3}\ge0\) follows from (3.6).
Inequality \(Q_{4}\ge0\) can easily be proved. Indeed, \(Q_{4}\) can be viewed a quadratic function of a with positive quadratic coefficient and positive constant term, and its discriminant is given by \(F_{3}=-8bc(b+c)^{2}(b-c)^{2}\). Hence, we have \(Q_{4}\ge0\).
We now prove inequality \(Q_{5}\ge0\). It is easy to check the following identity:
where
Under the substitution (3.5), \(X_{3}\) can be written as
Thus, inequality \(X_{3}>0\) holds strictly and \(Q_{5}\ge0\) follows from (3.7).
Finally, we prove \(Q_{6}\ge0\). Using the substitution (3.5), we obtain
Through analysis, we find the equality
where
Thus, we have inequality \(Q_{6}\ge0\).
Form the above proofs of \(Q_{i}\ge0\), we easily conclude that the equalities in \(Q_{i}\ge0\) (\(i=1, 2, \ldots, 6\)) are all valid if and only if \(a=b=c\), i.e., \(\triangle ABC\) is equilateral. This completes the proof of Lemma 2. □
In the following, we shall prove Theorem 3. For brevity, we shall, respectively, denote cyclic sums and products over triples \((a, b, c)\), \((r_{1}, r_{2}, r_{3})\), and \((x, y, z)\) by ∑ and ∏.
Proof
According to Lemma 1, for proving inequality (3.1) it suffices to prove that
If we set \(r_{1}=x\), \(r_{2}=y\), \(r_{3}=z\), then inequality (3.10) becomes
where \(x\ge0\), \(y\ge0\), \(z\ge0\), and at most one of x, y, z is equal to zero.
Putting
then we see that inequality (3.11) is equivalent to
With the help of the famous mathematical software Maple (we used Maple 15), we can obtain the following identity:
where
Clearly, inequalities \(e_{1}\ge0\), \(e_{2}\ge0\), \(e_{3}\ge0\), \(e_{10}\ge0\), and \(e_{11}\ge0\) hold for any triangle \(ABC\) and non-negative real numbers x, y, z. Also, by Lemma 2, we have \(e_{4}\ge 0\), \(e_{5}\ge0\), \(e_{6}\ge0\), \(e_{7}\ge0\), \(e_{8}\ge0\), and \(e_{9}\ge0\). Thus, from identity (3.13) we see that \(E_{0}\ge0\) holds for \(x\ge0\), \(y\ge0\), \(z\ge0\), and \(k\ge0\). Therefore, inequalities (3.12), (3.10), and (3.1) are proved.
When \(k=0\), inequality (3.1) becomes (2.1) and we have obtained the equality conditions (as stated in Theorem 1). When \(k>0\), by Lemma 1 and identity (3.13) we conclude that the equality (3.1) holds if and only if P is the circumcenter of \(ABC\) and the equalities in \(e_{i}\ge0\) (\(i=1, 2, \ldots, 11\)) are all valid. Note that at most one of x, y, z is equal to zero. Thus, the equalities of \(e_{2}\ge0\), \(e_{3}\ge0\), \(e_{4}\ge0\), \(e_{5}\ge0\), \(e_{7}\ge0\), and \(e_{8}\ge0\) occur only when \(a=b=c\). We further deduce that the equality in (3.1) holds if and only if \(\triangle ABC\) is equilateral and P is its center. This completes the proof of Theorem 3. □
We now state and prove the following generalization of Theorem 2.
Theorem 4
Let P be an interior point of the triangle \(ABC\) (P may lie on the boundary except the vertices of \(ABC\)) and let \(k\ge1\) be a real number, then
If \(k=1\), the equality in (3.14) holds if and only if \(\triangle ABC\) is equilateral and P is its center or \(\triangle ABC\) is a right isosceles triangle and P is its circumcenter. If \(k>1\), the equality in (3.14) holds if and only if \(\triangle ABC\) is equilateral and P is its center.
Proof
We still denote cyclic sums and products by ∑ and ∏, respectively. If we let \(k=1+t\), then \(t\ge0\) by the assumption \(k\ge1\). According to Lemma 1, for proving inequality (3.14) we have only to prove that
Let \(r_{1}=x\), \(r_{2}=y\), and \(r_{3}=z\), then the above inequality becomes
or
where \(x\ge0\), \(y\ge0\), \(z\ge0\), \(t\ge0\), and at most one of x, y, z is equal to zero.
We set
then (3.16) is equivalent to
With the help of the Maple software, we easily obtain the following identity:
where
It is clear that inequalities \(m_{1}\ge0\), \(m_{2}\ge0\), \(m_{5}\ge0\), and \(m_{6}\ge 0\) hold for any triangle \(ABC\) and non-negative real numbers x, y, z. In addition, by the following identity:
one sees that \(m_{3}\ge0\). Also, by the identity
we have \(m_{4}\ge0\). Therefore, inequality \(M_{0}\ge0\) follows from (3.18) and then inequalities (3.15) and (3.14) are proved.
When \(k=1\), inequality (3.14) reduces to (2.10) and we have pointed out the equality conditions in Theorem 2. When \(k>1\), we have \(t>0\) from the assumption. In this case, by Lemma 1 and (3.18) we conclude that the equality in (3.14) holds if and only if P is the circumcenter of \(ABC\) and the equalities in \(m_{i}\ge0 \) (\(i=1,2, \ldots, 6\)) are all valid. Note that at most one of x, y, z is equal to zero. We further deduce that the equality in (3.14) holds if and only if \(\triangle ABC\) is equilateral and P is its center. The proof of Theorem 4 is completed. □
4 Open problems
The author of this paper has found some sharpened versions of the Erdös-Mordell inequality, which have not been proved at present but have been checked by computer. We introduce here three of them as open problems.
A sharpened version of the Erdös-Mordell inequality similar to the inequalities of Theorem 1 and Theorem 2 is as follows.
Conjecture 1
For any interior point P of \(\triangle ABC\), we have
The two conjectured inequalities below are obvious sharpened versions of the Erdös-Mordell inequality.
Conjecture 2
For any interior point P of \(\triangle ABC\), we have
where \(m_{a}\), \(m_{b}\), \(m_{c}\) are the corresponding medians of triangle \(ABC\) and \(w_{a}\), \(w_{b}\), \(w_{c}\) the bisectors.
Since we have inequality \(m_{a}\ge w_{a}\) etc., thus (4.2) is stronger than the Erdös-Mordell inequality.
Conjecture 3
For any interior point P of \(\triangle ABC\), we have
where \(w_{a}\), \(w_{b}\), \(w_{c}\) are the corresponding bisectors of triangle \(ABC\) and \(h_{a}\), \(h_{b}\), \(h_{c}\) the altitudes.
From the fact that \(w_{a}\ge h_{a}\) etc., we can see that (4.3) is stronger than the Erdös-Mordell inequality.
References
Mitrinović, DS, Pečarić, JE, Volenec, V: Recent Advances in Geometric Inequalities. Kluwer Academic, Dordrecht (1989)
Mordell, LJ, Barrow, DF: Solution of problem 3740. Am. Math. Mon. 44, 252-254 (1937)
Avez, A: A short proof of a theorem of Erdös and Mordell. Am. Math. Mon. 100, 60-62 (1993)
Lee, H: Another proof of the Erdös-Mordell theorem. Forum Geom. 1, 7-8 (2001)
Alsina, C, Nelsen, RB: A visual proof of the Erdös-Mordell inequality. Forum Geom. 7, 99-102 (2007)
Liu, J: A new proof of the Erdös-Mordell inequality. Int. Electron. J. Geom. 4(2), 114-119 (2011)
Sakurai, A: Vector analysis proof of Erdös’ inequality for triangles. Am. Math. Mon. 8, 682-684 (2012)
Ozeki, N: On Paul Erdös-Mordell inequality for the triangle. J. Coll. Arts Sci., Chiba Univ. A. 2, 247-250 (1957)
Dergiades, N: Signed distances and the Erdös-Mordell inequality. Forum Geom. 4, 67-68 (2004)
Si, L, He, BW, Leng, GS: Erdös-Mordell inequality on a sphere in \(R^{3}\). J. Shanghai Univ. Nat. Sci. 10, 56-58 (2004)
Gueron, S, Shafrir, I: A weighted Erdös-Mordell inequality for polygons. Am. Math. Mon. 112, 257-263 (2005)
Oppenheim, A: The Erdös-Mordell inequality and other inequalities for a triangle. Am. Math. Mon. 68, 226-230 (1961)
Mitrinović, DS, Pečarić, JE: On the Erdös Mordell’s inequality for a polygon. J. Coll. Arts Sci., Chiba Univ. A. B-19, 3-6 (1986)
Satnoianu, RA: Erdös-Mordell type inequality in a triangle. Am. Math. Mon. 110, 727-729 (2003)
Abi-Khuzam, FF: A trigonometric inequality and its geometric applications. Math. Inequal. Appl. 3, 437-442 (2003)
Janous, W: Further inequalities of Erdös-Mordell type. Forum Geom. 4, 203-206 (2004)
Wu, SH, Debnath, L: Generalization of the Wolstenholme cyclic inequality and its application. Comput. Math. Appl. 53(1), 104-114 (2007)
Pambuccian, V: The Erdös-Mordell inequality is equivalent to non-positive curvature. J. Geom. 88, 134-139 (2008)
Bombardelli, M, Wu, SH: Reverse inequalities of Erdös-Mordell type. Math. Inequal. Appl. 12(2), 403-411 (2009)
Malešević, B, Petrović, M, Popkonstantinović, B: On the extension of the Erdös-Mordell type inequalities. Math. Inequal. Appl. 17, 269-281 (2014)
Liu, J: On a geometric inequality of Oppenheim. J. Sci. Arts 18(1), 5-12 (2012)
Bottema, O, Djordjević, RZ, Janić, RR, Mitrinović, DS, Vasić, PM: Geometric Inequalities. Wolters-Noordhoff, Groningen (1969)
Acknowledgements
The author would like to thank the referees and the editors for carefully reading the manuscript and making several useful suggestions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declares that he has no competing interests.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Liu, J. Sharpened versions of the Erdös-Mordell inequality. J Inequal Appl 2015, 206 (2015). https://doi.org/10.1186/s13660-015-0716-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-015-0716-2