Search papers, labs, and topics across Lattice.
This paper provides an elementary proof for the 2-regularity of Pythagorean triples, establishing that any 2-coloring of positive integers must contain a monochromatic Pythagorean triple. This resolves a long-standing conjecture by Graham, previously proven via SAT solvers. The new proof avoids computational complexity and advanced analytic methods, relying solely on basic combinatorial arguments.
A simple proof finally cracks the 2-regularity of Pythagorean triples, settling a decades-old open problem without SAT solvers.
We give a new proof of the fact that every 2-coloring of the positive integers contains a monochromatic Pythagorean triple. This result was originally proven by Heule, Kullmann, and Marek with SAT solvers in 2016, answering a decades-old question of Graham. This proof uses elementary techniques and requires neither lengthy computation nor difficult analytic machinery.