Množina Johnsonových kružnic se skládá ze tří kružnic o stejném poloměru r , které mají jeden společný průsečík H . V této konfiguraci mají kružnice obvykle čtyři průsečíky (body, kterými procházejí alespoň dvě kružnice) - jedná se o společný průsečík H , kterým procházejí všechny tři kružnice, a další bod pro každou dvojici kružnic (budeme mluvit o nich jako párové průsečíky). Pokud se libovolné dvě kružnice neprotínají (ale pouze dotýkají), mají pouze jeden společný bod - H , v takovém případě se má za to, že Hje také jejich párovým průsečíkem. Pokud se kružnice shodují, bod diametrálně protilehlý k bodu H se považuje za párový průsečík . Tři body párových průsečíků Johnsonových kružnic tvoří podpůrný trojúhelník Δ ABC obrázku. Konfigurace je pojmenována po Rogeru Arthuru Johnsonovi [1] [2] .
Pokud je původní podpěrný trojúhelník ABC ostroúhlý a předem určený, pak na základě Hamiltonovy věty jsou jeho tři Johnsonovy kružnice o stejných poloměrech jednoduše tři opsané kružnice tří Hamiltonových trojúhelníků , které mají dva vrcholy daného podpůrného trojúhelníku ABC jako dva vrcholy, a ortocentrum H podpůrného trojúhelníku jako třetí vrcholový
H je ortocentrum trojúhelníku ABC (pak, na základě Hamiltonovy věty, jsou poloměry Johnsonových kružnic stejné). O je střed kružnice opsané trojúhelníku ABC . Stejně jako Hamiltonův teorém má Johnsonova věta smysl pouze pro ostré trojúhelníky. Body J A , J B a J C jsou označeny prvním písmenem jména Johnson a nejsou středy kružnic trojúhelníku ABC , které jsou označeny podobnými písmeny.
Vlastnost 1 je zřejmá z definice.
Vlastnost 2 je také jasná - pro jakoukoli kružnici o poloměru r a jakýkoli bod na ní P se kružnice s poloměrem 2 r a středem v P dotýká kružnice v bodě protilehlém k bodu P . Zejména to platí také pro P = H , kde kružnice o poloměru 2 r je antikomplementární kružnice C .
Vlastnost 3 vyplývá bezprostředně z definice podobnosti.
Pro vlastnosti 4 a 5 si nejprve povšimněte, že libovolné dvě ze tří Johnsonových kružnic jsou symetrické podle přímky procházející bodem H a bodem párového průsečíku těchto kružnic (nebo kolem společné tečny v H , pokud se tyto body shodují) a tato symetrie zamění dva vrcholy antikomplementárních trojúhelníků ležících na těchto kružnicích. Průsečíky párů jsou tedy středy antikomplementárního trojúhelníku a H leží na kolmici ke středu této strany. Středy stran jakéhokoli trojúhelníku jsou obrazy vrcholů trojúhelníku pod homothety s faktorem -1 a středem shodným s těžištěm trojúhelníku. Aplikujeme-li tuto vlastnost na antikomplementární trojúhelník, který sám získáme z Johnsonova trojúhelníku homotetií s faktorem 2, ze složení rovností dostaneme, že podpůrný trojúhelník je podobný Johnsonovu trojúhelníku s faktorem − 1. Protože taková homothety je kongruence , dává to vlastnost 5 a také dokazuje Johnsonovu větu, protože shodné trojúhelníky mají stejné opsané poloměry .
Vlastnost 6. Již bylo zjištěno, že kolmice ke středům stran antikomplementárního trojúhelníku procházejí bodem H . Protože tyto strany jsou rovnoběžné se stranami referenčního trojúhelníku, jsou tyto kolmice také výškami referenčního trojúhelníku.
Vlastnost 7 bezprostředně vyplývá z vlastnosti 6, protože střed podobnosti s faktorem -1 musí ležet uprostřed mezi středem kružnice opsané O referenčního trojúhelníku a bodem H . Bod H je ortocentrum podpůrného trojúhelníku a jeho devítibodový střed je známý jako tento střed. S ohledem na středovou symetrii mapující ortocentrum referenčního trojúhelníku na ortocentrum Johnsonova trojúhelníku je střed podobnosti také středem devíti bodů Johnsonova trojúhelníku.
Existuje také algebraický důkaz Johnsonovy věty o kružnicích pomocí jednoduchých vektorových vzorců. Existují vektory , a , všechny délky r a Johnsonovy kružnice mají středy v , respektive . Potom párové průsečíky jsou , respektive , a je jasné, že bod má vzdálenost r k jakémukoli párovému průsečíku.
Johnsonovy tři kružnice lze považovat za odrazy kružnice opsané kolem referenčního trojúhelníku vzhledem k jeho třem stranám. Navíc, když se ortocentrum H odrazí, jde do tří bodů na kružnici opsané kolem podpůrného trojúhelníku a tvoří vrcholy trojúhelníku ortokruhu , střed opsané kružnice O je mapován na vrcholy Johnsonova trojúhelníku a jeho Eulerova čára ( přímka procházející O , N a H ) tvoří tři přímky protínající se v bodě X (110).
Johnsonův trojúhelník a jeho referenční trojúhelník mají stejné devítibodové středy, stejnou Eulerovu čáru a stejné devítibodové kružnice . Šest bodů - vrcholy referenčního trojúhelníku a vrcholy jeho Johnsonova trojúhelníku - leží na Johnsonově elipse , která má střed ve středu devíti bodů a bod X (216) referenčního trojúhelníku je jejím perspektivním bodem . Opsaná elipsa a kružnice opsané mají čtyři společné body - tři vrcholy referenčního trojúhelníku a bod X (110).
A nakonec jsou v literatuře popsány dvě zajímavé kubické křivky, procházející vrcholy podpůrného trojúhelníku a jeho Johnsonova trojúhelníku a také středem kružnice opsané, ortocentrem a středem devíti kružnic. První křivka je známá jako Musselmannova křivka - K 026. Tato křivka také prochází vrcholy středního trojúhelníku a středního trojúhelníku Johnsonova trojúhelníku. Druhá křivka je známá jako Eulerova křivka středů - K 044. I tato křivka prochází šesti body - základnami výšek a základnami výšek Johnsonova trojúhelníku.
Bodový zápis X ( i ) patří do klasifikace Clarka Kimberlinga v Encyklopedie bodů trojúhelníku .