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

m
m
Line 1: Line 1:
 
== Problem ==
 
== Problem ==
Let <math>\displaystyle c</math> be the length of the hypotenuse of a right angle triangle whose two other sides have lengths <math>\displaystyle a</math> and <math>\displaystyle b</math>. Prove that <math>\displaystyle a+b\le c\sqrt{2}</math>. When does the equality hold?
+
Let <math>\displaystyle c</math> be the length of the [[hypotenuse]] of a [[right triangle]] whose two other sides have lengths <math>\displaystyle a</math> and <math>\displaystyle b</math>. Prove that <math>\displaystyle a+b\le c\sqrt{2}</math>. When does the equality hold?
  
 
== Solution ==
 
== Solution ==
 
By the [[Pythagorean Theorem]] and the [[trivial inequality]], <math>\displaystyle 2c^2-(a+b)^2=2(a^2+b^2)-(a+b)^2=(a-b)^2\ge 0</math>.
 
By the [[Pythagorean Theorem]] and the [[trivial inequality]], <math>\displaystyle 2c^2-(a+b)^2=2(a^2+b^2)-(a+b)^2=(a-b)^2\ge 0</math>.
  
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.
  
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.
+
For [[equality condition | equality]] to hold we must have <math>(a-b)^2 = 0</math>.  In this case, we have an  [[isosceles triangle | isosceles]] right triangle, and equality certainly holds for all such triangles.
  
 
----
 
----

Revision as of 16:02, 13 October 2006

Problem

Let $\displaystyle c$ be the length of the hypotenuse of a right 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.