Setul de cercuri Johnson este format din trei cercuri de aceeași rază r care au un punct de intersecție comun H . În această configurație, cercurile au de obicei patru puncte de intersecție (puncte prin care trec cel puțin două cercuri) - acesta este punctul de intersecție comun H , prin care trec toate cele trei cercuri și un punct suplimentar pentru fiecare pereche de cercuri (vom vorbi despre ele ca intersecții pe perechi). Dacă oricare două cercuri nu se intersectează (ci doar se ating), ele au un singur punct comun - H , caz în care se consideră că Heste, de asemenea, punctul lor de intersecție pe perechi. Dacă cercurile coincid, punctul diametral opus punctului H este luat ca punct de intersecție pe perechi . Trei puncte de intersecții pe perechi ale cercurilor Johnson formează triunghiul de sprijin Δ ABC al figurii. Configurația este numită după Roger Arthur Johnson [1] [2] .
Dacă triunghiul suport inițial ABC este unghi ascuțit și predeterminat, atunci, în virtutea teoremei lui Hamilton, cele trei cercuri ale sale Johnson de raze egale sunt doar trei cercuri circumscrise a trei triunghiuri Hamilton având două vârfuri ale triunghiului suport dat ABC ca două vârfuri, iar ortocentrul H al triunghiului de sprijin ca al treilea vârf.triunghi
H este ortocentrul triunghiului ABC (atunci, în virtutea teoremei lui Hamilton, razele cercurilor Johnson sunt egale). O este centrul cercului circumscris triunghiului ABC . Ca și teorema lui Hamilton , teorema lui Johnson are sens doar pentru triunghiuri acute. Punctele J A , J B și J C sunt desemnate prin prima literă a numelui Johnson și nu sunt centrele cercurilor triunghiului ABC , care sunt notate cu litere similare.
Proprietatea 1 este evidentă din definiție.
Proprietatea 2 este, de asemenea, clară - pentru orice cerc cu raza r și orice punct P de pe acesta, cercul cu raza 2 r și centrul la P atinge cercul în punctul opus punctului P . În special, acest lucru este valabil și pentru P = H , unde cercul cu raza 2 r este cercul anticomplementar C .
Proprietatea 3 rezultă imediat din definiția asemănării.
Pentru proprietățile 4 și 5, mai întâi rețineți că oricare două dintre cele trei cercuri Johnson sunt simetrice față de dreapta care trece prin punctul H și punctul de intersecție perechi a acestor cercuri (sau despre tangenta comună în H , dacă aceste puncte coincid) și această simetrie schimbă cele două vârfuri ale triunghiurilor anticomplementare situate pe aceste cercuri. Astfel, punctele de intersecție pe perechi sunt punctele mijlocii ale unui triunghi anticomplementar, iar H se află pe perpendiculară pe punctul de mijloc al acestei laturi. Punctele de mijloc ale laturilor oricărui triunghi sunt imaginile vârfurilor triunghiului sub omotezie cu factorul -1 și centrul care coincide cu centrul de greutate al triunghiului. Aplicând această proprietate unui triunghi anti-complementar, care el însuși este obținut dintr-un triunghi Johnson printr-o homoteție cu factor 2, din compoziția homotețiilor obținem că triunghiul de susținere este similar cu triunghiul Johnson cu un factor de − 1. Deoarece o astfel de homotezie este o congruență , aceasta dă proprietatea 5 și demonstrează, de asemenea, teorema lui Johnson, deoarece triunghiurile congruente au aceleași raze circumscrise .
Proprietatea 6. S-a stabilit deja că perpendicularele pe punctele medii ale laturilor unui triunghi anticomplementar trec prin punctul H . Deoarece aceste laturi sunt paralele cu laturile triunghiului de referință, aceste perpendiculare sunt și altitudinile triunghiului de referință.
Proprietatea 7 decurge imediat din proprietatea 6, deoarece centrul de similitudine cu factorul -1 trebuie să se afle la mijloc între centrul cercului circumscris O al triunghiului de referință și punctul H . Punctul H este ortocentrul triunghiului de susținere, iar centrul său de nouă puncte este cunoscut a fi acest punct de mijloc. Având în vedere maparea simetriei centrale a ortocentrului triunghiului de referință la ortocentrul triunghiului Johnson, centrul de similitudine este, de asemenea, centrul celor nouă puncte ale triunghiului Johnson.
Există, de asemenea, o demonstrație algebrică a teoremei cercurilor lui Johnson folosind formule vectoriale simple. Există vectori , și , toate lungimile r , iar cercurile Johnson au centre la , și , respectiv. Atunci intersecțiile pe perechi sunt , și , respectiv, și este clar că punctul are o distanță r la orice punct de intersecție perechi.
Cele trei cercuri ale lui Johnson pot fi considerate ca reflexii ale unui cerc circumscris în jurul triunghiului de referință în raport cu cele trei laturi ale sale. Mai mult, atunci când este reflectat, ortocentrul H merge în trei puncte ale cercului circumscris triunghiului suport, formând vârfurile triunghiului ortocerc , centrul cercului circumferitor O este mapat la vârfurile triunghiului Johnson și linia lui Euler ( linia care trece prin O , N și H ) formează trei drepte care se intersectează în punctul X (110).
Triunghiul Johnson și triunghiul său de referință au aceleași centre de nouă puncte, aceeași linie Euler și aceleași cercuri de nouă puncte . Șase puncte - vârfurile triunghiului de referință și vârfurile triunghiului său Johnson - se află pe elipsa Johnson , care are un centru în centrul a nouă puncte și punctul X (216) al triunghiului de referință este punctul său de perspectivă . Elipsa circumscrisă și cercul circumscris au patru puncte comune - trei vârfuri ale triunghiului de referință și punctul X (110).
Și, în sfârșit, există două curbe cubice interesante descrise în literatură, care trec prin vârfurile triunghiului de sprijin și ale triunghiului său Johnson, precum și prin centrul cercului circumscris, ortocentrul și centrul celor nouă cercuri. Prima curbă este cunoscută sub numele de curba Musselmann - K 026. Această curbă trece și prin vârfurile triunghiului median și triunghiul median al triunghiului Johnson. A doua curbă este cunoscută sub numele de curba Euler a centrelor - K 044. Această curbă trece și prin șase puncte - bazele înălțimilor și bazele înălțimilor triunghiului Johnson.
Notația punctuală X ( i ) aparține clasificării lui Clark Kimberling din Encyclopedia of Triangle Points .