If we know the proportion of a to b is the same as c to d and that |a| + |b| = |c| + |d|, then it must be the case that |a| = |c| and |b| = |d|.
Given:
a/b = c/d
|a| + |b| = |c| + |d|
The mathematical proof for this is not short; I recommend learning this just as a "rule" the same way you know other math formulas and rules - it's not worth the time to derive and truly understand the proof. The first equation can also be written (using cross-multiplication) as bc = ad. Let's examine this using some random numbers.
b=2, c=6, a=3, d=4. Together, these give us bc=ad or 12=12. But they won't work in the equation |a| + |b| = |c| + |d| or 3 + 2 = 6 + 4.
In order to have the relevant sets of numbers both multiply to equal each other in one configuration (bc and ad) AND add to equal each other in another configuration (a+b and c+d), we need to have a number pair that will allow us to have one of each number assigned to (bc) and also to (ad) and ALSO one of each number assigned to (a+b) and also to (c+d). This is a fancy way of saying |a| = |c| and |b| = |d|. For example:
b = 2, c = 6
a = 6, d = 2
Together, these give us bc=ad or 12=12 AND |a| + |b| = |c| + |d| or 6 + 2 = 6 + 2.