Work Proof... Need help! I'm having trouble figuring out a proof at work, and to spare the business jargon I put it in terms of variables. Could someone help?
Prove: 
$$\frac{A-B+Y}{1-C} \cdot C +\frac{A-B+X}{1-D} \cdot D = \frac{A-B}{1-C-D} \cdot(C+D)$$
where:
$$X=\frac{A-B+Y}{1-C} \cdot C$$
$$Y=\frac{A-B+X}{1-D} \cdot D$$
 A: From the condition we get
$(1-C)X-CY=(A-B)C$ and $-DX+(1-D)Y=(A-B)D$ or
$$(1-C)(1-D)X-C(1-D)Y=(A-B)(1-D)C$$ and $$-DCX+C(1-D)Y=(A-B)CD$$ and after adding we get $((1-C)(1-D)-DC)X=(A-B)C$, which gives
$X=\frac{(A-B)C}{1-C-D}$ and $Y=\frac{(A-B)D}{1-C-D}$.
Thus, $$\frac{A-B+Y}{1-C} \cdot C +\frac{A-B+X}{1-D} \cdot D=\frac{A-B+\frac{(A-B)D}{1-C-D}}{1-C} \cdot C +\frac{A-B+\frac{(A-B)C}{1-C-D}}{1-D} \cdot D=$$
$$=(A-B)\left(\frac{1+\frac{D}{1-C-D}}{1-C} \cdot C +\frac{1+\frac{C}{1-C-D}}{1-D} \cdot D\right)=\frac{(A-B)(C+D)}{1-C-D}$$
A: In the future, you can prove this sort of thing by typing it into free websites like Wolframalpha.com
For instance, you're trying to prove something like $\alpha + \beta = \gamma$, so you could type into the webpage $\alpha + \beta - \gamma$.  This will simplify to 0, which proves the equation you wanted.
You could also plug in lots and lots of points.  If you do this literally randomly (use some random number generator to plug in numbers between say 0 and 1).  If the numbers are random, then for many equations, you can actually prove that they always work simply because they work when you plug in some random numbers.
A third option that works for things like this would be to multiply everything in sight to get rid of all the denominators.  Then just multiply out everything and things will just cancel like crazy.  This is very time-consuming to do by hand however, and people are prone to mistakes.  [This is what the webpage would do though]
