Pedoe's inequality

In geometry, Pedoe's inequality (also Neuberg-Pedoe inequality), named after Daniel Pedoe (1910-1998) and Joseph Jean Baptiste Neuberg (1840-1926), 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

${\displaystyle 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 with pairs of corresponding sides (A, a), (B, b), and (C, c).

The expression on the left is not only symmetric under any of the six permutations of the set { (A, a), (B, b), (C, c) } 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, which is the case in which one of the triangles is equilateral.

Pedoe discovered the inequality in 1941 and published it subsequentially in several articles. Later he learned, that the inequality was already known to Neuberg in the 19th century, who however did not prove that the equality implies the similarity of the two triangles.

See also

• List of triangle inequalities

References

• Daniel Pedoe: An Inequality Connecting Any Two Triangles. The Mathematical Gazette, Vol. 25, No. 267 (Dec., 1941), pp. 310-311 (JSTOR)
• Daniel Pedoe: A Two-Triangle Inequality. The American Mathematical Monthly, volume 70, number 9, page 1012, November, 1963.
• Daniel Pedoe: An Inequality for Two Triangles. Proceedings of the Cambridge Philosophical Society, volume 38, part 4, page 397, 1943.
• Claudi Alsina, Roger B. Nelsen: When Less is More: Visualizing Basic Inequalities. MAA, 2009, ISBN 978-0-88385-342-9, p. 108
• D.S. Mitrinović, Josip Pečarić: About the Neuberg-Pedoe and the Oppenheim inequalities. Journal of Mathematical Analysis and Applications 129(1):196–210 · January 1988 (online copy)