If $Q$ is a radical ideal of $R$ with $Q∩S=∅$, then $QR_S$ is a radical ideal of $R_S$ If $Q$ is a radical ideal of $R$ with $Q∩S=∅$, show $QR_S$ is a radical ideal of $R_S$.
Here is what I have done, since $Q$ is radical, let $q\in Q$ , then $q^n\in I$ for some $I$ ideal.
let $a\in QR_S$, then $a=q\cdot r/s$ for some $q\in Q$, $r\in R$ and $s\in S$.
then $a^n=q^n\cdot r^n/s^n\in IR_S$. since $IR_S$ is a ideal of $R_S$. we are done.
Am I right? and what I have confuse is why we need the condition of $Q∩S=∅$? I didn't use it at all. please help, thank you.

You can do this with or without resorting to elements. We outline how to do this with the structure of ideals.
We have $Q$ is radical iff $Q=\bigcap\{P\ |\ Q\subseteq P,\ P\text{ is a prime ideal in }R\}$.  An ideal in $R_S$ is prime iff is of the form $PR_S$ for prime ideal $P$ in $R$ such that $P\cap S=\emptyset$.  Since $Q\cap S=\emptyset$, the extended ideal $QR_S$ is proper and thus contained in a maximal ideal. Localization preserves the lattice structure of the ideals which are disjoint from $S$, hence $QR_S$ is the intersection of the primes in $R_S$ containing it, i.e., it is a radical ideal. 
I prefer this approach since it is conceptual rather than computational intensive. 
