\newfam\rsfs \newfam\bbold \def\scr#1{{\fam\rsfs #1}} \def\bb#1{{\fam\bbold #1}} \let\oldcal\cal \def\cal#1{{\oldcal #1}} \font\rsfsten=rsfs10 \font\rsfssev=rsfs7 \font\rsfsfiv=rsfs5 \textfont\rsfs=\rsfsten \scriptfont\rsfs=\rsfssev \scriptscriptfont\rsfs=\rsfsfiv \font\bbten=msbm10 \font\bbsev=msbm7 \font\bbfiv=msbm5 \textfont\bbold=\bbten \scriptfont\bbold=\bbsev \scriptscriptfont\bbold=\bbfiv \def\Pr{\bb P} \def\F{\cal F} \newcount\qnum \def\q{\afterassignment\qq\qnum=} \def\qq{\bigskip\noindent{\bf \number\qnum)}\smallskip} \q1 \def\ev{{\rm even}} \def\od{{\rm odd}} \def\pev_#1{\Pr_{#1}(\ev)} \def\pod_#1{\Pr_{#1}(\od)} \def\fr#1#2{{{#1}\over#2}} \def\pfr#1#2{\left(\fr#1#2\right)} \def\form{{ 1 + (\fr23)^n \over 2 }} We assume that for $n$ dice, $\pev_n =\form.$ Rolling an odd or an even number of dice are complements: they are pairwise disjoint, and their union is $\Omega$, so $$\pod_n + \pev_n = \Pr(\ev\cup\od) = \Pr(\Omega) = 1$$ $$\to \pod_n = 1 - \pev_n = 1 - \form = {2 - (1 + (\fr23))^n \over 2} = {1-(\fr23)^n \over 2}.$$ Using induction to talk about the next larger case, $n+1$, the probability of rolling an even number of sixes is the sum of two cases: an odd number of rolls in the first $n$ ($\pod_n$) times the odds of rolling one six $\pfr16$ and an even number of rolls in the first $n$ ($\pev_n$) times the odds of rolling something other than six $\pfr56$. $$\pev_{n+1} = \pfr16\pod_n + \pfr56\pev_n$$ $$= {1-(\fr23)^n\over12} + {5(1+(\fr23)^n)\over12} = {6+4(\fr23)^n\over12} = {1+(\fr23)^{n+1}\over2}.$$ The base case is trivially true: rolling zero dice gives a probability of 1 of rolling an even (zero) number of sixes (${1+\pfr23^n\over2} = {1+1\over2} = 1$). QED \q2 There cannot be an event space with $|\F|=6.$ Such an event space would look like: $$\F=\{\emptyset,\Omega,A,B,A^c,B^c\}.$$ But for all ${x,y}\in\F$, $x\cup y\in\F.$ $B$ and $B^c$ are distinct from $A^c$, so $A\cup B,A\cup B^c \neq \Omega,$ which means that each union must be one of the other four options. They cannot be $A^c$ because it is disjoint with $A$ (and thus not {\it equal} to any union with $A$). The first union can be equal to either $A$ or $B$, and the second union can be equal to either $A$ or $B^c$ for similar reasons. If either union is equal to $A$ (assuming it is $A\cup B$, without loss of generality), $B \subset A$, so $B^c \not\subset A$, and $A \cup B^c \neq A,B^c.$ (it would not equal $B^c$ because $A \cap B \neq \emptyset$). With that possibility ruled out, if $A\cup B = B$, $A\subset B$, and $A\cup B^c \neq B^c,A.$ This means that at least one of these unions would require at least a seventh member of the set to ``fit into.'' \q3 $A = \{A_1\cup\ldots\cup A_n\}$ can be divided into a finite number of pairwise disjoint events $\{B_1\ldots B_{2^n}\} = B$. This set of events is constructed by taking the power set. For each $E_i\in2^A$, $B_i = E_i\cap(x^c\forall x\in(A \setminus E_i))$ Each of these are in $\F$ because $\forall x,y\in\F\to x\cap y,x\setminus y\in\F$, $A \subset \F$. $\Pr(\cup_i^n A_i) = \Pr(\cup_i^{2^n} B_i) = \sum_{i=1}^{2^n} \Pr(B_i) \leq \sum_{i=1}^n \Pr(A_i)$. This final statement is true because, for all $B_i$, there exists an $A_j$ that corresponds to a set with $B_i$, and each $A_i$ corresponds to a subset of $B$ which have probabilities which sum to the probability of $A_i$. Therefore, $\sum_{i=1}^n \Pr(A_i)$ can be rewritten as, with $C_i$ as the subset which $A_i$ corresponds to, and $C_{ij}$ as a member of $C_i$, $\sum C_{ij}$. $\Pr(C_{ij}) \geq 0$ and $B = C$ (the reason that it's less than or equal and not equal is because of duplicate counting of partitions). \q4 For event $A_1$, $\Pr(A_1) \geq 1 - 1 + \Pr(A_1).$ Assuming this holds true for $A_n$, (let $A$ be the union of $A_1\ldots A_n$) $$\Omega\setminus A_{n+1} \supseteq A\setminus A_{n+1} \Longrightarrow \Pr(\Omega\setminus A_{n+1}) \geq \Pr(A\setminus A_{n+1}) = \Pr(A)-\Pr(A\cap A_{n+1}).$$ Subtracting the last statement from the assumption, (note that the sign of the inequality being flipped flips the comparator) $$\Pr(A) \geq 1 - n + \sum_i^n \Pr(A_i) \Longrightarrow \Pr(A\cap A_{n+1}) \geq 1 - n + \sum_i^n\Pr(A_i) - (1 - \Pr(A_{n+1})) = 1 - (n+1) + \sum_i^{n+1}\Pr(A_i).$$ QED \q9 For a pair of $n$ coin flip trials, the odds of trial having the same number of heads is the same as the odds of one trial with $k$ heads and one trial with $n-k$ heads. The sum of heads in the $2n$ coin flips is $n$, the odds of which occurring are the number of ways that can happen, $2n\choose n$, times the odds of any given set of coin flips, $1\over2^{2n}$. Therefore, the probability is ${2n\choose n}{1\over2^{2n}}$ \q10 For circuit one, $p + 2p^2 - 2p^3 - p^4 + p^5.$ For circuit two, $2p^2 + 2p^3 - 5p^4 + 2p^5.$ These are both calculated using inclusion-exclusion, the first being three independent events with probabilities $(p^2,p^2,p)$ and the second being several dependent probabilities. % Insufficient explanation (6/10) \q14 $$\Pr(A\cup B) = \Pr(A\setminus B)+\Pr(B\setminus A)+\Pr(A\cap B)$$ $$= (\Pr(A\setminus B)+\Pr(A\cap B)) + (\Pr(B\setminus A)+\Pr(A\cap B)) - \Pr(A\cap B)$$ $$= \Pr(A) + \Pr(B) - \Pr(A\cap B) = \sum_i \Pr(A_i) - \sum_{i