rec.puzzles Archive

Is it possible to construct a right triangle with integer sides having both of the legs odd integers?

arithmetic/pythagorean.odd.legs New

New entry, edited from material collected for the archive and not yet in a released version.

Problem

Is it possible to construct a right triangle with integer sides having
both of the legs odd integers?

-- Arthur C Clay <acclay@mit.edu>
Show solution
Hmmm.. my answer is no:

Given a right triangle with sides a, b and c, such that a^2 + b^2 = c^2,
Set a = 2m - 1, and b = 2n - 1 (where m and n are positive integers)

c^2 = a^2 + b^2
c^2 = (4m^2 - 4m + 1) + (4n^2 - 4n + 1)
    = 2(2m^2 + 2n^2 - 2m - 2n + 1)

So c^2 must be even, therefore c must be even.  However, a^2 and b^2 are
odd, so their sum must be odd.  Therefore, there is no such triangle.

-- Glenn Lamb <drofmum@mocten.moc> [Editor: address reversed in the
   original to foil spam scanners]

Well, not quite.  If a^2 and b^2 are odd, then their sum is even.  But,
we can correct the argument by rewriting the last equation as

c^2 = 4(m^2+n^2-m-n)+2

This means that c^2 leaves a remainder of 2 when divided by 4.  But an
even perfect square must be divisible by 4.  Therefore there is no such
triangle.

-- theodore hwa <hwatheod@leland.Stanford.EDU>

That was a stupid mistake I was going to correct just before I read your
post.

In other words, c^2 = 2(2m^2 + 2n^2 - 2m - 2n + 1)
                    = 2*(some odd number)
               so c = sqrt(2)*some odd number
Which rules out c being an integer, pretty much what you said.

-- Glenn Lamb