Difference between revisions of "1969 Canadian MO Problems/Problem 3"

m (Solution: minor wikification)
m
Line 7: Line 7:
 
Thus <math>\displaystyle 2c^2\ge (a+b)^2.</math>  Since <math>\displaystyle a,b,c</math> are all positive, taking a square root preserves the inequality and we have our result.
 
Thus <math>\displaystyle 2c^2\ge (a+b)^2.</math>  Since <math>\displaystyle a,b,c</math> are all positive, taking a square root preserves the inequality and we have our result.
  
The [[equality condition]] is clearly that <math>(a-b)^2 = 0</math> -- the [[isosceles]] [[right triangle]].
+
For [[equality condition | equality]] to hold we must have <math>(a-b)^2 = 0</math>.  In this case, we have an  [[isosceles]] [[right triangle]], and equality certainly holds for all such triangles.
  
 
----
 
----

Revision as of 08:27, 28 July 2006

Problem

Let $\displaystyle c$ be the length of the hypotenuse of a right angle triangle whose two other sides have lengths $\displaystyle a$ and $\displaystyle b$. Prove that $\displaystyle a+b\le c\sqrt{2}$. When does the equality hold?

Solution

By the Pythagorean Theorem and the trivial inequality, $\displaystyle 2c^2-(a+b)^2=2(a^2+b^2)-(a+b)^2=(a-b)^2\ge 0$.

Thus $\displaystyle 2c^2\ge (a+b)^2.$ Since $\displaystyle a,b,c$ are all positive, taking a square root preserves the inequality and we have our result.

For equality to hold we must have $(a-b)^2 = 0$. In this case, we have an isosceles right triangle, and equality certainly holds for all such triangles.