强感应?

时间:2014-03-28 13:48:17

标签: logic induction

问题是"使用强感应显示,任何2个或更多甚至整数的总和是偶数"。现在,我常规感应很好,但我在强感应的表示法中迷失了。到目前为止,我有:

BASE :(我们将使用2作为偶数)

n = 2的 通过序列定义,A2 = 4(偶数)

n = 3的 通过序列定义,A3 = 6(偶数)

因此,我们有P(2)和P(3)

我不确定从哪里开始,如果有人能带领我朝着正确的方向前进,那就太棒了

1 个答案:

答案 0 :(得分:0)

归纳应该是数字的数量,而不是数字本身。以下是您正在寻找的证据,以及它的价值:

证据是通过归纳来计算要求的偶数的数量。

基本情况:让ab为任意两个偶数。由于ab是偶数,因此我们可以针对某些整数a = 2cb = 2d(不一定是偶数)编写cd。然后我们有a + b = 2c + 2d = 2(c + d)。由于a + b = 2e,其中e = c + d是某个整数,因此根据定义,a + b是偶数。

归纳假设:假设任何最多k >= 2偶数集合的总和是偶数。

归纳步骤:我们必须证明k + 1偶数集的总和也是偶数。让{n_1, n_2, ..., n_k, m}成为k + 1偶数的任意集合。我们必须证明n_1 + n_2 + ... + n_k + m是偶数。通过加法的关联和交换属性,我们可以安全地将其写为(n_1 + n_2 + ... + n_k) + m,而无需更改表达式的值。从归纳假设来看,我们知道p = n_1 + n_2 + ... + n_k必须是偶数,因为它是最多k偶数集合的总和。我们现在p = 2xm = 2yn_1 + n_2 + ... + n_k + m = p + m = 2x + 2y = 2(x + y) = 2zz = x + y,因此我们知道n_1 + n_2 + ... + n_k + m必须是偶数。

通过归纳证明了结论。