Partition-regular system forcing an ordered Schur relation
ID: partition-regular-system-forcing-an-ordered-schur-relation
The positive-variable system , is partition regular. Its columns for sum to zero, and the remaining column lies in their rational span, satisfying the columns condition. Thus every finite colouring has monochromatic positive with . A triangular m-p-c set gives the explicit solution , , , , with positivity guaranteed by membership in that set.
New to topics? Read the docs here!