mały|Na podstawie twierdzenia o kącie między styczną a cięciwą zachodzi podobieństwo trójkątów prowadzące do zależności Twierdzenie o stycznej i siecznej – twierdzenie w geometrii euklidesowej opisujące zależność między odcinkami wyznaczonymi przez dwie sieczne przecinające się na zewnątrz okręgu.
Rozważmy sieczną , przecinającą okrąg w punktach i , oraz styczną , styczną do okręgu w punkcie . Niech proste i przecinają się w punkcie . Wówczas zachodzi zależność.
Dowód Połączmy punkt z punktami , oraz . Otrzymujemy trójkąty oraz .
Zauważmy, że , co wynika z własności kąta między styczną a cięciwą oraz jest kątem wspólnym obu trójkątów.
Stąd wynika, że . Z podobieństwa trójkątów otrzymujemy proporcję .
Po przekształceniu dostajemy: , q.e.d.
Przypisy
Kategoria:Twierdzenia o okręgach Kategoria:Geometria