my proof:
if x and y are two natural numbers then

is equal to the number of multiples of y less than or equal to x.
Take all the numbers

and

for the all the i<b-1 and j<a-1 and put the former in a set, A and the latter in a set B. let

and

.
To compute

what we need to do is take a number from set A and count how many numbers there are in set B that are less than that number (it cannot possibly be equal to some number in B since gcd(a,b)=1). Do this for all numbers in set A and then add the counts together. (test this algorithm out yourself; perhaps by putting all the numbers from both sets on one number line and labelling the ones from A and B differently).
Similair procedure for S_b
Now we see that what we are actually doing is taking every possible pair of the form (ai, bj) and deciding whether it contributes to

or S_b. This is decided by whether ai<bj (remember, cannot possibly be equal so one is going to be bigger than the other).
Now lets call C the set of pairs (ai,bj) that contribute to

(that is, ai>bj), and D the set of pairs (ai,bj) that contribute to S_b (that is, aj<bj).
We wish to prove that C and D have the same number of elements. The proof of this was inspired by a lemma that came from plotting the ai's and bj's on cartesian plane, but I'll spare you the boredom.
If
<b(a-j))
then

and the converse is true.
What this means is that if (ai, bj) is in C then (a(b-i), b(a-j)) is in D and vice versa.
This means that each pair in C has a unique partner in set D, and each pair in set D has a unique partner in set C. So the two sets have same number of elements, in other words there is a bijection between the two.
Exenstion: Find the value of these sums in terms of a and b.