MathLabs

Problem 3

Let a,b,ca,b,c be positive integers, no two having a common divisor greater than 11. Show that 2abc−ab−bc−ca2abc-ab-bc-ca is the largest integer which cannot be expressed as xbc+yca+zabxbc+yca+zab, where x,y,zx,y,z are non-negative integers.
Step 1 of 5: Assume NN is representable
N=2abc−ab−bc−ca≡−bc(moda)N=2abc-ab-bc-ca\equiv -bc\pmod a
Detailed analysis

Suppose N=xbc+yca+zabN=xbc+yca+zab. Reducing modulo aa gives xbc≡−bc(moda)xbc\equiv-bc\pmod a. Since gcd⁡(a,bc)=1\gcd(a,bc)=1, we obtain x≡−1(moda)x\equiv-1\pmod a, so x≥a−1x\ge a-1. Cyclically, y≥b−1y\ge b-1 and z≥c−1z\ge c-1.