On certain new refinements of Finsler-Hadwiger inequalities

Several refinements of the Finsler-Hadwiger inequality and its reverse in the triangle are discussed. A new one parameter family of Finsler-Hadwiger inequalities and their reverses are proved. This allows us to obtain new bounds for the sum of the squares of the side lengths of a triangle in terms of other elements in the triangle. Finally, these new bounds are compared to known ones.


Introduction
In a triangle ABC the angle measures are referred to as A, B and C and the lengths of the sides BC, CA and AB are denoted by a, b and c, respectively. As is customary, the circumradius, the inradius, the semiperimeter and the area of the triangle are denoted by R, r, s and F, respectively. The deviation of the triangle from being equilateral is measured by the quantity Q = (ab)  + (bc)  + (ca)  .
With the above notation, the celebrated Weitzenböck inequality [] states that This inequality was published in , but the authors in [] traced it back to  where it was proposed as Problem  in the Romanian magazine Gazeta Matematică (III(), p.) by Ionescu. So they proposed to call it the 'Ionescu-Weitzenböck inequality' . At least five distinct proofs of (.) could be found in [] and [].
The Ionescu-Weitzenbök inequality was later refined by Finsler and Hadwiger (see [, ]), to give birth to the Hadwiger-Finsler inequality, and its reverse, with equality in each of these inequalities occurring if and only if the triangle is equilateral.
In [], pp.-,  proofs of (.) and several proofs of (.) are presented. In [] we find the following equivalent form of (.): and another chain of refinements of (.), namely in any triangle ABC, then λ ≥  and μ ≤ . However, it is proved in [, ] that the least λ for which the upper inequality holds in any non-obtuse triangle is ( - Surprisingly, it was noted in [] that the Ionescu-Weitzenböck inequality (.) is equivalent to Finsler-Hadwiger inequality (.) by showing that the second follows from the first by applying the first to another triangle.

Results and discussion
In this paper we consider refinements of (.) and (.) in the following form: where ψand ψ + are functions defined on [, ], such that ψ -() = ψ + () =  and ψ + (t) <  < ψ -(t) for  ≤ t < . Recall that by Euler's inequality we have r ≤ R with equality if and only if ABC is equilateral. We seek non-trivial ψand ψ + but as beautiful and simple as possible, clearly this requirement is not too mathematical, but I think no one would recall an ugly complicated inequality even if it is very sharp. I will let the reader be the judge on this statement. In [] the authors show that one can take This lower bound was later improved in [] where the authors proved using the Garfunkel-Bankoff inequality [, ] that one can take ψ -= ψ - where which is stronger than ψ - and more beautiful! In fact, we will see that this strengthened inequality is equivalent to Kooi But what about the upper bound ψ + ? To the best of the knowledge of the author, it seems that no refinement better than the constant ψ +  ≡  is known or has been published. In this note we will prove that ψ + = ψ +  with ψ +  (t) = √ t is a refinement of the reverse Finsler-Hadwiger inequality, and we will also provide an alternative proof (different from the one given in []) of the lower bound with ψ - . Therefore, our first result concerning the refinement of Finsler-Hadwiger inequality and its reverse (Theorem .) will be the following: Further, in Theorem ., the next alternative 'reverse Finsler-Hadwiger inequality' is proposed, These two reverses are then compared and it is proved in Corollary . that we have the following chain of inequalities: In the final step of this investigation we consider a one parameter family of inequalities, namely and we prove in Corollary . that it holds for λ ≥ , its reverse holds for λ ≤ -+ √   and that the constants  and -+ √   are the best possible.

Theorems and proofs
The main tool in our proofs is the fundamental inequality in the triangle. This inequality has a long history, the reader may consult [] or [], Chapter , for more information.

Moreover, the upper equality holds in (.) if and only if the triangle is isosceles and the radian measure of its apex is larger or equal to π/. Similarly, the lower equality holds in (.) if and only if the triangle is isosceles and the radian measure of its apex is smaller or equal to π/.
We will use also several algebraic inequalities that are gathered in the next two lemmas.
Lemma . The following inequalities hold.

Moreover, equality holds in any of the above inequalities if and only if t ∈ {, }.
Proof (i) Let then it is readily seen that and (.) follows.
To prove (ii) we note that, after expanding the square, the proposed inequality is equiv- Finally This concludes the proof of (.).
(iii) According to (ii) we only have to prove that Again, expanding the square we see that the proposed inequality is equivalent to But and (.) follows.

Moreover, equality holds in any of the above inequalities if and only if the triangle is equilateral.
Proof The well-known Euler inequality states that r ≤ R (with equality if and only if the triangle is equilateral) so we may apply (.) from Lemma . with t = r/R and then multiply both sides of the resulting inequality by R  to obtain Combining this with Theorem . we get Similarly, applying (.) from Lemma . with t = r/R, multiplying both sides of the resulting inequality by R  , and finally making use of Theorem . we obtain which is equivalent to (.). Doing the same manipulation with (.) we get Now we are ready to give an alternative proof of the refinement of Finsler-Hadwiger inequality given in [] and to present our refinement of its reverse, as announced in the Introduction.

Moreover, equality holds in any of the above inequalities if and only if the triangle is equilateral.
Proof Using Heron's formula and the facts that F = rs and abc = RF we obtain Moreover, because s  = a  + b  + c  + (ab + bc + ca) we also conclude that It follows that In the next result we provide an alternative 'reverse Finsler-Hadwiger inequality' .

Theorem . Let ABC be a triangle, and let the lengths of sides opposite to angles A, B and C be denoted by a, b and c, respectively. If F represents the area of ABC, and if Q = (ab)  + (bc)  + (ca)  then the following inequality holds:
with equality if and only if the triangle is equilateral.
Proof Indeed, this follows from where we used (.) from Proposition . and (.).
In fact Theorems . and . yield two different upper bounds for the sum of squares of the side lengths of a triangle in terms of its area, and they are both candidates to be called the 'reverse Finsler-Hadwiger inequality' . A legitimate question is the following: Are these two bounds comparable? Some numerical experimentation shows that the upper bound given in Theorem . is better than the corresponding upper bound given in Theorem .. This suggests that the inequality is valid in any triangle. Rearranging this inequality we see that it is equivalent to Indeed, this inequality holds clearly for μ ≥  because we have s  + R r ≥ R + r, and it does hold for μ =  according to Proposition .. Testing it with a triangle ABC having side lengths a = , b = c = t with t > / but near / shows that a necessary condition for such an inequality to hold is . This observation is confirmed in the next theorem.
Theorem . Let ABC be a triangle, and let r, R and s represent the inradius, the circumradius and the semiperimeter of ABC, respectively. Then the following inequality holds:

 , with equality if and only if the triangle is equilateral.
Proof The previous discussion shows that it is enough to prove the inequality for μ = λ.
Note that the proposed inequality is equivalent to the fact that s is larger than the positive root of a second degree polynomial, that is, and according to Theorem ., for a given r and R, the smallest possible value of s is attained when ABC is isosceles. Therefore, it is enough to prove the proposed inequality for isosceles triangles.
Now, consider an isosceles triangle ABC. Since the desired inequality is homogeneous we may suppose that the side lengths are a =  and b = c = /(x) with  < x < . In this case we have Let f (x) be defined for x ∈ (, ) by That is, We can arrange this as follows: Noting that P( √ ) = P( √ ) = P ( √ ) =  we conclude that P factors as follows: Or which is clearly positive for x ∈ (, ) and vanishes only if x = /. On the other hand and consequently which is also positive for x ∈ (, ) and vanishes only if x = /. Thus f (x) ≥  for x ∈ (, ) with equality if and only if x = /. The theorem is proved.
Taking μ = / we obtain the next corollary.
Corollary . Let ABC be a triangle, and let the lengths of sides opposite to angles A, B and C be denoted by a, b and c respectively. If r, R and F represent the inradius, the circumradius and the area of ABC, and if Q = (ab)  +(bc)  +(ca)  then the following inequality holds: with equality if and only if the triangle is equilateral. Consequently In fact Theorem . allows us to give the following 'parametric Finsler-Hadwiger inequality' .
Corollary . Let a, b, c, R, r and F be the side lengths of a triangle ABC, its circumradius, inradius and its area, respectively, and let Q = (ab)  + (bc)  + (ca)  . The following inequality: holds for λ ≥ , and its reverse holds for λ ≤ - So, according to Theorem . and Corollary ., the proposed inequality (.) does hold for λ ≥ . Now, using (.) and the fact that s  = (a  + b  + c  ) -Q we see that Theorem . can be rephrased as follows: F (μ)  + R r -r R + ( -μ)Q ≤ ( -μ) a  + b  + c  for μ ≥  - √ . Now if we suppose that μ ∈ [ - √ , /) we conclude that Setting λ =  μ- we get F (λ)  + R r + λ r R + ( + λ)Q ≤ a  + b  + c  for λ ∈ (-∞, -  √ - ], and the corollary is proved. Remark . This inequality is the best of its kind in the sense that if λ ∈ (- √ +  , ) then there are triangles ABC that satisfy (.) and others that violate it. Indeed, testing (.) with an isosceles triangle with side lengths a = , b = c = t ≥ / for large t shows that the condition λ ≥  is necessary for its validity. Testing its reverse for t near / (but larger than /) shows that the condition λ ≤ - √ +  is necessary for the validity of the reverse.

Remark .
we have two different lower bounds for a  + b  + c  given by Theorem . and Corollary ., respectively. Testing the difference with our famous isosceles triangle with side lengths a = , b = c = t ≥ / shows that these two lower bounds are not comparable.

Conclusion
In this work, we considered the problem of refining the Finsler-Hadwiger inequality and its reverse in the triangle. Several refinements are proposed and compared, and an optimal parametric refinement of this inequality and its reverse is proved.