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 | + | 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]] | + | 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 15:02, 13 October 2006
Problem
Let be the length of the hypotenuse of a right triangle whose two other sides have lengths and . Prove that . When does the equality hold?
Solution
By the Pythagorean Theorem and the trivial inequality, .
Thus Since are all positive, taking a square root preserves the inequality and we have our result.
For equality to hold we must have . In this case, we have an isosceles right triangle, and equality certainly holds for all such triangles.