2005 Canadian MO Problems/Problem 2: Difference between revisions
m fmt |
|||
| Line 6: | Line 6: | ||
==Solution== | ==Solution== | ||
We have | We have | ||
:<math>\left(\frac ca + \frac cb\right)^2 = \frac{c^2}{a^2} + 2\frac{c^2}{ab} + \frac{c^2}{b^2} = \frac{a^2 + b^2}{a^2} + 2\frac{a^2 + b^2}{ab} + \frac{a^2+b^2}{b^2} = 2 + \left(\frac{a^2}{b^2} + \frac{b^2}{a^2}\right) + 2\left(\frac ab + \frac ba\right)</math> | |||
By [[AM-GM]], we have | |||
:<math>x + \frac 1x > 2,</math> | |||
where <math>x</math> is a [[positive]] [[real number]] not equal to one. If <math>a = b</math>, then <math>c \not\in \mathbb{Z}</math>. Thus <math>\displaystyle a \neq b</math> and <math>\frac ab \neq 1\implies \frac{a^2}{b^2}\neq 1</math>. Therefore, | |||
:<math>\left(\frac ca + \frac cb\right)^2 > 2 + 2 + 2(2) = 8.</math> | |||
==See also== | ==See also== | ||
Revision as of 17:25, 7 February 2007
Problem
Let
be a Pythagorean triple, i.e., a triplet of positive integers with
.
- Prove that
. - Prove that there does not exist any integer
for which we can find a Pythagorean triple
satisfying
.
Solution
We have
By AM-GM, we have
where
is a positive real number not equal to one. If
, then
. Thus
and
. Therefore,