Johnson's theorem .svg anticomplementary triangle PA green The anticomplementary circle is tangent to the Johnson circles blue radius and has radius The centres of the Johnson circles lie on the lines orange from the common intersection to the vertices of the anitcomplementary triangle own Inductiveload Johnson circles