Max is Half of Sum Plus Absolute Difference

Theorem
For all numbers $a, b$ where $a, b$ in $\N, \Z, \Q$ or $\R$:
 * $\max \set {a, b} = \frac 1 2 \paren {a + b + \size {a - b} }$