A șasea lemă cercului [1] afirmă următoarele.
Într-un patrulater înscris în (primul) cerc , prin patru perechi de vârfuri și , și , și , și desenați un cerc (încă patru cercuri) în așa fel încât punctele intersecției lor perechi să se afle în interiorul primului cerc. Apoi întindeți-vă pe un (al șaselea) cerc . |
Figura din dreapta de mai jos va corespunde ultimei afirmații a teoremei, dacă este notat cu .
Teorema de mai sus este numită și teorema lui Miquel în șase cercuri, fără referire la un patrulater specific (a se vedea figura de mai jos). Fie 4 puncte, „A”, „B”, „C” și „D”, și 4 cercuri se intersectează în perechi în aceste puncte, precum și în alte 4 puncte W , X , Y și Z . Apoi ultimele 4 puncte se află pe un cerc comun. Această teoremă este cunoscută ca „teorema celor șase cercuri”’ [2] (vezi figura).
Această teoremă este uneori numită teorema celor patru cercuri și este atribuită lui Jakob Steiner, deși singura dovadă publicată cunoscută a fost dată de Miquel [3] .
Wells se referă la această teoremă ca „teorema lui Miquel” [4]
În mod interesant, o generalizare suplimentară a acestei teoreme la Lema pe al șaptelea cerc este imposibilă. Acest lucru este indicat de următorul contraexemplu sub forma unei figuri din dreapta, luată din secțiunea punctului Miquel (vezi paragraful „ Teorema lui Miquel pentru un pentagon (pentru o stea cu cinci colțuri) ”). Acest lucru este indicat de următoarea afirmație evidentă:
„Dacă 5 cercuri (sunt negre în figură) au 5 puncte ale intersecției lor perechi M, N, P, R, Q , situate pe un cerc (albastru) (6 cercuri în total), atunci din aceasta, în general În caz contrar, deloc rezultă că alte 5 puncte (nemenționate mai sus) ale intersecției lor perechi A, B, C, D, E se vor afla și ele pe același cerc (pe al 7-lea cerc))." În figură, acest lucru este destul de evident, deoarece pentagonul ABCDE nu este în mod clar înscris în cerc (al 7-lea la rând).