Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Can you use a formula for writing products of two sums of squares as a sum of squares to create Pythagorean triplets from pairs of primitive Pythagorean triplets?

First, the formula for writing products of two sums of squares as a sum of squares is:



A Pythagorean triplet is: $a^2+b^2=c^2$.

Two examples of a Pythagorean triplet is $(3,4,5)$ and $(5,12,13)$.

Where $3^2+4^2=5^2$ and $5^2+12^2=13^2$.

Now, using the previously mentioned formula:

$$(3^2+4^2)(5^2+12^2)=(3 \cdot 12 - 4 \cdot 5)^2+(3 \cdot 5+4 \cdot 12)^2=5^2\cdot 13^2=4225$$

So, $16^2+63^2=65^2$. Therefore the answer is yes. Is this sufficient? I can't help but feel I have overlooked something. The question thankfully doesn't say "prove", but maybe a "proof" is what I am looking for. Can anyone help me with this?

share|improve this question
What you did works in general, same argument. Suppose that $a^2+b^2=s^2$, $c^2+d^2=t^2$. Then the identity you quoted gets us $x$, $y$ such that $x^2+y^2=(st)^2$. We need to show this is a Pytagorean triple, so to make sure that the $ad-bc\ne 0$. By the way, minor typo in what you wrote, it is $65^2$ not $64^2$. –  André Nicolas Dec 10 '12 at 2:47

1 Answer 1

up vote 1 down vote accepted

Let the following be your Pythagorean triplets. $$a_1^2 +b_1^2 = c_1^2$$ $$a_2^2 +b_2^2 = c_2^2$$

We have (from the formula): $$(a_1^2 +b_1^2)\cdot(a_2^2 +b_2^2)=(a_1\cdot b_2-a_2\cdot b_1)^2+(a_1\cdot a_2-b_1\cdot b_2)^2$$

Obviously the RHS is the sum of two squares. To prove this is a Pythagorean triplet, we need to show the LHS is a perfect square. We know that the sum $a_1^2 +b_1^2 = c_1^2$, and similar for the other factor. Thus, we have: $$(c_1^2)\cdot(c_2^2)=(a_1\cdot b_2-a_2\cdot b_1)^2+(a_1\cdot a_2-b_1\cdot b_2)^2$$ $$(c_1\cdot c_2)^2=(a_1\cdot b_2-a_2\cdot b_1)^2+(a_1\cdot a_2-b_1\cdot b_2)^2$$ Which is a Pythagorean triple.

share|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.