Show these two equations are equivalent (involves sines and cosines)

1. Aug 28, 2013

chipotleaway

1. The problem statement, all variables and given/known data
Show that
$$sin(\alpha)-sin(\beta)=-\frac{v}{c}sin(\alpha+\beta)$$

is equivalent to

$$cos(\beta)=\frac{-2\frac{v}{c}+(1+\frac{v^2}{c^2})cos(\alpha)}{1-2\frac{v}{c}cos(\alpha)+\frac{v^2}{c^2}}$$

2. Relevant equations
This is the last step in the derivation of the relativistic reflection law. The first equation was derived using the principle of least time and the second is from Einstein's paper on special relativity.
$\alpha$ = angle of incidence
$\beta$ = angle of reflection
$v$ = velocity of mirror away from light
$c$ = speed of light

3. The attempt at a solution
I used the identity $sin(\alpha+\beta = sin(\alpha)cos(\beta)+cos(\alpha)sin(\beta)$ on the RHS, squared both sides, changed by the squared sines into cosines squared - some more algebra and this is the best I've got at the moment:

$$2c^2(1-sin(\alpha)sin(\beta))-(c^2-v^2)(cos^2(\alpha)+cos^2(\beta))=-2v^2cos^2(\alpha)cos^2(\beta)+2sin(\alpha)cos(\beta)sin(\beta)cos( \alpha)$$

How do I get rid of the sines?

2. Aug 28, 2013

haruspex

Is this supposed to be true without any further relationship between v/c and the two angles? Doesn't seem to be to me.
I tried writing v/c as tan(phi). The second eqn becomes
$\sin(2\phi) = \frac{\cos(\alpha)-\cos(\beta)}{1-\cos(\alpha)\cos(\beta)}$
Plugging in 0.5 and 1 for the two angles did not give the same phi as given by the first eqn.

3. Aug 29, 2013

chipotleaway

The only relations between v, c and the angles are the ones on the diagram

$$cos( \alpha) = \frac{d_0 + vt_a}{ct_a} = \frac{d_0+vt_a}{ \sqrt{(d_0+vt_a)^2+x^2)}}$$
$$cos( \beta) = \frac{d_0 + vt_a}{ct_b} = \frac{d_0+vt_a}{\sqrt{(d_0+vt_a)^2+(l-x)^2)}}$$

4. Aug 29, 2013

haruspex

From that, it would appear that there are 2 degrees of freedom for the variables, so effectively no constraints beyond the eqn in the OP. I would try plugging in some numbers for the variables and check that the equations really are equivalent.