PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
Weizenbock's inequality (Theorem)

In a triangle with sides $a$ $b$ $c$ and with area $A$ the following inequality holds:

$$ a^2 + b^2 + c^2 \geq 4A \sqrt{3}$$ The proof goes like this: if $s=\frac{a+b+c}{2}$ is the semiperimeter of the triangle, then from Heron's formula we have: $$ A = \sqrt{s(s-a)(s-b)(s-c)} $$ But by squaring the latter and expanding the parentheses we obtain: $$ 16A^2 = 2(a^2 b^2 + a^2 c^2 + b^2 c^2) - (a^4 + b^4 + c^4) $$ Thus, we only have to prove that: $$ (a^2 + b^2 + c^2)^2 \geq 3[2(a^2 b^2 + a^2 c^2 + b^2 c^2) - (a^4 + b^4 + c^4)] $$ or equivalently: $$ 4(a^4 + b^4 + c^4) \geq 4(a^2 b^2 + a^2 c^2 + b^2 c^2)$$ which is trivially equivalent to: $$ (a^2 - b^2)^2 + (a^2 - c^2)^2 + (b^2 - c^2)^2 \geq 0$$ Equality is achieved if and only if $a=b=c$ (i.e. when the triangle is equilateral) .

See also the Hadwiger-Finsler inequality, from which this result follows as a corollary.




"Weizenbock's inequality" is owned by mathcam. [ full author list (2) | owner history (1) ]
(view preamble | get metadata)

View style:

See Also: Hadwiger-Finsler inequality

Log in to rate this entry.
(view current ratings)

Cross-references: Hadwiger-Finsler inequality, equilateral, equality, equivalent, Heron's formula, semiperimeter, proof, inequality, area, sides, triangle
There are 2 references to this entry.

This is version 6 of Weizenbock's inequality, born on 2002-12-26, modified 2007-06-24.
Object id is 3837, canonical name is WeizenbocksInequality.
Accessed 4669 times total.

Classification:
AMS MSC51F99 (Geometry :: Metric geometry :: Miscellaneous)

Pending Errata and Addenda
None.
[ View all 5 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)