What is the Triangle Inequality in an Acute Triangle?

[Bitter]

I am a beginner at trying to prove or disprove inequalities. In an attempt to improve on this skill I found some problems that I would like to work on. Now, I know many of you may be able to look at this and think of a solution, but please refrain from posting it, but some advice and methods would be helpful.

Prove that in any acute triangle ABC with sides a, b, and c, the following inequality is true. 27 \leq (a+b+c)^2 \left( \frac{1}{a^2 + b^2 - c^2}+\frac{1}{b^2 + c^2 - a^2}+\frac{1}{c^2 + a^2 - b^2} \right)

 

[StatusX]

Are you trying to say:

27 \leq (a+b+c)^2 \left( \frac{1}{a^2 + b^2 - c^2}+\frac{1}{b^2 + c^2 - a^2}+\frac{1}{c^2 + a^2 - b^2} \right)

what have you tried?

 

[Bitter]

Well, here is where I'm at. Well, I am fairly certain that this equation is true. If we exam the smallest acute triangle I can think of, an equilateral triangle whose sides are all one, then the solutions comes out to be exactly 27. So, that is where i am at right.

 

[StatusX]

And what makes you think the RHS will be smaller for acute triangles?

I don't immediately see a clever way to do this, so I would start by multiplying out by a common denominator so that you're comparing polynomials, and then simplifying as much as possible.

 

[mjsd]

mmm...problem like this is reminiscent of those you usuallly see in maths competitions or olympiad. It usually require some wit to do it elegantly. If you have absolutely no idea (like me currently ), you should start by thinking about all the properties of an acute triangle and see whether that gives you other contraints relations between a, b, c. Next think about why it may not work for a triangle that is NOT acute (i guess that means it has one angle bigger than 90)

next, look at the expression itself (change its form) ...and see if you can recognise it or part of it from somewhere.. if not, see if you can find another inequality which is easier to handle that is bigger than or equal 27 yet less than or equal to original expression.

remember there are basic things like a + b > c, a + c> b, b + c > a. etc.

 

[Werg22]

Using the cosine law, you can find an inequality for which an angle is acute. They talk about it here: http://mathworld.wolfram.com/AcuteTriangle.html"

 

[Curious3141]

This seems to be tantalisingly close to Ono's conjecture : http://mathworld.wolfram.com/OnoInequality.html, but I can't immediately make the connection. Will take another look when I have time.

EDIT : Maybe a little Heron's formula : http://mathworld.wolfram.com/HeronsFormula.html in there too. Looks really interesting, but I will need to take a look at it another time.

 

[mjsd]

given the similarity of the three terms in brackets, may be 27 really means 9+9+9, and proving that each term is 9 \leq may be sufficient... just a guess.
Certainly, acute angle means that Cos (any angle) is inside the open interval (0,1)

 

[Bitter]

Let a=b a=c

27<_(a + a + a)^2((1/a^2) + (1/a^2) + (1/a^2))
27<_(9a^2)(3/a^2)
27<_27

So that proves that an acute triangle that happens to be an equilateral triangle is true, that means I just have to show that the rest hold true.

 

[tehno]

Yet another trivial problem you couldn't tackle ,ha Bitter ?

 

[Bitter]

Yet another trivial problem you couldn't tackle ,ha Bitter ?

I'm not really sure what your problem is with me. I'm not even sure why you said yet again. The other problem I posted was not one I couldn't solve. I merely wanted to see other people's solutions to it. I just posted it in the wrong place and forgot about it. In fact, I'm fairly certain this is my first post about solving a problem in general math section.

So if you don't plan to give me advice that's fine, but if you feel the need to rub in the fact that you are better at math than I am, that's other thing.

 

[tehno]

I'm not really sure what your problem is with me. I'm not even sure why you said yet again. The other problem I posted was not one I couldn't solve. I merely wanted to see other people's solutions to it.

Really?I don't recall I've seen you ever posted your solution..But never mind that.It was another problem anyway.I got an impression your main problem isn't math or misplacing the posts,but lazyness.Again,that's just my opinion.This time you posted the problem to the right place and you will see me post the solution.But only this time.


S=\frac{1}{a^2+b^2-c^2}+\frac{1}{b^2+c^2-a^2}+\frac{1}{a^2+c^2-b^2}\geq \frac{27}{(a+b+c)^2}

(Firstly note the right side of ineq. is always positive-> left side must be always positive too.That is ensured ,becouse a^2+b^2-c^2&gt;0,b^2+c^2-a^2&gt;0,a^2+c^2-b^2&gt;0
is always true for acute triangles.Hence ,the restriction)

We have:

\frac{a^2}{a^2b^2+a^2c^2-a^4}+\frac{b^2}{a^2b^2+b^2c^2-b^4}+\frac{c^2}{a^2c^2+b^2c^2-c^4}=S \geq \frac{(a+b+c)^2}{2(a^2b^2+a^2c^2+b^2c^2)-(a^4+b^4+c^4)}=\frac{a+b+c}{(a+b-c)(a+c-b)(b+c-a)}

Now we are left to prove that for a,b,c>0 the following is true:

\frac{a+b+c}{(a+b-c)(a+c-b)(b+c-a)}\geq \frac{27}{(a+b+c)^2}


It's true becouse ,by Arithmetic-Geometric ineq,we have (a+b+c)^3\geq 27abc while abc\geq (a+b-c)(a+c-b)(b+c-a) is obvious.
QED

EDIT:I can't be better mathematician than you.That's becouse I'm not a mathematician (per education) at all.


Best regards

 

[Bitter]

Sigh, I thought I said not to post an answer, but to help me out. Oh well...