Density of pythagorean triplets – Part 2

Several people really liked my previous puzzle, including some high-school students 🙂 Some of you have sent me photos of your hand-written proofs. This level of enthusiasm for mathematics is totally awesome. Here is a detailed proof with some beautiful diagrams by Chris Grossack.

Here is my next puzzle:

Let x_1 < x_2 and a^2 + {x_1}^2 = {y_1}^2 and a^2 + {x_2}^2 = {y_2}^2.

Let x_3 < x_4 and b^2 + {x_3}^2 = {y_3}^2 and b^2 + {x_4}^2 = {y_4}^2.

Also, x_2 - x_1 = x_4 - x_3 = \delta

All the above variables are positive integers and a \neq b and x_1 \neq x_3 and x_2 \neq x_4

Prove or disprove the following claim:

Claim: There exists a rational number 0 < q < \delta such that \sqrt{a^2 + {(x_1 + q)}^2} and \sqrt{b^2 + {(x_3 + q)}^2} are rational numbers.

If you want to take small baby steps towards a proof, start with the following special cases:

Special case 1: x_1 = x_3 and x_2 = x_4

Special case 2: x_1 = x_3 and x_2 = x_4 and a = b

Quick homework problem: Prove the Special case 2 using a proof of my previous puzzle.

Have fun solving.

Some mathematician has said pleasure lies not in discovering truth, but in seeking it 🙂

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s