Keywords: Johnson's theorem 2.svg anticomplementary triangle P<sub>A</sub>P<sub>B</sub>P<sub>C</sub> green The anticomplementary circle is tangent to the Johnson circles blue radius r and has radius 2r The centres of the Johnson circles lie on the lines orange from the common intersection H to the vertices of the anitcomplementary triangle own Inductiveload 2009-03-22 Johnson circles |