Q1. (n) is a positive integer. (A) is a set such that A={1,2,...,n}. Let (t_n) denote the number of subsets of (A) such that the arithmetic mean (AM) of the elements is an integer. Prove that (t_n) and (n) are both odd or both even. S1. 1. Let us ignore empty subset since A.M. is not defined for that. 2. Subsets of size 1: {1}, {2} ... {n}. There are 'n' such subsets. And each of them has their A.M. as integer. 3. Now let's consider the subsets with size >= 2 which have an integer A.M. Let G be the set of all such subsets. Let's consider a function 'f' defined for subsets of size >= 2. f(S) = S - {k} where k is the A.M. of S and k is present in S. f(S) = S + {k} where k is the A.M. of S and k is not present in S. For e.g. S = {1,3,8}, k = (1+3+8)/3 = 4 4 is not there in S. f(S) = {1,3,4,8} S = {1,2,3}, k = (1+2+3)/2 = 3 3 is there in S. f(S) = {1,2} Note 1: S and f(S) have the same A.M. Why? Let S = {a1,a2...,ak} AM = sigma(a_i)/k If you remove AM, the ne...