Věta o vepsané kružnici

Věta o vepsané kružnici pochází z japonského sangaku a odkazuje na následující konstrukci: řada paprsků je vedena od bodu k dané přímce tak, že kružnice vepsané do výsledných trojúhelníků tvořených sousedními paprsky a přímkou ​​jsou stejné. Na obrázku definují stejné modré kruhy úhel mezi paprsky, jak je popsáno výše.

Prohlášení věty

Věta říká, že s výše popsanou konstrukcí jsou si rovny i kružnice vepsané do trojúhelníků tvořených paprsky skrz jeden (tj. získaný spojením dvou sousedních trojúhelníků), přes dva atd. Případ sousedních trojúhelníků je na obrázku znázorněn zelenými kroužky: všechny mají stejné rozměry.

Ze skutečnosti, že tvrzení věty nezávisí na úhlu mezi počátečním paprskem a danou přímkou, lze usuzovat, že věta je více o počtu než o geometrii a měla by se vztahovat k funkci spojitého měřítka, která určuje vzdálenost mezi paprsky. Ve skutečnosti je tato funkce hyperbolický sinus .

Lemma

Věta je přímým důsledkem následujícího lemmatu .

Předpokládejme, že n-tý paprsek má úhel k normále pro základní čáru. Pokud jsou parametrizovány podle rovnosti , pak hodnoty , kde a jsou reálné konstanty, definují posloupnost paprsků, které splňují podmínky v kruhu (viz výše), a navíc jakoukoli sekvenci paprsků, které splňují tyto podmínky, lze získat pomocí vhodnou volbou parametrů a .

Důkaz lemmatu

Na obrázku jsou čáry PS a PT sousední paprsky mající úhly as přímkou ​​PR kolmou k základní čáře RT.

Středem O kružnice vepsané do trojúhelníku PST nakreslete čáru QY rovnoběžnou se základní čarou. Tato kružnice je tečnou k paprskům v bodech W a Z. Segment PQ má délku a segment QR má délku , která se rovná poloměru kružnice vepsané.

Potom je OWX podobné PQX, OZY je podobné PQY a z XY = XO + OY dostaneme

Tento poměr na množině úhlů vyjadřuje podmínku rovnosti vepsaných kružnic.

Abychom lemma dokázali, nastavili jsme . Tento výraz lze převést na .

Pomocí rovnosti aplikujeme další pravidla pro a a kontrolujeme , že vztah rovnosti kružnic je splněn výrazem

Získali jsme výraz pro parametr z hlediska geometrických veličin a . Dále, definováním získáme výraz pro poloměry vepsaných kružnic vytvořených výběrem každého N -tého paprsku jako strany trojúhelníku:

Viz také

Literatura