As I said earlier I am going to post the solution for one of A1 questions. I chose the question 3, cause for me, it was more difficult than the others. Well, actually, 4th question seemed at first harder, but when I understood what exactly I needed to prove it became not that hard. For the third question, I had a little confusions about the partition part of a proof, after going to prof's office hours(which were a looot helpful, by the way) I got how partition worked for this proof, though. So, here it is.
3. P(n): The number of 3-subsets that a set of n +3 elements has is [(n + 3)(n + 2)(n + 1)] / 6
Proof (by Mathematical Induction)
Base case: n = 0. A set of 3 elements has (3 x 2 x 1) / 6 = 1 3-subset. So holds for P(0).
Induction Step: Assume n ϵ N (generic) and that P(n) is true.
Suppose S is a generic set with |S| = (n + 1) + 3 elements. Now there is some w ϵ S, and we have some subsets of S that do contain w, and some that do not. Say I‾ is the 3-subsets of S that do not contain w, and I+ is the 3-subsets in S that do contain w.
Number of 3-subsets in S is number of 3-subsets in I+ plus number of 3-subsets in I‾. At the same time, number of 3-subsets in I+ is equal to the number of 2-subsets in a set with |S| - 1elements, since they match. Also, I‾ is equal to the number of 3-subsets in a set with |S| - 1elements.
Know that a set with n + 2 elements has [(n + 2)(n + 1)] / 2 2-subsets. Using this formula and IH, find that the set with (n + 1) + 3 elements has ([((n + 1) + 2)((n + 1) + 1)] / 2) + ([(n + 3)(n + 2)(n + 1)] / 6) = [(n + 4)(n + 3)(n + 2)] / 6
= [((n + 1) + 3)((n + 1) + 2)((n + 1) + 1)] / 6 3-subsets
So P(n + 1) follows.
Since assumed n to be generic positive natural number, ∀ n ϵ N, P(n) ⇒ P(n + 1).
Conclude ∀ n ϵ N , P(n)
3. P(n): The number of 3-subsets that a set of n +3 elements has is [(n + 3)(n + 2)(n + 1)] / 6
Proof (by Mathematical Induction)
Base case: n = 0. A set of 3 elements has (3 x 2 x 1) / 6 = 1 3-subset. So holds for P(0).
Induction Step: Assume n ϵ N (generic) and that P(n) is true.
Suppose S is a generic set with |S| = (n + 1) + 3 elements. Now there is some w ϵ S, and we have some subsets of S that do contain w, and some that do not. Say I‾ is the 3-subsets of S that do not contain w, and I+ is the 3-subsets in S that do contain w.
Number of 3-subsets in S is number of 3-subsets in I+ plus number of 3-subsets in I‾. At the same time, number of 3-subsets in I+ is equal to the number of 2-subsets in a set with |S| - 1elements, since they match. Also, I‾ is equal to the number of 3-subsets in a set with |S| - 1elements.
Know that a set with n + 2 elements has [(n + 2)(n + 1)] / 2 2-subsets. Using this formula and IH, find that the set with (n + 1) + 3 elements has ([((n + 1) + 2)((n + 1) + 1)] / 2) + ([(n + 3)(n + 2)(n + 1)] / 6) = [(n + 4)(n + 3)(n + 2)] / 6
= [((n + 1) + 3)((n + 1) + 2)((n + 1) + 1)] / 6 3-subsets
So P(n + 1) follows.
Since assumed n to be generic positive natural number, ∀ n ϵ N, P(n) ⇒ P(n + 1).
Conclude ∀ n ϵ N , P(n)