Here’s a challenge @jamestanton tweeted yesterday:
Visually, Tanton is asking if there is an integer right triangle (like the standard version shown on the left below) for which the integer triangle on the right exists.
The algebraic equivalent to this question is, for some , does there exist a Natural number d so that
?
I invoked Euclid’s formula in my investigation to show that there is no value of d to make this possible. I’d love to hear of any other proof variations.
INVOKING EUCLID’S FORMULA
For any coprime natural numbers m & n where and
is odd, then every primitive Pythagorean triple can be generated by
.
For any Natural number k, every Pythagorean triple can be generated by .
The generator term must be the original hypotenuse (side c), but either
or
can be side b. So, if Tanton’s scenario is true, I needed to check two possible cases. Does there exist a Natural number d such that
or
is true?
EVALUATING THE POSSIBILITIES
For the first equation, there is a single factor of 2 on the right, and there is no way to extract an odd number of factors of 2 from or
, so
can’t represent a perfect square.
For the second equation, there is no way to factor over Integers, so
can’t be a perfect square either.
Since neither equation can create a perfect square, there is no Natural value of d that makes {b, c, d} a Pythagorean triple. Tanton’s challenge is impossible.
Does anyone have a different approach?