Verified Exhibit · MachLib

All circles tangent to these three

The drawing is illustrative. Every centre and radius is read from the certificate — no coordinate is entered by hand. Colour is the antipodal class; solid and dashed are the two members of each class.

Exact computed solution

COMPUTED

    Where the count comes from

    Eight modes, four antipodal classes. Each class contributes two signed roots — unless its quadratic is not quadratic. Select a row to see its coefficients.

    Provenance