Waste less time on Facebook — follow Brilliant.

Origins of Euclid's formula for Pythagorean triples

Hi, because of a question on this week's on Brilliant problem set, I've come across the Euclid's formula for generating Pythagorean triples for the first time.

The formula says that (in my own words) for a right angled triangle with sides a,b and hypotenuse c,

\[a^2+b^2 = c^2 \iff (m^2-n^2)^2 + (2mn)^2 = (m^2 + n^2)^2 \]

for any 2 integers \(m > n\). After staring at this formula for a while, I realised it's actually a simple and straightforward case of expansion on LHS and RHS, followed by a check on whether the terms matched on both sides.

This made me wonder if Euclid came up with this theorem because of some eureka moment (you know, like maybe one day he's just sitting alone at his desk and this idea that \( (m^2-n^2) + (2mn)^2 = (m^2 + n^2)^2 \) can be applied to the Pythagoras theorem just pops into his head) or was he driven by any other sort of motivation to derive this formula?

And this brings me to another question, suppose Euclid didn't leave any proof of the derivation of this formula because he thought that it was such a straight forward application of the idea of \( (m^2-n^2)^2 + (2mn)^2 = (m^2 + n^2)^2 \) to \(a^2 + b^2 = c^2\). Would there had been any practical need to come up with a derivation from \(a^2 + b^2 = c^2\)?

I apologize if I sound like an idiot asking such questions, but well...I just couldn't get these questions off my mind :p

Note by Ghim Siang
4 years, 1 month ago

No vote yet
6 votes


Sort by:

Top Newest

I've added a note/comment that the expansion doesn't prove that that every pythagorean triple must be of the form \( (m^2 - n^2, 2mn, m^2 + n^2) \) In fact, this statement is not true! What are the values of \(m\) and \(n\) that generate the triple \( (9, 12, 15) \)? We require \( m^2 + n^2 = 15 \), which you can verify has no solutions.

All that the expansion shows, is that \( (m^2-n^2, 2mn, m^2 + n^2) \) is a Pythagorean triple. In fact, the classification is valid for primitive pythagorean triple, which are triples that have no common divisor. In the above example, the terms have a common divisor of 3. Calvin Lin Staff · 4 years, 1 month ago

Log in to reply

@Calvin Lin This is correct. A more general formula that applies to all pythagorean triples (as far as I know) is \( a = k \cdot (m^2 - n^2), b = k \cdot 2mn, c = k \cdot (m^2 + n^2) \), where k is a positive integer. Michael Tong · 4 years, 1 month ago

Log in to reply

Ghim, are you asking for the derivation or the 'need' of the derivation? Sorry, but I couldn't understand your point. Piyal De · 4 years, 1 month ago

Log in to reply

@Piyal De well, i was asking about the 'need' for the derivation from a^2 + b^2 = c^2 to the euclid's formula, and i guess alyosha's explaination pretty much makes sense! Ghim Siang · 4 years, 1 month ago

Log in to reply


Problem Loading...

Note Loading...

Set Loading...