Lemma trojzubce , také nazývané trojlískové lemma a Mansionovo lemma , je teorém v geometrii trojúhelníku související s vlastnostmi incircle , excircle a circumcircle trojúhelníku .
Lema trojzubce se používá jako pomocné tvrzení při dokazování mnoha vět, zejména Eulerovy formule nebo dokazování existence Eulerovy kružnice .
Jméno „Mansionovo lemma“ bylo dáno na počest belgického matematika Paula Mansiona . Název „lemma trojzubce“ byl dán kvůli podobnosti se stejnojmennou zbraní konstrukce klíče pro lemma (červená na obrázcích níže).
Nechť bod trojúhelníku je středem incircle , bod je středem kružnice naproti vrcholu a bod je průsečík úsečky s obloukem opsané kružnice (viz vpravo). Potom je bod ve stejné vzdálenosti od , , a .
Jednotlivé verze tohoto prohlášení mají různá jména.
Další možností pro určení bodu je jako střed oblouku kružnice opsané, která neobsahuje bod [4] .
Myslíme tím úhly, resp. Pokud paprsek protíná opsanou kružnici v bodě , pak je to střed oblouku , úsečka je osou úhlu . Když nakreslíme úsečku , všimneme si toho
protože i mimo trojúhelník
protože a jsou si rovni, protože se spoléhají na stejný oblouk .To znamená, že trojúhelník je rovnoramenný, tedy rovnost vyplývá ze skutečnosti, že na obou těchto tětivách spočívá stejný úhel .
To jsme ukázali . Nyní dokažme, že „rukojeť“ trojzubce se rovná stejné hodnotě.
Protáhneme stranu za bod a vezmeme bod někde na tomto prodloužení . Tím myslíme , myslíme úhel
Pak musíme pochopit, že trojúhelník je rovnoramenný, tedy že .
Jedna strana,
a
protože vnější v trojúhelníku: tj.Prostřednictvím lemmatu trojzubce lze dokázat existenci Eulerova kruhu .
Uvažujme ostroúhlý trojúhelník ABC. Všimněte si, že čtyřúhelníky , , jsou vepsané (obr. 1). Proto jsou úhly stejné (obr. 2).
Z toho vyplývá, že je sečna trojúhelníku . Ze zcela podobných důvodů a také osy v tomto trojúhelníku (obr. 3). Můžete si také všimnout, že jde o vnější osy trojúhelníku (protože každá z nich je kolmá na jeho vnitřní osičku). Proto můžeme lemma trojzubce aplikovat třikrát, pro každou ze stran (obrázek 4).
Z toho dostaneme, že středy segmentů leží na kružnici opsané kolem ortotrojúhelníku . Nyní třikrát aplikujeme lemma vnějšího trojzubce (obrázek 5).
Dostaneme, že středy stran leží na kružnici opsané kolem pravoúhlého trojúhelníku.
Abychom dokázali existenci Eulerovy kružnice pro tupý trojúhelník s tupým úhlem , stačí uvažovat ostroúhlý trojúhelník s orthocentrem , a aplikovat na něj stejnou úvahu.