Let's there is a value $(x, y)$ in co-domain of $RXR$. From there we can get $a=(x+y)/2$ & $b=(x-y) /2$ and $a, b \epsilon R$. Thus proves Range = Co domain... This also proves for every $(x, y)$, there is unique pair or $(a, b) $. Thus proves function is bijective.