题目
Problem
Given that a, b and c are integers greater than 0 such that
- c=b+2
- a+b+c=10
Prove, by exhaustion, that the product of a, b and c is always even.
You may use the table below to illustrate your answer.
(3)
解答
建立约束关系
思路
展开
首先,我们需要利用给定的代数关系,化简出变量之间的范围限制:
将 c=b+2 代入 a+b+c=10 中:
a+b+(b+2)=10⟹a+2b=8⟹a=8−2b.
因为 a,b,c 都是大于 0 的正整数(即 a,b,c⩾1):
- 由 b⩾1 得 2b⩾2,从而 a=8−2b⩽6。
- 由 a⩾1 得 8−2b⩾1⟹2b⩽7⟹b⩽3.5。
- 由于 b 必须是整数,所以 b 只能取 1,2,3。
因此,本题只有 3 种可能的整数情况。
解法一:数值穷举法
思路
展开
根据上述化简,穷举所有可能的正整数三元组 (a,b,c),计算它们的乘积 abc,并验证每个乘积是否为偶数。
答题过程
展开
Substitute c=b+2 into a+b+c=10:
a+b+(b+2)=a+2b=a=1088−2b.
Since a, b, and c are integers greater than 0, we must have b⩾1. Also:
a⩾1⟹8−2b⩾2b⩽b⩽173.5.
Since b must be an integer, the only possible values for b are 1, 2, and 3. We list the cases:
-
Case 1: b=1
a=8−2(1)=6
c=1+2=3
The product is:
abc=6×1×3=18(which is even).
-
Case 2: b=2
a=8−2(2)=4
c=2+2=4
The product is:
abc=4×2×4=32(which is even).
-
Case 3: b=3
a=8−2(3)=2
c=3+2=5
The product is:
abc=2×3×5=30(which is even).
The combinations can be summarized in the table below:
| a | b | c | abc |
|---|
| 6 | 1 | 3 | 18 |
| 4 | 2 | 4 | 32 |
| 2 | 3 | 5 | 30 |
Since all possible combinations have been exhausted and in every case the product abc is even, the product of a, b and c is always even.
解法二:代数逻辑法
思路
展开
我们可以通过代数结构分析变量的奇偶性:
由 a=8−2b=2(4−b) 可知,由于 4−b 是整数,所以 a 必定是 2 的倍数,即 a 必定是一个偶数。
因为任意整数与偶数的乘积必然是偶数(even×integer=even),所以只要 a 是偶数,不管 b 和 c 的奇偶性如何,abc 的乘积必然是偶数。
答题过程
展开
From the equations c=b+2 and a+b+c=10, we obtain:
a==8−2b2(4−b).
Since b is an integer, 4−b is also an integer. Therefore, a must be an even integer.
Since the product of any integers with at least one even factor is always even, the product abc must be even for any valid integer combinations.
Hence, the product of a, b and c is always even.
解法三:纯代数证明法
思路
展开
将乘积 abc 完全用单一变量 b 表示出来:
abc=(8−2b)⋅b⋅(b+2)
提取公因子 2,写成 2×integer 的形式,从而直接证明其整除性。
答题过程
展开
Using the equations a=8−2b and c=b+2, we can express the product abc in terms of b only:
abc==(8−2b)⋅b⋅(b+2)2(4−b)b(b+2).
Since b is an integer, (4−b)b(b+2) is also an integer.
Since abc has a factor of 2, abc is divisible by 2, which means the product abc is always even.