Exercise 9.2.2

Argue that the indicator random variable $X_k$ and the value $T(\max(k-1,n-k))$ are independent.

Picking the pivot in one partitioning does not affect the probabilities of the subproblem. That is, the call to RANDOM in RANDOMIZED-PARTITION produces a result, independent from the call in the next iteration.