User:Kmhkmh/sandbox11

The Tucker circles of a triangle, named after Robert Tucker (1832–1905), are a family of circles associated with the given triangle and include triangle's circumcircle, Taylor circle, first, second and third Lemoine circles.

Definition
Man beginnt mit einem Punkt auf einer der (verlängerten) Seiten eines Dreiecks und konstruiert dann sukzessive fünf weitere Punkte, indem man abwechselnd die Parallele oder Antiparallele zu einer Dreiecksseite durch den letzten erhaltenen Punkt mit der (verlängerten) anderen Dreiecksseite schneidet und so den nächsten Punkt erhält. Beginnt man zum Beispiel mit einem Punkt $$Q_c$$ auf $$AB$$, dann schneidet die Antiparallele zu $$AC$$ durch $$Q_c$$ $$BC$$ in  $$P_a$$. Die Parallele zu $$AB$$ durch $$P_a$$ schneidet $$AC$$ in $$Q_b$$. Die Antiparallele zu $$BC$$ durch $$Q_b$$ schneidet $$AB$$ in $$P_c$$. Die Parallele zu $$AC$$ durch $$P_c$$ schneidet $$BC$$ in $$Q_a$$. Die Antiparallele zu $$AB$$ durch $$Q_a$$ schneidet $$AC$$ in $$P_b$$. Schließlich schneidet die Parallele zu $$BC$$ durch $$P_b$$ $$AB$$ in $$Q_c$$. Man ist also nach abwechselnd je drei Parallelen und Antiparallelen wieder am Ausgangspunkt $$Q_c$$ angekommen. Dies ist eine allgemeine Eigenschaft eines so konstruierten Streckenzuges $$Q_cP_aQ_bP_cQ_bP_bQ_c$$, zudem liegen dessen sechs Punkte auf einem gemeinsamen Kreis, dem Tucker-Kreis. Das durch geschlossenen Streckenzug gebildete Hexagon wird als Tucker-Hexagon bezeichnet.

Eigenschaften und Beziehungen
Im Folgenden bezeichnet $$K $$ den Lemoinepunkt und $$O$$ den Umkreismittelpunkt eines Dreiecks $$\triangle ABC $$ mit einem Tucker-Hexagon $$Q_cP_aQ_bP_cQ_bP_b$$, dessen antiparallele Seiten $$Q_cP_a$$, $$Q_bP_c$$ und $$Q_aP_b$$ sind. $$T$$ ist der Mittelpunkt des zugehörigen Tucker-Kreises. $$L$$ ist der Schnittpunkt der Geraden $$AK$$ mit $$Q_bP_c$$, $$M$$ der Schnittpunkt der Geraden $$BK$$ mit $$Q_cP_a$$ und $$N$$ der Schnittpunkt der Geraden $$CK$$ mit $$Q_aP_b$$. $$H_a $$, $$H_b $$ und $$H_c $$ sind die Fußpunkte der Höhen des Dreiecks $$\triangle ABC $$. Mit diesen Bezeichnungen gelten die folgenden Aussagen:


 * Die drei antiparallelen Seiten des Tucker-Hexagons sind gleich lang, das heißt, es gilt: $$|Q_bP_c|=|Q_cP_a|=|Q_aP_b| $$. Zudem werden sie von den Verbindungsgeraden der Ecken mit dem Lemoinepunkt halbiert, also: $$|Q_bL|=LP_c|=|Q_cM|=|MP_a|=|Q_aN|=|NP_b| $$.


 * Die drei antiparallelen Seiten des Tucker-Hexagons sind parallel zu den Seiten des Höhenfußpunktdreiecks $$\triangle H_aH_bH_c $$, das heißt, es gilt: $$Q_bP_c \parallel H_bH_c $$, $$Q_cP_A \parallel H_cH_a $$ und  $$Q_aP_b \parallel H_aH_b $$.


 * Das Dreieck $$\triangle LNM $$ ist eine zentrische Streckung des Dreiecks $$\triangle ABC $$ mit dem Lemoinepunkt $$K $$ als Streckzentrum und dem Streckfaktor $$\frac{|KL|}{|KA|}=\frac{|KM|}{|KB|}=\frac{|KN|}{|KC|}$$.


 * Die Verbindungsgeraden der Eckpunkte mit dem Umkreismittelpunkt stehen senkrecht auf den (verlängerten) anitparallelen Seiten des Tucker-Hexagons. Es gilt: $$Q_bP_c \perp AO $$,  $$Q_cP_a \perp BO $$ und $$Q_aP_b \perp CO$$.


 * Der Mittelpunkt $$T$$ eines Tucker-Kreises liegt auf $$KO $$, der Verbindungsgeraden von Lempoinepunkt und Umkreismittelpunkt. Dabei entspricht das Verhältnis $$\frac{|KT|}{|KO|}$$ dem Streckfaktor der zentrischen Streckung, die das Dreieck$$\triangle ABC $$ in das Dreieck $$\triangle LNM $$ überführt. Es gilt also $$\frac{|KT|}{|KO|}=\frac{|KL|}{|KA|}=\frac{|KM|}{|KB|}=\frac{|KN|}{|KC|}$$.


 * Die Brocard-Inellipse des Dreiecks $$\triangle ABC $$ ist die Enveloppe der Tucker-Kreise des Dreiecks.


 * Den Umkreis erhält man als Tucker-Kreis, wenn das Tucker-Hexagon $$Q_cP_aQ_bP_cQ_bP_b $$ in das Dreieck $$ \triangle ABC$$ übergeht, also $$Q_b=P_c=A $$, $$Q_c=P_a=A $$ und $$Q_a=P_b=C $$ gilt.

Parametrisiert man die Schar der Tucker-Kreise eines Dreiecks anhand der orientierten Länge der Strecke $$Q_bP_c$$:

t= \begin{cases} \ \ \, |Q_bP_c|, & \text{ falls } A \notin \text{ Strecke } P_cB \\ -|Q_bP_c|, & \text{ falls } A \in \text{ Strecke } P_cB \end{cases} $$

Dann ergibt sich für den Radius eines Tucker-Kreises die folgende Formel in Abhängigkeit von $$t$$:
 * $$R(t)=\sqrt{ \frac{t^2 (a^2b^2+b^2c^2+a^2c^2)-t(a^2+b^2+c^2)abc+a^2b^2c^2}

{(a+b+c)(-a+b+c)(a-b+c)(a+b-c)} }$$

Für spezielle Tucker-Kreise ergeben sich dabei die Parameter in der Tabelle.