- #1
SaasuKe
Homework Statement
[/B]
Let the set S be defined recursively as follows:
Basis Step: (0, 0, 2) ∈ S
Recursive Step: If (a, b, c) ∈ S, then (a + 1, b + 1, c) ∈ S and (a+1, b, c+1) ∈ S
Use structural induction to prove that a + b + c is even when (a, b, c) ∈ S
The Attempt at a Solution
Basis[/B]: 0 + 0 + 2 = 2 = 2 ∗ 1
2 is even, therefore, base case holds
Inductive: Assume w, x, y, z ∈ S and w = 2k, where k is any integer
Now, (x + 1) +(y + 1) + z = w
I know that we have to prove the recursive step here but I'm not quite sure how to do so. Any suggestions/hints?
Thanks