4.3.16 problem 59

(a)
WLOG, let be the second median of . Then, by the definition of medians, and . Then, . If , then there exists an , such that . This implies that , since that is the only value of with probability . However, then , which precludes from being a median. Thus, must be . Since we know to be a median of , we need to check whether or are medians of . Computation via the CDF of shows that niether , nor are medians. Hence, is the only median of .
(b)
Let be the indicator variable for the event . Notice that the event (the first occurance of a birthday match happens when there are people) implies that for and vice versa. Thus,

.

Then,

(c)
(d)
. Note that and for . Thus,

.