Proposition: $f:[a,b] \to \mathbb{R}$ is one to one only if $f$ is strictly monotone.
Proof: Suppose, the statement is false. Then, for some $c, d \in (a,b)$, $f(d)=\sup f=M, f(c)= \inf f=m $ [Without loss of generality. Suitable adjustments are made when either of $c, d$ coincides with on of the boundary points]. $[c,d] \subset [a,b]$. We need to show that for at least one $\xi \in [c,d]$, $f(\xi)=f(\eta), \eta \in [a,b]\cap[c,d]^c=I$.
Again, suppose, there does not exist such a point. Hence, $\forall \eta \in I$, $f(\eta)\notin [m,M]\implies f(\eta) < m $ or, $f(\eta)>M$, a contradiction .
Hence, both $c, d$ must coincide with $a$ and $b$ [in some order].
Is this correct?