I should clarify at the outset that this method is not due to me. I don't know the original source, I came across it on a site dedicated to GeoGebra worksheets. The worksheet itself just contained the method with no proof (other than the demonstration that it worked). It piqued my interest for two reasons: one, I've been interested in ruler and compass constructions for a little while (having written a LaTeX package for drawing them); and two, I've been teaching about quadratic equations quite a bit recently.
My natural mathematical inclination meant that I didn't want to simply accept that it worked but wanted to figure out why for myself. Moreover, as a former geometer then a simple algebraic proof would never suffice and so I wanted a diagram that would show why it worked. I now have that so this is a description of the method together with the diagrams to prove it.
2 Solving Quadratics with Ruler and Compass
The method is simple. Consider a quadratic of the form . Our starting information is the origin and points at distances , , and from the origin. We can assume that the points are at , , and respectively (if not, we construct them to be so quite simply). Thus our initial setup looks like Figure 1.
Construct the point (one method is to construct perpendicular bisectors of the axes at and and then take the intersection). This is done in Figure 2.
Construct the midpoint of and as in Figure 3.
Draw the circle with centre at that midpoint which passes through (and thus also ), as shown in Figure 4.
The intersections of this circle with the –axis are the solutions of the quadratic (and if there are no intersections then there are no solutions), see Figure 5.
If starting with the more general quadratic , the initial step is to divide and by and change the sign of . The latter is cosmetic: it is simpler to work with the negative of the –coefficient than the –coefficient itself. The former is because going from an –coefficient of to a coefficient of is achieved by a scaling in the –direction only and therefore the desired circle becomes an ellipse. As this is not constructible with a ruler and compass, it is necessary to undo this scaling before applying the method.
3 Why it Works
The secret to why it works lies in cyclic quadrilaterals. There are two quadrilaterals that are constructed from the coefficients of the quadratic and its roots (and the point ). These quadrilaterals are cyclic, meaning that the vertices of each lie on a circle called the circumcircle. In fact, the circumcircles are the same and that is the key to finding the roots.
The first quadrilateral is an isosceles trapezium. The four points are the two roots (lying on the –axis) and the points and . Let us call the roots and . This trapezium is illustrated in Figure 6.
Note that all four points lie on the quadratic curve since and . The roots sum to so they lie equi-distant from the point . The midpoint of the lower line is . Hence the trapezium is isoscelene, and thus is cyclic. Note that we have used the fact that the sum of the roots is .
To construct the other quadrilateral, we use the fact that the product of the roots is . When working with ruler and compass constructions, multiplication involves constructing similar triangles. So we construct some similar triangles. All of the triangles have as one vertex. Then the four triangles have other vertices consequetive pairs from the list , , , and where the list is considered cyclically, as in Figure 7.
The triangles and are similar since . For the same reason the other two triangles are similar. This means that the quadrilateral formed by the outer four vertices has the property that opposite angles add up to and this implies that it is cyclic.
The two cyclic quadrilaterals share three vertices, namely and the two roots, and therefore their circumcircles coincide. From the first description, the points and lie on the circle and so the –coordinate of the centre is . From the second description, the points and lie on the circle and so the –coordinate of the centre is .
Thus the centre has coordinate . As we have assumed that we are given the lengths , , and we can easily construct this centre. We can also construct a point on its circumference, and thus can construct the circle. By construction, where it intersects the –axis are the roots of the polynomial.
That it is possible to solve quadratics with ruler and compass is not a surprise. The quadratic formula involves nothing more involved than addition, multiplication, and square roots, all of which are constructible. What is pleasantly surprising is the simplicity of the method. Indeed, if the axes and the points and are assumed given at the start then the method involves remarkably few "moves" and might well appeal to the more geometrically minded student who is learning about solving quadratics.