✨ ベストアンサー ✨
12 - x - 2y ≦ 12 - 1 - 2•1
はx≧1, y≧1から分かります。x ≧ 1, y ≧ 1より
-x ≦ -1, -y ≦ -1なので、-x ≦ -1, 2y ≦ -2です。
よって
12 - x - 2y ≦ 12 - 1 - 2 ≦ 9
となります。
続いて別解についてです。
z = 4 - (x + 2y)/3 ・・・ ①
zは整数なので、x + 2yは3の倍数でないといけません。x + 2yが3の倍数でないと、(x + 2y)/3が約分できず、分数のまま残ってしまい4 - (x + 2y)/3が整数ではなくなります。これはzが整数であることに矛盾するのでダメです。よってx + 2yは3の倍数です。
x + 2yが12以上になると、問題文のx + 2y + 3z = 12を満たす(x,y,z)が存在しなくなるので12未満の3の倍数です。よってx + 2y = 3,6,9となります。その後は上の議論の[1],[2],[3]と同様です。