This question was asked here, but the question wasn't asking for an answer, just a clarification on the proof by contradiction they already had, so I'm reposting it to ask for help arriving at the answer.
Because the asker above said they proved it by contradiction, that is what I'm attempting. But I'm having issues wrapping my brain around the concept of set measurability. So let's give it a good college try with what I can understand.
For clarity, $\mu$ is an outer measure.
A is nonmeasurable, so $\exists B \subseteq X$ such that $\mu (B) \ne \mu (B \bigcap A) + (B \bigcap A^c)$.
E is measurable, so $\mu (B) = \mu (B \bigcap E) + (B \bigcap E^c)$.
This essentially means $\mu (B) \ge \mu (B \bigcap E) + (B \bigcap E^c)$ (Since monotonicity is alredy implied by the definition of outer measure).
So we can attempt a proof (or the start of one) by contradiction.
Assume $\mu (E \setminus A)=0$. So $E \setminus A$ is a null set.
So $\mu (B) \ge \mu (B \bigcap E) + (B \bigcap E^c)$. I assume I'm supposed to show a contradiction using that A is nonmeasurable. I'm unsure how.
Another way I think could work would be to use: $\mu (E \setminus A)= \mu (E \bigcap A^c) = 0$ and arrive at a contradiction given that A is nonmeasurable, but again, I'm unsure how.
I just need some direction from here. Thank you in advance for any advice.