Pedoe's inequality

Algebra ->  Algebra  -> Inequalities -> Pedoe's inequality      Log On

Ad: Algebra Solved!™: algebra software solves algebra homework problems with step-by-step help!
Ad: Algebrator™ solves your algebra problems and provides step-by-step explanations!

   

Pedoe's inequality

Jump to: navigation, search

In geometry, Pedoe's inequality, named after Daniel Pedoe, states that if a, b, and c are the lengths of the sides of a triangle with area ƒ, and A, B, and C are the lengths of the sides of a triangle with area F, then

A^2(b^2+c^2-a^2)+B^2(a^2+c^2-b^2)+C^2(a^2+b^2-c^2)\geq 16Ff,\,

with equality if and only if the two triangles are similar.

The expression on the left is not only symmetric under any of the six permutations of the set { (Aa), (Bb), (Cc) } of pairs, but also—perhaps not so obviously—remains the same if a is interchanged with A and b with B and c with C. In other words, it is a symmetric function of the pair of triangles.

Pedoe's inequality is a generalization of Weitzenböck's inequality and of the Hadwiger–Finsler inequality.

[ References

[ External links

Source: this wikipedia article, under CC-BY-SA.

Tutors Answer Your Questions about Inequalities (FREE)


Older solutions: 1..45, 46..90, 91..135, 136..180, 181..225, 226..270, 271..315, 316..360, 361..405, 406..450, 451..495, 496..540, 541..585, 586..630, 631..675, 676..720, 721..765, 766..810, 811..855, 856..900, 901..945, 946..990, 991..1035, 1036..1080, 1081..1125, 1126..1170, 1171..1215, 1216..1260, 1261..1305, 1306..1350, 1351..1395, 1396..1440, 1441..1485, 1486..1530, 1531..1575, 1576..1620, 1621..1665, 1666..1710, 1711..1755, 1756..1800, 1801..1845, 1846..1890, 1891..1935, 1936..1980, 1981..2025, 2026..2070, 2071..2115, 2116..2160, 2161..2205, 2206..2250, 2251..2295, 2296..2340, 2341..2385, 2386..2430, 2431..2475, 2476..2520, 2521..2565, 2566..2610, 2611..2655, 2656..2700, 2701..2745, 2746..2790, 2791..2835, 2836..2880, 2881..2925, 2926..2970, 2971..3015, 3016..3060, 3061..3105, 3106..3150, 3151..3195, 3196..3240, 3241..3285, 3286..3330