Difference between revisions of "Trivial Inequality"

Revision as of 06:56, 17 March 2008

The trivial inequality is an inequality that states that the square of any real number is nonnegative. Its name comes from its simplicity and straightforwardness.

Statement

For all real numbers $x$ , $x^2 \ge 0$ , with equality if and only if $x = 0$ .

Proof

We proceed by contradiction. Suppose there exists a real $x$ such that $x^2<0$ . We can have either $x=0$ , $x>0$ , or $x<0$ . If $x=0$ , then there is a clear contradiction, as $x^2 = 0^2 \not < 0$ . If $x>0$ , then $x^2 < 0$ gives $x < \frac{0}{x} = 0$ upon division by $x$ (which is positive), so this case also leads to a contradiction. Finally, if $x<0$ , then $x^2 < 0$ gives $x > \frac{0}{x} = 0$ upon division by $x$ (which is negative), and yet again we have a contradiction.

Therefore, $x^2 \ge 0$ for all real $x$ , as claimed.

Applications

The trivial inequality is one of the most commonly used theorems in mathematics. It is very well-known and does not require proof.

One application is maximizing and minimizing quadratic functions. It gives an easy proof of the two-variable case of the Arithmetic Mean-Geometric Mean inequality:

Suppose that $x$ and $y$ are nonnegative reals. By the trivial inequality, we have $(x-y)^2 \geq 0$ , or $x^2-2xy+y^2 \geq 0$ . Adding $4xy$ to both sides, we get $x^2+2xy+y^2 = (x+y)^2 \geq 4xy$ . Since both sides of the inequality are nonnegative, it is equivalent to $x+y \ge 2\sqrt{xy}$ , and thus we have $\frac{x+y}{2} \geq \sqrt{xy},$ as desired.

Problems

(Introductory) Find all integer solutions $x,y,z$ of the equation $x^2+5y^2+10z^2=4xy+6yz+2z-1$ .
(AIME 1992) Triangle $ABC$ has $AB=9$ and $BC: AC=40: 41$ . What is the largest area that this triangle can have?
(1969 Canadian MO) Let $c$ be the length of the hypotenuse of a right triangle whose two other sides have lengths $a$ and $b$ . Prove that $a+b\le c\sqrt{2}$ . When does the equality hold?

@@ Line 21: / Line 21: @@
 # (''Introductory'') Find all integer solutions <math>x,y,z</math> of the equation <math>x^2+5y^2+10z^2=4xy+6yz+2z-1</math>.
 # ([[1992 AIME Problems/Problem 13|AIME 1992]]) Triangle <math>ABC</math> has <math>AB=9</math> and <math>BC: AC=40: 41</math>. What is the largest area that this triangle can have?
-# ([[1969 Canadian MO Problems/Problem 3]]) Let <math>c</math> be the length of the [[hypotenuse]] of a [[right triangle]] whose two other sides have lengths <math>a</math> and <math>b</math>. Prove that <math>a+b\le c\sqrt{2}</math>. When does the equality hold?
+# ([[1969 Canadian MO Problems/Problem 3|1969 Canadian MO]]) Let <math>c</math> be the length of the [[hypotenuse]] of a [[right triangle]] whose two other sides have lengths <math>a</math> and <math>b</math>. Prove that <math>a+b\le c\sqrt{2}</math>. When does the equality hold?
 [[Category:Inequality]]
 [[Category:Theorems]]

Page

Toolbox

Search