Thales ' sætning er en planimetrisætning om et sæt parallelle sekanter til et par linjer.
Hvis der på en af de to rette linjer lægges flere successivt lige store segmenter til side og gennem deres ender tegnes parallelle linjer, der skærer den anden rette linje, så vil de afskære segmenter, der er lig med hinanden på den anden rette linje.
En mere generel formulering, også kaldet proportionalsegmentsætningenParallelle sekanter danner proportionale segmenter på lige linjer :
Der er ingen begrænsninger for den gensidige opstilling af sekanter i sætningen (det gælder både for skærende linjer og for parallelle). Det er heller ikke ligegyldigt, hvor linjestykkerne er.
Thales-sætningen er et specialtilfælde af proportionalsegmentsætningen, da lige store segmenter kan betragtes som proportionale segmenter med en proportionalitetskoefficient lig med 1.
Bevis i tilfælde af ikke-parallelle linjerOvervej en variant med uforbundne par af segmenter: lad vinklen skæres af lige linjer og samtidig .
Lad os tegne en linje BC . Vinklerne ABC og BCD er ens som indre krydsninger under parallelle linjer AB og CD og sekant BC , og vinkler ACB og CBD er lig med indre krydser liggende under parallelle linjer AC og BD og sekant BC . Derefter, ifølge det andet kriterium for trekanters lighed, er trekanter ABC og DCB kongruente. Det følger heraf, at AC = BD og AB = CD . ■
Denne teorem tilskrives den græske matematiker og filosof Thales fra Milet . Ifølge legenden beregnede Thales af Milet højden af Cheops-pyramiden ved at måle længden af dens skygge på jorden og længden af skyggen af en pind af kendt højde. Det tidligste kendte skriftlige bevis for denne sætning er givet i Euklids Principia ( forslag 2 i Bog VI).
Hvis der i Thales-sætningen starter lige store segmenter fra toppunktet (denne formulering bruges ofte i skolelitteraturen), så vil den omvendte sætning også vise sig at være sand. For krydsende sekanter er den formuleret som følger:
Hvis linjer, der skærer to andre linjer (parallelle eller ej) afskærer lige store (eller proportionale) segmenter på dem begge, startende fra toppunktet, så er sådanne linjer parallelle. |
Således (se fig.) af det faktum, at , følger det, at .
Hvis sekanterne er parallelle, så er det nødvendigt at kræve, at segmenterne på begge sekanter er lig med hinanden, ellers bliver dette udsagn falsk (et modeksempel er en trapezformet gennemskåret af en linje, der går gennem basernes midtpunkter).
Denne teorem bruges i navigation: en kollision af skibe, der bevæger sig med konstant hastighed, er uundgåelig, hvis retningen fra et skib til et andet opretholdes.
Følgende udsagn er dobbelt til Sollertinskys lemma :
Lade være en projektiv overensstemmelse mellem punkterne på linjen og linjen . Så vil sættet af linjer være sættet af tangenter til et eller andet (muligvis degenereret) keglesnit . |
I tilfældet med Thales-sætningen vil keglen være et uendeligt punkt svarende til retningen af parallelle linjer.
Denne erklæring er til gengæld et begrænsende tilfælde af følgende erklæring:
Lad være en projektiv transformation af en kegle. Så vil konvolutten af sættet af linjer være en kegleformet (muligvis degenereret). |