Boolean Pythagorean triples problem: Difference between revisions

Revision as of 05:35, 25 February 2020

Revision as of 07:44, 28 February 2020

Line 3:

This problem is from [[Ramsey theory]] and asks if it is possible to color each of the positive integers either red or blue, so that no Pythagorean triple of integers ''a'', ''b'', ''c'', satisfying <math>a^2+b^2=c^2</math> are all the same color. For example, in the Pythagorean triple 3, 4 and 5 (<math>3^2+4^2=5^2</math>), if 3 and 4 are colored red, then 5 must be colored blue.

Marijn Heule, Oliver Kullmann and [[Victor W. Marek]] investigated the problem, and showed that such a coloring is only possible up to the number 7824. The actual statement of the theorem proved is

{{math theorem| The set {1, . . . , 7824} can be partitioned into two parts, such that no part contains a Pythagorean triple, while this is impossible for {1, . . . , 7825}.<ref name="arXiv"/>}}