Satz von Haruki

Satz von Haruki: $\frac{s_1}{s_2}\cdot \frac{s_3}{s_4}\cdot \frac{s_5}{s_6}=1$

Der Satz von Haruki, benannt nach Hiroshi Haruki (gest. 1997), ist ein Satz der ebenen Geometrie, der eine Streckenidentität beschreibt, die bei drei sich gegenseitig schneidenden Kreisen auftritt.

Verbindet man bei drei sich gegenseitig schneidenden Kreisen (siehe Zeichnung) die drei äußeren Schnittpunkte jeweils mit den beiden nächstgelegenen inneren Schnittpunkten, so erhält man sechs Strecken. Nummeriert man diese Strecken aufsteigend im oder gegen den Uhrzeigersinn, so gilt, dass das Produkt der Strecken mit ungeraden Nummern gleich dem Produkt mit geraden Nummer ist. Für die Strecken $s_1,s_2,s_3,s_4,s_5,s_6$ gilt also:

$s_1\cdot s_3\cdot s_5=s_2\cdot s_4\cdot s_6$

beziehungsweise

$\frac{s_1}{s_2}\cdot \frac{s_3}{s_4}\cdot \frac{s_5}{s_6}=1$

Weblinks

• Vorlage:MathWorld
• Haruki's theorem auf cut-the-knot.org