<p>Two more cents.
Actually, you can start with something and show that it leads to something true, and that will prove the original statement. There is fine print though:
all the transformations must be identical.</p>
<p>You can skip the explanations and examples and go straight to the end of this post.</p>
<p>====================
If x = y, then x<em>c = y</em>c,
and another way around,
x<em>c = y</em>c -> x = y,
if c /= 0 (/ stands for “not”).
Multiplying by non-zero is reversible.</p>
<p>Multiplying both x and y by 0 is not reversible, because you can’t divide by 0, therefore
x<em>0 = y</em>0 /-> x = y.</p>
<p>
[quote]
1 = 2
Multiply by 0.
0 = 0
Therefore, 1=2
</p>
<p>A common name for reversible transformations is identical transformations.
You can use non-identical transformations for solving equations, but you always have to check your answers.</p>
<p>One typical non-identical transformation is squaring both sides of an equation.
This operation is not reversible, because
a = b -> a^2 = b^2, but
a^2 = b^2 /-> a = b.
For example, 1^2 = (-1)^2…</p>
<p>You can’t prove 1 = -1 by squaring both sides, just as you can’t prove this “identity by multiplying both sides by 0. :(</p>
<p>Back to squaring:
Solving sqrt(x + 1) = x - 1:
x + 1 = x^2 – 2x + 1
x^2 – 3x = 0
x(x – 3) = 0
x=0 or x=3.
x=0 is the extraneous root, which crept in because of non-identical transformation.</p>
<h1>Let’s get back to the subject.</h1>
<p>brand_182 and Tsenguun applied identical transformations without explicitly stating that
(1 + cosx - sinx) /= 0
and
cosx /= 0.</p>
<p>Unfortunately, TruthfuLie (or his teacher?) set a limitation:
[quote]
this problem … requires that you work it out from the left side.
[/quote]
That makes mathwith and me the good guys. :D</p>