Given any finite set of linearly independent Pythagorean Triples, show that the vector sum of this set is never a Pythagorean triple.

  • $\begingroup$ Would this be better posted on the Math.SE instead of Puzzling? $\endgroup$
    – DanDan面
    Sep 5, 2023 at 22:51
  • $\begingroup$ Ok. Boundaries are fuzzy. $\endgroup$
    – gyancey
    Sep 5, 2023 at 23:11
  • $\begingroup$ Math puzzles are welcome here as long as they are puzzles, not problems. See links for details. I don't know enough to determine which side of the line this falls on, but if it's on-topic here then it's on-topic here, regardless if there's another site which would also take it. $\endgroup$
    – bobble
    Sep 5, 2023 at 23:16
  • 2
    $\begingroup$ This is puzzle / problem that I made up. Thought it was cool / fun. $\endgroup$
    – gyancey
    Sep 5, 2023 at 23:33

2 Answers 2


The graph of real-valued Pythagorean triples $x^2+y^2=z^2$ forms an infinite cone if we restrict to $z>0$:

Double cone

A sum of $n$ independent vectors on this cone is $n$ times their average, which lies within their convex hull and so is inside the cone, and so cannot be a Pythagorean triple.

  • 1
    $\begingroup$ this is insanely neat - i agree now that it's well-suited for Puzzling! $\endgroup$
    – DanDan面
    Sep 6, 2023 at 1:47

By definition of (Euclidean) length, 2-dimensional vector $v_j:=(a_j,b_j)$ has length $|v_j|=c_j$ if and only if $a_j^2+b_j^2=c_j^2$ ($c_j\ge 0$). By repeated application of the

triangle inequality

we have for any finite sum $\left|\sum_j v_j\right| \le \sum_j c_j$ with equality if and only if each $v_j$ is a nonnegative multiple of every other nonzero $v_j$. As the given vectors are assumed to be linearly independent the inequality must be strict. In particular, the sums do not form a Pythagorean triple.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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