Quote Originally Posted by AdmiralBacon View Post
It was proven algebraically some time ago (1700's?)
I suspected as much.
Quote Originally Posted by AdmiralBacon View Post
(Also, the second link in my post was my construction using a Neusis construction)
*takes a gander* Hm, that looks extremely similar to what I'm doing. I think it's essentially the same thing, although I can't seem to discern the steps you used to construct that.
Also, what program are you using to do that?
Also also, I still can't seem to derive the algebraic proof of why that method works. Sigh.