Let's start from the begginning.
We have the equation :



As recommended by Mr Penrose, we first verify this equation multiplying on both sides with c+id :



Then we develop separating reals and complex :



And there we are, with :





Now the other part of the exercise is not as quick as this one but still interesting :



But now we can use the relation :



So we can rewrite the previous equality as :



And we find :



This is a final equality, because we can get it explaining the left hand side or simplifying the right hand side.

I think you made a small typing mistake, changing a plus sign with a minus sign, so the last equation should be:



Or simply:



P.S.: Already corrected in the original post.

Thank you ZZR i didn't noticed it.

ZZR
I think your on the left hand side should be
vasco

It looks as if the reduction labelled "Then we develop separating reals and complex" includes an intermediate step. Could someone please break this one out?

Many thanks -

Here goes:
All you do is multiply out the brackets as you would in real algebra, as follows:





since







Hope this helps.

Vasco

Thanks for the help.

There is an easier way to do this: Simply multiply the left hand side by (c-id) / (c-id), and after a shorter algebra you get the right hand side. You can multiply only the left hand side because you are multiplying by one.