2005 Canadian MO Problems/Problem 2

From AoPSWiki

Problem

Let $(a,b,c)$ be a Pythagorean triple, i.e., a triplet of positive integers with ${a}^2+{b}^2={c}^2$ .

Prove that $(c/a + c/b)^2 > 8$ .
Prove that there does not exist any integer $n$ for which we can find a Pythagorean triple $(a,b,c)$ satisfying $(c/a + c/b)^2 = n$ .

Solution

We have

$\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...$

By AM-GM, we have

$x + \frac 1x > 2,$

where $x$ is a positive real number not equal to one. If $a = b$ , then $c \not\in \mathbb{Z}$ . Thus $a \neq b$ and $\frac ab \neq 1\implies \frac{a^2}{b^2}\neq 1$ . Therefore,

$\left(\frac ca + \frac cb\right)^2 > 2 + 2 + 2(2) = 8.$

Now since $a$ , $b$ , and $c$ are positive integers, $c/a + c/b$ is a rational number $p/q$ , where $p$ and $q$ are positive integers. Now if $p^2/q^2=n$ , where $n$ is an integer, then $p/q$ must also be an integer. Thus $c(a+b)/ab$ must be an integer.

Now every pythagorean triple can be written in the form $(2mn, m^2-n^2, m^2+n^2)$ , with $m$ and $n$ positive integers. Thus one of $a$ or $b$ must be even. If $a$ and $b$ are both even, then $c$ is even too. Factors of 4 can be cancelled from the numerator and the denominator(since every time one of $a$ , $b$ , $c$ , and $a+b$ increase by a factor of 2, they all increase by a factor of 2) repeatedly until one of $a$ , $b$ , or $c$ is odd, and we can continue from there. Thus the $m^2-n^2$ term is odd, and thus $c$ is odd. Now $c$ and $a+b$ are odd, and $ab$ is even. Thus $c(a+b)/ab$ is not an integer. Now we have reached a contradiction, and thus there does not exist any integer $n$ for which we can find a Pythagorean triple $(a,b,c)$ satisfying $(c/a + c/b)^2 = n$ .

2005 Canadian MO (Problems)
Preceded by Problem 1	1 • 2 • 3 • 4 • 5	Followed by Problem 3

Personal tools

Navigation

Search

Toolbox

2005 Canadian MO Problems/Problem 2

From AoPSWiki

Problem

Solution

See also