Weitzenböck's inequality

Weitzenböck's inequality

In mathematics, Weitzenböck's inequality states that for a triangle of side lengths a, b, c, and area Delta, the following inequality holds:

: a^2 + b^2 + c^2 geq 4sqrt{3}, Delta.

Equality occurs if and only if the triangle is equilateral. Pedoe's inequality is a generalization of Weitzenböck's inequality.

Proofs

The proof of this inequality was set as a question in the International Mathematical Olympiad of 1961. Even so, the result is not too difficult to derive using Heron's formula for the area of a triangle:

:egin{align}Delta & {} = frac{sqrt{(a+b+c)(a+b-c)(b+c-a)(c+a-b){4} \& {} = frac{1}{4} sqrt{2(a^2 b^2+a^2c^2+b^2c^2)-(a^4+b^4+c^4)}.end{align}

First method

This method assumes no knowledge of inequalities except that all squares are nonnegative.

: egin{align}{} & (a^2 - b^2)^2 + (b^2 - c^2)^2 + (c^2 - a^2)^2 geq 0 \{} iff & 2(a^4+b^4+c^4) - 2(a^2 b^2+a^2c^2+b^2c^2) geq 0 \{} iff & frac{4(a^4+b^4+c^4)}{3} geq frac{4(a^2 b^2+a^2c^2+b^2c^2)}{3} \{} iff & frac{(a^4+b^4+c^4) + 2(a^2 b^2+a^2c^2+b^2c^2)}{3} geq 2(a^2 b^2+a^2c^2+b^2c^2)-(a^4+b^4+c^4) \{} iff & frac{(a^2 + b^2 + c^2)^2}{3} geq (4Delta)^2,end{align}

and the result follows immediately by taking the positive square root of both sides. From the first inequality we can also see that equality occurs only when a = b = c and the triangle is equilateral.

Second method

This proof assumes knowledge of the rearrangement inequality and the arithmetic-geometric mean inequality.

: egin{align}& & a^2 + b^2 + c^2 & geq & & ab+bc+ca \iff & & 3(a^2 + b^2 + c^2) & geq & & (a + b + c)^2 \iff & & a^2 + b^2 + c^2 & geq & & sqrt{3 (a+b+c)left(frac{a+b+c}{3} ight)^3} \iff & & a^2 + b^2 + c^2 & geq & & sqrt{3 (a+b+c)(-a+b+c)(a-b+c)(a+b-c)} \iff & & a^2 + b^2 + c^2 & geq & & 4 sqrt3 Delta.end{align}

As we have used the rearrangement inequality and the arithmetic-geometric mean inequality, equality only occurs when "a" = "b" = "c" and the triangle is equilateral.

External links

*MathWorld | urlname=WeitzenboecksInequality | title=Weitzenböck's Inequality
*" [http://demonstrations.wolfram.com/WeitzenboecksInequality/ Weitzenböck's Inequality] ," an interactive demonstration by Jay Warendorff, The Wolfram Demonstrations Project.


Wikimedia Foundation. 2010.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

  • Hadwiger–Finsler inequality — In mathematics, the Hadwiger–Finsler inequality is a result on the geometry of triangles in the Euclidean plane, named after the mathematicians Hugo Hadwiger and Paul Finsler. It states that if a triangle in the plane has side lengths a , b and c …   Wikipedia

  • Pedoe's inequality — 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 f , and A , B , and C are the lengths of the sides of a triangle with area F , then:A^2(b^2+c^2… …   Wikipedia

  • List of mathematics articles (W) — NOTOC Wad Wadge hierarchy Wagstaff prime Wald test Wald Wolfowitz runs test Wald s equation Waldhausen category Wall Sun Sun prime Wallenius noncentral hypergeometric distribution Wallis product Wallman compactification Wallpaper group Walrasian… …   Wikipedia

  • List of inequalities — This page lists Wikipedia articles about named mathematical inequalities. Inequalities in pure mathematics =Analysis= * Askey–Gasper inequality * Bernoulli s inequality * Bernstein s inequality (mathematical analysis) * Bessel s inequality *… …   Wikipedia

  • List of triangle topics — This list of triangle topics includes things related to the geometric shape, either abstractly, as in idealizations studied by geometers, or in triangular arrays such as Pascal s triangle or triangular matrices, or concretely in physical space.… …   Wikipedia

  • List of differential geometry topics — This is a list of differential geometry topics. See also glossary of differential and metric geometry and list of Lie group topics. Contents 1 Differential geometry of curves and surfaces 1.1 Differential geometry of curves 1.2 Differential… …   Wikipedia

  • Ungleichung von Pedoe — Die Ungleichung von Pedoe, benannt nach Daniel Pedoe, ist eine geometrische Aussage über die Seitenlängen und die Flächeninhalte zweier Dreiecke. Sind a, b und c die Seitenlängen eines Dreiecks mit dem Flächeninhalt f und A, B und C die… …   Deutsch Wikipedia

  • Laplace operator — This article is about the mathematical operator. For the Laplace probability distribution, see Laplace distribution. For graph theoretical notion, see Laplacian matrix. Del Squared redirects here. For other uses, see Del Squared (disambiguation) …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”