Thalesova věta je planimetrická věta o množině rovnoběžných sečnic k páru přímek.
Pokud je na jedné ze dvou přímek položeno několik za sebou následujících stejných segmentů a jejich konce jsou nakresleny rovnoběžné čáry, které protínají druhou přímku, odříznou navzájem stejné segmenty na druhé přímce.
Obecnější formulace, nazývaná také teorém proporcionálního segmentuParalelní sečny tvoří proporcionální segmenty na přímkách :
Ve větě nejsou žádná omezení pro vzájemné uspořádání sečen (platí jak pro protínající se přímky, tak pro rovnoběžné). Nezáleží také na tom, kde jsou úsečky.
Thalesova věta je speciálním případem věty o proporcionálních segmentech, protože stejné segmenty lze považovat za proporcionální segmenty s koeficientem proporcionality rovným 1.
Důkaz v případě neparalelních vedeníZvažte variantu s nesouvislými dvojicemi segmentů: nechte úhel protínat přímky a zároveň .
Nakreslíme čáru BC . Úhly ABC a BCD jsou stejné jako vnitřní kříže ležící pod rovnoběžkami AB a CD a sečna BC a úhly ACB a CBD jsou stejné jako vnitřní kříže ležící pod rovnoběžkami AC a BD a sečnou BC . Potom podle druhého kritéria rovnosti trojúhelníků jsou trojúhelníky ABC a DCB shodné. Z toho vyplývá, že AC = BD a AB = CD . ■
Tato věta je připisována řeckému matematikovi a filozofovi Thalesovi z Milétu . Podle legendy vypočítal Thales z Milétu výšku Cheopsovy pyramidy tak, že změřil délku jejího stínu na zemi a délku stínu hole známé výšky. Nejdříve známý písemný důkaz tohoto teorému je dán v Euklidově Principia ( Proposition 2 knihy VI).
Pokud v Thalesově teorému stejné segmenty začínají od vrcholu (tato formulace se často používá ve školní literatuře), pak se obrácená věta také ukáže jako pravdivá. Pro protínající se sečny je to formulováno takto:
Pokud čáry protínající dvě další čáry (paralelní nebo ne) odříznou stejné (nebo proporcionální) segmenty na obou z nich, počínaje vrcholem, pak jsou takové čáry rovnoběžné. |
Tedy (viz obr.) z toho, že , vyplývá, že .
Jsou-li sečny rovnoběžné, pak je nutné požadovat, aby si úsečky na obou sečnech byly navzájem rovné, jinak se toto tvrzení stává nepravdivým (protipříkladem je lichoběžník protnutý úsečkou procházející středy základen).
Tato věta se používá v navigaci: kolize lodí pohybujících se konstantní rychlostí je nevyhnutelná, pokud je zachován směr z jedné lodi na druhou.
Následující tvrzení je duální k Sollertinského lemmatu :
Dovolit být projektivní korespondence mezi body čáry a čáry . Pak množina čar bude množinou tečen k nějaké (možná degenerované) kuželosečce . |
V případě Thalesovy věty bude kuželosečkou bod v nekonečnu odpovídající směru rovnoběžných čar.
Toto prohlášení je zase omezujícím případem následujícího prohlášení:
Nechť je projektivní transformace kuželosečky. Pak bude obálka množiny čar kuželosečka (možná degenerovaná). |