0
$\begingroup$

I want to do a proof by contradiction. You guys let me know if I goofing up.

1 Answers 1

3

Suppose $f$ is non-constant. Since $f$ is continuous, it satisfies the Intermediate value theorem [in the most general sense, $f$ satisfies the theorem as long as $f$ is a mapping from any connected space $M$ to $\mathbb R$].

Pick any two irrational numbers $a in the image of $f$. Since $f$ satisfies the Intermediate value theorem, then $f$ attains all the intermediate values from $[a,b]$. We know that between any two irrationals, lies a rational--a contradiction. $f$ has a value that is not irrational.

This means the assumption of $f$ being non-constant is false. QED

  • 0
    No, it’s fine the way you’ve worded it now, as long as your readers know which intermediate value theorem you’re talking about.2012-11-05