- Published on
Parity Obstruction in Pythagorean Triples
- Authors

- Name
- Vu Hung
Problem Statement
Prove that there is no Pythagorean triple where and (the two smallest numbers) are both even and (the largest number) is odd.
Hints
Use proof by contradiction. Assume such a triple exists with and (both even) and odd.
Substitute into the Pythagorean equation and analyze the parity of . What can you conclude about the parity of ?
Solutions
Proof by Contradiction:
Assume there exists a Pythagorean triple where:
- and are both even
- is odd
Since and are even, write and for integers .
Substitute into Pythagorean equation:
Analyze parity of :
The equation shows , which is a multiple of .
In particular, is divisible by , so is even.
Derive parity of :
If were odd, then for some integer , and:
This shows would be odd, contradicting that is even.
Therefore, must be even.
Contradiction:
We derived that must be even, which contradicts our assumption that is odd.
Hence, no such Pythagorean triple exists.
Takeaways
- Reconstruct the full proof from the hint and the solution outline, and justify every transformation explicitly.
- Check edge cases and verify where each assumption is used in the argument.
Further Readings
If you found this proof interesting, be sure to check out these relevant HSC booklets to sharpen your reasoning skills:
- HSC Proofs: https://vumaths.com/booklets/hsc-proofs/
- HSC Distributions: https://vumaths.com/booklets/hsc-distributions/
- HSC Last Resorts: https://vumaths.com/booklets/hsc-last-resorts/
Connect with me
If you're eager for more HSC Maths insights, be sure to check out my Substack. For deeper dives and regular tips, join my Instagram. Let's tackle these challenging math problems together! You can also catch my daily math content on YouTube - HSC Maths Extension 1+2.
