# Symbolic proof of identity

1. Apr 16, 2008

### Orion1

I am having difficulty symbolically resolving the LHS of this identity algebraically:

$\frac{r}{2} \left[ \left(8 \pi P(r) + \frac{1}{r^2} \right) \frac{r}{r - 2u} - \frac{1}{r^2} \right] = \frac{4 \pi r^3 P(r) + u}{r(r - 2u)}$

$\left(4 \pi r P(r) + \frac{1}{2r} \right) \frac{r}{r - 2u} - \frac{1}{2r} = \frac{4 \pi r^3 P(r) + u}{r(r - 2u)}$

$\left( 4 \pi r^2 P(r) + \frac{1}{2} \right) \frac{1}{r - 2u} - \frac{1}{2r} = \frac{4 \pi r^3 P(r) + u}{r(r - 2u)}$

$\frac{4 \pi r^2 P(r)}{r-2 u}+\frac{1}{2 (r-2 u)}-\frac{1}{2 r} = \frac{4 \pi r^3 P(r) + u}{r(r - 2u)}$

Any collaboration would be greatly appreciated.

Last edited: Apr 16, 2008
2. Apr 16, 2008

### Orion1

Attempt to resolve LHS with RHS:
$\frac{4 \pi r^2 P(r)}{r-2 u}+\frac{1}{2 (r-2 u)}-\frac{1}{2 r} = \frac{4 \pi r^2 P(r)}{r - 2u} + \frac{u}{r(r - 2u)}$

Identity:
$\frac{1}{2 (r-2 u)}-\frac{1}{2 r} = \frac{u}{r(r - 2u)}$

Factor:
$\frac{1}{2} \left( \frac{1}{r - 2u} - \frac{1}{r} \right) = \frac{u}{r(r - 2u)}$
$u = \frac{r(r - 2u)}{2} \left( \frac{1}{r - 2u} - \frac{1}{r} \right)$
$\frac{1}{2} [r - (r - 2u )] = u$
$u = u$

Resigned.

Last edited: Apr 16, 2008
3. Apr 16, 2008

Put the left-hand side over a common denominator. You're nearly there!

4. Apr 16, 2008

### Hurkyl

Staff Emeritus

Why resign? In the domain where your steps were reversible, doesn't reversing your steps do exactly what you want?

5. Apr 16, 2008

### Orion1

LHS over common denomonator:
$\frac{8 \pi r^3 P(r)}{2r (r-2 u)}+\frac{r}{2r (r - 2 u)}-\frac{r - 2u}{2 r(r - 2u)} = \frac{4 \pi r^3 P(r) + u}{r(r - 2u)}$

$\frac{8 \pi r^3 P(r) + r - (r - 2u)}{2 r(r - 2u)} = \frac{4 \pi r^3 P(r) + u}{r(r - 2u)}$

$\frac{8 \pi r^3 P(r) + 2 u}{2 r (r-2 u)} = \frac{4 \pi r^3 P(r) + u}{r(r - 2u)}$

$\boxed{\frac{4 \pi r^3 P(r) + u}{r(r - 2u)} = \frac{4 \pi r^3 P(r) + u}{r(r - 2u)}}$

Affirmative, there was nothing left to prove at that point, hence resign. However the LHS common denominator proof approach is what I was searching for.

Thanks johnshade, you just helped me solve a PHD level equation!

Last edited: Apr 16, 2008