Consider the proof that $(a+b)/2$ is between $a,b \in \mathbb{R}$. The proof requires two cases, according to the definition of in-betweeness: $s$ is in-between $x,y$ if:
- Case 1: if $x<y$, then $x<s<y$.
- Case 2: if $y<x$, then $y<s<x$.
Is there a way to define betweeness that is equivalent with the above definition, but wouldn't require two cases to do the proof? I'm thinking that the proof for case #1 and case #2 are so similar (we literally only rename the variables), there must be a way to generalize the definition and do these both in one shot.
You could define "$c$ is between $a$ and $b$" as $$ (c-a)(c-b) < 0. $$
Then the proof that the midpoint is in between is one line.
You would have to show that the usual definition is a theorem.