SammyS said:
I'm not sure about what you mean by getting a symmetrical expression with a perfect square.
It was only a vague preliminary working suspicion: since there are various trigonometrical identities involving squares I suspected the solution might involve a quadratic equation. These have two solutions. If you choose the origin appropriately you get a perfect square. I was trying to find one by a geometrical construction.
The oversight, you could call it, is that squaring is not the only function that is 1:1 but has a non-unique inverse - as pointed out by songaku #39.
I first looked for simple known standard angles and hit on almost immediately
θ = π .
I could not find any construction relating 7/20 to some standard known angle, so did the same derivation of the equation
$$cos(θ/2)(7-20sin(θ/2))=0 $$
as Neilparker #12 or songaku #25.
This equation is satisfied by θ = π as already realized. Additionally we have to find solutions that satisfy
$$7-20sin(θ/2)=0 $$
These have not been explicitly stated yet here. The solutions for θ are
θ = 2 sin
-1(7/20)
My function plotter gives me a graph like this for the function sin
-1
(and at school before we had such things my tables only went up to 90° or π/2 radians).
But we know we have to extend the range and will get two values as we see in here.
In this case if ##x## is a solution then ##(π - x)## is another solution. In the present case I get solutions approximately θ = 0.7151 and 5.568.
I think if I had solved it by just writing formulae without plotting graphs I would not have noticed the second solution. Isn't it a bit worrying that such an oversight could be a small part of a computer program or of these 300 page long proofs that mathematicians do these days?