Teorema lui Thales este o teoremă de planimetrie pe o mulțime de secante paralele la o pereche de drepte.
Dacă pe una dintre cele două drepte sunt așezate deoparte mai multe segmente succesive egale și prin capetele lor sunt trasate linii paralele care intersectează a doua linie dreaptă, atunci acestea vor tăia segmente egale între ele pe a doua linie dreaptă.
O formulare mai generală, numită și teorema segmentului proporționalSecantele paralele formează segmente proporționale pe linii drepte :
Nu există restricții privind aranjarea reciprocă a secantelor în teoremă (este adevărat atât pentru drepte care se intersectează, cât și pentru cele paralele). De asemenea, nu contează unde sunt segmentele de linie.
Teorema Thales este un caz special al teoremei segmentelor proporționale, deoarece segmentele egale pot fi considerate segmente proporționale cu un coeficient de proporționalitate egal cu 1.
Dovada în cazul liniilor neparaleleLuați în considerare o variantă cu perechi de segmente neconectate: să fie intersectat unghiul de linii drepte și în același timp .
Să desenăm o linie BC . Unghiurile ABC și BCD sunt egale ca cruci interioare situate sub liniile paralele AB și CD și secante BC , iar unghiurile ACB și CBD sunt egale ca cruci interioare situate sub liniile paralele AC și BD și secante BC . Apoi, conform celui de-al doilea criteriu pentru egalitatea triunghiurilor, triunghiurile ABC și DCB sunt congruente. Rezultă că AC = BD și AB = CD . ■
Această teoremă este atribuită matematicianului și filosofului grec Thales din Milet . Potrivit legendei, Thales din Milet a calculat înălțimea piramidei lui Keops măsurând lungimea umbrei acesteia pe pământ și lungimea umbrei unui baston de înălțime cunoscută. Cea mai veche demonstrație scrisă cunoscută a acestei teoreme este dată în Principia lui Euclid (Propoziția 2 din Cartea VI).
Dacă în teorema Thales segmente egale încep de la vârf (această formulare este adesea folosită în literatura școlară), atunci teorema inversă se va dovedi a fi adevărată. Pentru secantele care se intersectează, se formulează după cum urmează:
Dacă liniile care intersectează alte două linii (paralele sau nu) taie segmente egale (sau proporționale) pe ambele, pornind de la vârf, atunci aceste linii sunt paralele. |
Astfel (vezi Fig.) din faptul că , rezultă că .
Dacă secantele sunt paralele, atunci este necesar să se ceară ca segmentele de pe ambele secante să fie egale între ele, în caz contrar, această afirmație devine falsă (un contraexemplu este un trapez intersectat de o dreaptă care trece prin punctele medii ale bazelor).
Această teoremă este folosită în navigație: o coliziune a navelor care se deplasează cu o viteză constantă este inevitabil dacă se menține direcția de la o navă la alta.
Următoarea afirmație este duală cu lema lui Sollertinsky :
Fie o corespondență proiectivă între punctele dreptei și ale dreptei . Apoi, mulțimea de drepte va fi mulțimea de tangente la o secțiune conică (posibil degenerată) . |
În cazul teoremei Thales, conica va fi un punct la infinit corespunzător direcției dreptelor paralele.
Această afirmație, la rândul său, este un caz limitativ al următoarei afirmații:
Fie o transformare proiectivă a unei conice. Atunci învelișul setului de linii va fi o conică (eventual degenerată). |