Pythagorean Investigation

 

Here’s a challenge @jamestanton tweeted yesterday:

Can the hypotenuse and one side length of one right integer triangle be the two side lengths of another right integer triangle?

— James Tanton (@jamestanton) September 9, 2018

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?