I know what happens because i played around with software, but i cant see an easy way why?
Now, I cant see how you got a neat form of the x coord of C! I get a very messy expression..
Ok ..so you rationalised a surd. Is there a Geometric way of looking at this? If I change the circle the x coord of C appears to be double the diameter.