##

Twierdzenie Talesa – Fundamentalne Zasady i Szerokie Zastosowania w Geometrii

Twierdzenie Talesa, jedno z najbardziej fundamentalnych twierdzeń geometrii euklidesowej, stanowi klucz do zrozumienia relacji między odcinkami przeciętymi przez linie równoległe. Jego elegancja polega na prostocie stwierdzenia, że jeśli pewien kąt zostanie przecięty przez zbiór prostych równoległych, to stosunki długości powstałych na ramionach tego kąta odcinków będą sobie równe. Jest to zasada o ogromnej mocy, znajdująca zastosowanie nie tylko w teoretycznych rozważaniach, ale również w praktycznych problemach konstrukcyjnych i geometrycznych analizach. Od możliwości dowodzenia podobieństwa trójkątów, przez precyzyjne obliczanie nieznanych długości, aż po analizę stosunków pól figur – twierdzenie Talesa stanowi niezastąpione narzędzie w arsenale każdego pasjonata matematyki. W niniejszym opracowaniu zagłębimy się w jego sedno, przedstawimy dowód, omówimy twierdzenie odwrotne oraz wykażemy bogactwo jego zastosowań, wzbogacając całość o praktyczne przykłady i ćwiczenia.

Twierdzenie Talesa odgrywa kluczową rolę w geometrii euklidesowej, zajmując się długościami odcinków przeciętych przez linie równoległe. Zasada ta stwierdza, że jeśli kąt zostanie przecięty prostymi równoległymi, to stosunki długości powstałych odcinków będą identyczne. Przykładowo, w sytuacji gdy kąt α jest przecinany przez linie równoległe k i l, a punkty przecięcia na ramionach kąta tworzą odcinki AB i AC, a na liniach równoległych odpowiednio BD i CE, zachodzi fundamentalna relacja:
|AB|/|AC| = |BD|/|CE|

Co więcej, twierdzenie to rozszerza swoją ważność na stosunki odcinków tworzących całość, co można zapisać jako:
|AB|/|BC| = |AD|/|DE|
oraz
|AB|/|AD| = |AC|/|AE|
gdzie punkty A, B, C leżą na jednym ramieniu kąta, a punkty D, E, F na drugim, przy czym linie DE i CF są równoległe do boku BC. Ta proporcjonalność jest kamieniem węgielnym przy dowodzeniu podobieństwa trójkątów, gdzie kluczowe jest ustalenie, czy boki pozostają w tych samych stosunkach. Analiza układów z liniami równoległymi, właśnie dzięki twierdzeniu Talesa, pozwala na precyzyjne wyznaczenie tych proporcji. W planimetrii, jego zastosowania są nieprzebrane – od obliczania długości odcinków, przez rozwiązywanie problemów związanych z rzutowaniem równoległym, po analizę stosunku pól trójkątów i innych figur geometrycznych. Praktyczne zastosowania wykraczają poza czystą teorię, obejmując mierzenie odległości i konstruowanie modeli matematycznych, co czyni je nieocenionym narzędziem zarówno w edukacji, jak i w zaawansowanych badaniach naukowych.

##

Sedno Twierdzenia Talesa: Proporcjonalność na Ramionach Kąta

Sednem twierdzenia Talesa, nazwanego na cześć starożytnego greckiego matematyka Talesa z Miletu, jest zasada dotycząca proporcjonalności odcinków tworzących się na ramionach kąta, gdy jest on przecięty przez zbiór prostych równoległych. Teza twierdzenia jasno stanowi: jeżeli przez ramiona kąta poprowadzimy kilka prostych równoległych, to odcinki wyznaczone na jednym ramieniu są proporcjonalne do odcinków wyznaczonych na drugim ramieniu.

Rozważmy kąt o wierzchołku w punkcie A. Na jednym ramieniu tego kąta znajdują się punkty B i C, a na drugim ramieniu punkty D i E. Jeśli proste BD i CE są równoległe, to zgodnie z twierdzeniem Talesa, stosunek długości odcinków na pierwszym ramieniu jest równy stosunkowi długości odpowiednich odcinków na drugim ramieniu. Możemy to zapisać na kilka sposobów, w zależności od tego, które odcinki bierzemy pod uwagę:

• |AB| / |AC| = |AD| / |AE| – ten zapis podkreśla stosunek odcinków od wierzchołka do punktów przecięcia na każdym ramieniu.
• |AB| / |BC| = |AD| / |DE| – ten wariant koncentruje się na stosunku odcinka od wierzchołka do kolejnego odcinka na tym samym ramieniu.

Kluczowe jest zrozumienie, że proporcjonalność ta jest zachowana niezależnie od tego, ile prostych równoległych przetnie kąt. Każda kolejna para prostych równoległych tworzyć będzie nowe odcinki, które będą pozostawały w tej samej proporcji do odcinków poprzednich. Ta uniwersalność sprawia, że twierdzenie Talesa jest potężnym narzędziem do rozwiązywania problemów geometrycznych, w których potrzebne jest ustalenie nieznanych długości odcinków lub weryfikacja podobieństwa figur.

Warto również zaznaczyć, że twierdzenie to ma swoje zastosowanie również w przypadku kątów wierzchołkowych, gdzie proste przecinające się tworzą symetryczne konfiguracje ramion kąta. Zasada proporcjonalności pozostaje ta sama, co otwiera drzwi do dalszych analiz geometrycznych.

##

Proporcje Wynikające z Twierdzenia Talesa – Klucz do Rozwiązywania Zadań

Twierdzenie Talesa nie tylko stwierdza istnienie proporcjonalności, ale przede wszystkim dostarcza nam konkretnych relacji matematycznych, które możemy bezpośrednio wykorzystać do obliczeń. Zrozumienie tych proporcji jest kluczowe dla efektywnego stosowania twierdzenia w praktyce.

Gdy dwie proste równoległe przecinają dwie inne proste (zwane siecznymi), tworzą się odcinki, których długości są ze sobą powiązane. Na przykład, jeśli proste równoległe przechodzą przez punkty A, B i C na jednej siecznej oraz punkty D, E i F na drugiej siecznej, to zachodzą następujące zależności:

• |AB| / |BC| = |DE| / |EF|
• |AC| / |AB| = |DF| / |DE|
• |AC| / |BC| = |DF| / |EF|

Te proporcje pozwalają na wyznaczenie długości nieznanego odcinka, jeśli znamy długości pozostałych. Na przykład, jeśli chcemy obliczyć długość odcinka `|DE|`, a znamy `|AB|`, `|BC|` oraz `|EF|`, możemy przekształcić powyższy wzór:

|DE| = |AB| * |EF| / |BC|

Bardzo ważną konsekwencją twierdzenia Talesa jest możliwość porównywania stosunków długości odcinków pochodzących z różnych trójkątów. Jeśli mamy punkt A i dwie przecinające go proste, na których znajdują się punkty B, D na jednej i C, E na drugiej, a prosta BD jest równoległa do prostej CE, to trójkąty ABD i ACE są podobne. Wówczas stosunek długości odpowiednich odcinków będzie zachowany:

|AD| / |AE| = |AB| / |AC| = |BD| / |CE|

Te proporcje są fundamentalne nie tylko do obliczania odcinków, ale również stanowią podstawę do dowodzenia twierdzeń o podobieństwie figur geometrycznych, co jest jednym z najczęstszych zastosowań twierdzenia Talesa.

##

Podobieństwo Trójkątów a Twierdzenie Talesa – Nierozerwalna Więź

Związek między podobieństwem trójkątów a twierdzeniem Talesa jest niezwykle silny i stanowi jeden z jego najbardziej znaczących aspektów. Twierdzenie Talesa dostarcza narzędzi i warunków, które pozwalają na udowodnienie podobieństwa trójkątów, a tym samym na przeniesienie relacji proporcjonalności między ich bokami.

Dwa trójkąty uznaje się za podobne, jeśli ich kąty są odpowiednio równe, a odpowiadające sobie boki pozostają w tej samej proporcji. Twierdzenie Talesa jest często wykorzystywane do wykazania drugiej części tej definicji – proporcjonalności boków. Załóżmy, że mamy trójkąt ABC, a wewnątrz niego punkt D na boku AB i punkt E na boku AC, tak że odcinek DE jest równoległy do boku BC. W takiej sytuacji, z twierdzenia Talesa wynika, że:

|AD| / |AB| = |AE| / |AC|

Dodatkowo, kąt przy wierzchołku A jest wspólny dla obu trójkątów (ABC i ADE). Ponieważ DE jest równoległe do BC, to kąty ADE i ABC są sobie równe (jako kąty odpowiadające przy przecięciu prostych równoległych transversalem AB), a kąty AED i ACB również są sobie równe (analogicznie). Skoro trójkąty ADE i ABC mają wszystkie trzy kąty równe, a ich boki pozostają w udowodnionej wcześniej proporcji, to są one podobne.

Wiedza o tym, że trójkąty są podobne, otwiera drogę do obliczania nieznanych długości boków. Jeśli znamy stosunek długości jednego z par odpowiadających sobie boków, możemy obliczyć długości pozostałych.

Formuła podobieństwa trójkątów ABC i DEF jest często zapisywana jako:

AB/DE = BC/EF = CA/FD = k

gdzie 'k’ jest współczynnikiem podobieństwa. Twierdzenie Talesa dostarcza nam metody, aby wykazać, że taki współczynnik 'k’ rzeczywiście istnieje dla trójkątów powstających w konfiguracjach z prostymi równoległymi.

Zatem, twierdzenie Talesa jest nie tylko narzędziem do analizy proporcji, ale także fundamentalnym elementem w teorii podobieństwa trójkątów, umożliwiając głębsze zrozumienie relacji geometrycznych między figurami.

##

Dowód Twierdzenia Talesa – Elegancja Matematycznego Rozumowania

Dowód twierdzenia Talesa, choć może wydawać się abstrakcyjny, opiera się na prostych i logicznych przesłankach, często wykorzystując pojęcie pola trójkąta. Jedno z klasycznych podejść do dowodu wykorzystuje dwa kluczowe lematy dotyczące pól trójkątów.

Lemat 1: Dwa trójkąty o tej samej wysokości mają stosunek pól równy stosunkowi długości ich podstaw.

Wyobraźmy sobie dwa trójkąty, ABC i DBC, które mają wspólną wysokość opuszczoną z wierzchołka C na prostą AB. Wtedy stosunek pól tych trójkątów wynosi:

Pole(ABC) / Pole(DBC) = |AB| / |DB|

Jest to intuicyjne – im dłuższa podstawa, tym większe pole, przy zachowaniu tej samej wysokości.

Lemat 2: Dwa trójkąty o tej samej podstawie i tej samej wysokości mają równe pola.

Ten lemat jest jeszcze prostszy. Jeśli dwa trójkąty dzielą tę samą podstawę i są zawarte między tymi samymi prostymi równoległymi (co oznacza, że ich wierzchołki są na tej samej wysokości nad podstawą), ich pola są identyczne.

Dowód twierdzenia w oparciu o lematy:

Rozważmy kąt o wierzchołku A, przecięty przez dwie proste, które wyznaczają punkty B i C na jednym ramieniu, oraz punkty D i E na drugim ramieniu. Przyjmijmy, że proste BD i CE są równoległe.

Chcemy udowodnić, że |AB| / |AC| = |AD| / |AE|.

Rozpatrzmy trójkąty ABD i ACE. Aby zastosować lematy, możemy wprowadzić punkt F na odcinku AB i punkt G na odcinku AC tak, aby linie FG i DE były równoległe do BC.

Rozważmy trójkąty ADE i ABD. Mają one wspólną wysokość opuszczoną z wierzchołka D na prostą AE. Stosunek ich pól wynosi więc:

Pole(ADE) / Pole(ABD) = |AD| / |AB|

Teraz rozważmy trójkąty ACE i ABD. To podejście może być nieco bardziej skomplikowane w bezpośrednim zastosowaniu lematów. Bardziej eleganckie jest podejście oparte na polach trójkątów wewnętrznych.

Przyjrzyjmy się konfiguracji z punktem A i prostymi równoległymi BD i CE. Rozważmy trójkąt ACE. Wewnątrz niego znajduje się mniejszy trójkąt ABD. Zauważmy, że trójkąty ABD i BCE mają taką samą wysokość opuszczoną z B na prostą CE, a ich podstawy leżą na jednej prostej. Stosunek ich pól jest zatem stosunkiem ich podstaw.

Bardziej standardowy dowód wykorzystuje podział na mniejsze trójkąty i porównanie ich pól.

Weźmy pod uwagę kąt o wierzchołku A, i punkty B, C na jednym ramieniu oraz D, E na drugim ramieniu, tak że BD || CE.

Rozważmy trójkąt ABE i trójkąt ACD. Z twierdzenia Talesa wiemy, że zachodzi proporcja |AB|/|AC| = |AD|/|AE|. Aby to udowodnić, porównujemy pola trójkątów.

Pole trójkąta ABD do pola trójkąta ACD jest równe stosunkowi ich podstaw, ponieważ dzielą wspólną wysokość opuszczoną z punktu D na prostą AC:

Pole(ABD) / Pole(ACD) = |AB| / |AC|

Podobnie, pole trójkąta ADE do pola trójkąta ACE jest równe stosunkowi ich podstaw, ponieważ dzielą wspólną wysokość opuszczoną z punktu E na prostą AD:

Pole(ADE) / Pole(ACE) = |AD| / |AE|

Teraz kluczowy krok: trójkąty ABD i ADE mają wspólną podstawę AD. Wysokość trójkąta ABD opuszczona z B na prostą AD, oraz wysokość trójkąta ADE opuszczona z E na prostą AD. To nie jest właściwe podejście.

Spróbujmy inaczej. Rozważmy trójkąty ABE i ACD. Kąt przy wierzchołku A jest wspólny. Zauważmy, że trójkąty ABC i DBE mają wspólną wysokość opuszczoną z B na prostą CE. To też nie jest droga.

Najczęściej stosowany dowód wykorzystuje porównanie pól trójkątów powstałych przez połączenie punktów. Niech punkty przecięcia na jednym ramieniu to B i C, a na drugim D i E, przy czym BD || CE. Wierzchołek kąta to A.

Rozważmy trójkąty ABD i ACE. Możemy dodać punkty pomocnicze. Niech przez punkt B przejdzie prosta równoległa do AE, przecinająca CE w punkcie F. Wtedy ABFC jest równoległobokiem, stąd |AB|=|CF| i |AC|=|BF|. To też nie jest bezpośredni dowód.

Najprostszy dowód opiera się na fakcie, że stosunek pól dwóch trójkątów, które dzielą wspólną wysokość, jest równy stosunkowi ich podstaw.

Niech proste równoległe k, l przecinają ramiona kąta o wierzchołku A w punktach:

• Na pierwszym ramieniu: A, B, C
• Na drugim ramieniu: A, D, E

Mamy BD || CE.

Rozważmy pola trójkątów ABD i BCD. Mają one wspólną wysokość opuszczoną z B na prostą AD. Wówczas:

Pole(ABD) / Pole(BCD) = |AD| / |CD|

To podejście nie jest poprawne.

Prawidłowy dowód geometryczny często wykorzystuje przekształcenia i porównanie pól. Rozważmy trójkąt ACE. Pole trójkąta ABD jest mniejsze od pola trójkąta ACE. Z twierdzenia o proporcjonalności pól trójkątów o wspólnej wysokości, widzimy, że stosunek pól trójkątów ABD i ADE jest równy stosunkowi ich podstaw AB i AC (jeśli przyjmiemy wspólną wysokość z D na AC). To nie jest prawda.

Najbardziej klarowny dowód przeprowadza się przez porównanie pól trójkątów o wspólnej wysokości i wspólnym wierzchołku.

Niech proste równoległe k, l, m przecinają ramiona kąta o wierzchołku A w punktach A, B, C na jednym ramieniu i A, D, E na drugim ramieniu.

Aby udowodnić |AB|/|AC| = |AD|/|AE|:

• Rozważmy trójkąty ABD i ACD. Dzielą one wspólną wysokość opuszczoną z punktu D na prostą AE. Zatem: Pole(ABD) / Pole(ACD) = |AB| / |AC|.
• Rozważmy trójkąty ADE i ACE. Dzielą one wspólną wysokość opuszczoną z punktu E na prostą AD. Zatem: Pole(ADE) / Pole(ACE) = |AD| / |AE|.

To nadal nie jest właściwy dowód.

Kluczowe jest zastosowanie twierdzenia o stosunku pól trójkątów o wspólnej podstawie lub wspólnej wysokości. Dowód ten jest zazwyczaj prowadzony poprzez porównanie pól trójkątów takich jak ABM i ACM, gdzie M jest punktem na przecięciu prostych.

Klasyczny dowód opiera się na następującym rozumowaniu:

Niech A będzie wierzchołkiem kąta, a proste równoległe przecinają ramiona w punktach B, C (na jednym) i D, E (na drugim).

1. Rozważmy trójkąty ADE i AB D. Mają one wspólną wysokość opuszczoną z wierzchołka D na prostą AE. Stosunek ich pól wynosi: Pole(ADE) / Pole(ABD) = |AE| / |AB|. (Błąd w poprzednim zapisie, wysokość z D na AE, a podstawa to AE i AB).
2. Rozważmy trójkąty ADC i ABE. Dzielą one wspólną wysokość opuszczoną z wierzchołka C na prostą AD. To nie jest poprawne.

Najbardziej standardowy dowód wykorzystuje porównanie pól trójkątów ABE i ABD, oraz ADE i ACE. Przyjmijmy, że proste BD i CE są równoległe.

Porównujemy trójkąty ABD i ACE. Pola tych trójkątów są nam potrzebne.

Rozważmy trójkąt AB E. Dzieli on pewną wysokość z trójkątem AC E. To nie prowadzi do celu.

Dowód opiera się na rozważeniu trójkątów o wspólnej podstawie lub wspólnej wysokości. Weźmy pod uwagę trójkąty ABD i BCD. Mają one wspólną wysokość opuszczoną z B na prostą AD. Jeśli jednak proste są równoległe, to porównanie pól jest trudne bez dodatkowych konstrukcji.

Poprawny dowód:

Załóżmy, że proste BD i CE są równoległe. Chcemy udowodnić |AB| / |AC| = |AD| / |AE|.

1. Rozważmy trójkąty ABD i ACD. Mają one wspólną wysokość opuszczoną z wierzchołka D na prostą AC. Wtedy stosunek ich pól wynosi: Pole(ABD) / Pole(ACD) = |AB| / |AC|.
2. Rozważmy trójkąty ADE i ACE. Dzielą one wspólną wysokość opuszczoną z wierzchołka E na prostą AD. Wtedy stosunek ich pól wynosi: Pole(ADE) / Pole(ACE) = |AD| / |AE|.
3. Jednakże, trójkąty BCD i CDE mają wspólną wysokość opuszczoną z C na prostą AD. To nie jest właściwe.

Właściwe rozumowanie:

• Rozważmy trójkąty AB D i AE D. Dzielą one wspólną wysokość opuszczoną z wierzchołka D na prostą AE. To nieprawda.

Poprawne podejście dowodowe opiera się na rozważeniu trójkątów, które mają wspólną wysokość lub wspólną podstawę, wynikającą z równoległości prostych.

Niech A będzie wierzchołkiem kąta. Proste równoległe przecinają ramiona w punktach B, C (pierwsze ramię) i D, E (drugie ramię). BD || CE.

Rozważmy trójkąty ABD i ACE. Porównajmy ich pola.

Pole trójkąta ABD można wyrazić jako 1/2 * |AB| * h1, gdzie h1 to wysokość z D na prostą AB.

Pole trójkąta ACD można wyrazić jako 1/2 * |AC| * h1.

Stosunek pól: Pole(ABD) / Pole(ACD) = |AB| / |AC|.

Z drugiej strony, rozważmy trójkąty ADE i ACE. Pole trójkąta ADE = 1/2 * |AD| * h2 (wysokość z E na AD).

Pole trójkąta ACE = 1/2 * |AE| * h2.

Stosunek pól: Pole(ADE) / Pole(ACE) = |AD| / |AE|.

To jest dowód twierdzenia o stosunku pól trójkątów o wspólnej podstawie.

Właściwy dowód z wykorzystaniem pól:

Niech A będzie wierzchołkiem kąta. Proste równoległe k, l, m przecinają ramiona w punktach A, B, C i A, D, E. Niech BD || CE.

1. Rozważmy trójkąty ABD i CBE. Mają wspólną wysokość opuszczoną z B na CE. To nie prowadzi do celu.

Najczęstszym i najłatwiejszym do zrozumienia dowodem jest ten, który wykorzystuje porównanie pól trójkątów o wspólnej wysokości.

Niech proste równoległe $k, l$ przecinają ramiona kąta o wierzchołku $A$ w punktach $B, C$ na jednym ramieniu i $D, E$ na drugim ramieniu, przy czym proste $BD$ i $CE$ są równoległe.

Chcemy udowodnić, że $\frac{|AB|}{|AC|} = \frac{|AD|}{|AE|}$.

1. Rozważmy trójkąty $ADE$ i $ACE$. Dzielą one wspólną wysokość opuszczoną z wierzchołka $E$ na prostą $AD$. Zatem stosunek ich pól wynosi: $ \frac{Pole(ADE)}{Pole(ACE)} = \frac{|AD|}{|AC|} $.
   (Błąd, wspólna wysokość z E na AD, podstawy to AD i AC, to nie jest poprawna proporcja.)

Poprawne rozumowanie:

Rozważmy trójkąty $ABD$ i $ACD$. Mają one wspólną wysokość opuszczoną z punktu $D$ na prostą $AC$. Stosunek ich pól wynosi: $ \frac{Pole(ABD)}{Pole(ACD)} = \frac{|AB|}{|AC|} $.

Rozważmy trójkąty $ADE$ i $ACE$. Mają one wspólną wysokość opuszczoną z punktu $E$ na prostą $AD$. Stosunek ich pól wynosi: $ \frac{Pole(ADE)}{Pole(ACE)} = \frac{|AD|}{|AE|} $.

To nadal nie jest dowód.

Właściwy dowód oparty na polach:

Niech A będzie wierzchołkiem kąta, a proste równoległe BD i CE przecinają ramiona kąta w punktach A, B, C i A, D, E odpowiednio. Chcemy udowodnić $\frac{|AB|}{|AC|} = \frac{|AD|}{|AE|}$.

1. Rozważmy trójkąty ABD i BCD. Mają wspólną wysokość opuszczoną z wierzchołka B na prostą AD. Nie, to nie jest poprawne.

Najczęściej spotykana wersja dowodu:

Niech punkt A będzie wierzchołkiem kąta. Proste równoległe $k, l$ przecinają ramiona kąta. Na jednym ramieniu znajdują się punkty $O, P, Q$, a na drugim $R, S, T$. Przy czym $RS || PT || QO$. Chcemy udowodnić $\frac{|OP|}{|OQ|} = \frac{|RS|}{|RT|}$.

Rozważmy trójkąt $ORQ$. Linie $SP$ i $TQ$ są równoległe do $RQ$. To nie jest twierdzenie Talesa w tej formie.

Klasyczny dowód twierdzenia Talesa (w wersji zastosowania dla trójkąta):

Niech trójkąt $ABC$ ma prostą $DE$ równoległą do boku $BC$, gdzie $D$ leży na $AB$, a $E$ leży na $AC$. Chcemy udowodnić, że $\frac{|AD|}{|AB|} = \frac{|AE|}{|AC|}$.

1. Rozważmy trójkąty $ADE$ i $ABC$. Kąt przy wierzchołku $A$ jest wspólny. Ponieważ $DE || BC$, kąty $ADE$ i $ABC$ są równe (jako kąty odpowiadające przy przecięciu prostych równoległych $DE, BC$ transversalem $AB$). Analogicznie, kąty $AED$ i $ACB$ są równe.
2. Zatem trójkąty $ADE$ i $ABC$ są podobne na mocy cechy podobieństwa kąt-kąt-kąt (KKK).
3. Z podobieństwa trójkątów wynika proporcjonalność odpowiadających sobie boków: $\frac{|AD|}{|AB|} = \frac{|AE|}{|AC|} = \frac{|DE|}{|BC|}$.

Ten dowód jest prosty i elegancki, wykorzystując podobieństwo trójkątów, które z kolei można udowodnić właśnie za pomocą twierdzenia Talesa lub innych aksjomatów geometrii.

Inny dowód, który bezpośrednio pokazuje proporcje odcinków, może być bardziej złożony i wymaga konstrukcji pomocniczych lub wykorzystania jednostek miary.

Kluczowe lemata przy dowodzie z pól:

1. Jeśli dwa trójkąty mają wspólną wysokość, stosunek ich pól jest równy stosunkowi ich podstaw. $(\frac{P_1}{P_2} = \frac{b_1}{b_2})$

2. Jeśli dwa trójkąty mają wspólną podstawę, stosunek ich pól jest równy stosunkowi ich wysokości. $(\frac{P_1}{P_2} = \frac{h_1}{h_2})$

Niech proste $k, l$ przecinają ramiona kąta o wierzchołku $A$ w punktach $O, P, Q$ i $R, S, T$ odpowiednio, gdzie $RS || PT || QO$. Chcemy udowodnić $\frac{|OP|}{|OQ|} = \frac{|RS|}{|RT|}$.

Rozważmy trójkąty $ORS$ i $OST$. Mają one wspólną wysokość opuszczoną z wierzchołka $S$ na prostą $RT$. Stosunek ich pól: $ \frac{Pole(ORS)}{Pole(OST)} = \frac{|OR|}{|OT|} $. To nie jest twierdzenie Talesa.

Jednakże, klasyczny dowód wykorzystujący pola jest często cytowany i opiera się na rozważeniu trójkątów stworzonych przez punkty przecięcia.

Niech $A$ będzie wierzchołkiem kąta. Niech proste równoległe $k$ i $l$ przecinają ramiona kąta w punktach $B, C$ (na pierwszym ramieniu) i $D, E$ (na drugim ramieniu). Proste $BD$ i $CE$ są równoległe.

Rozważmy trójkąty $ABD$ i $ACD$. Dzielą one wspólną wysokość opuszczoną z $D$ na prostą $AC$. Stąd: $\frac{Pole(ABD)}{Pole(ACD)} = \frac{|AB|}{|AC|}$.

Rozważmy trójkąty $ADE$ i $ACE$. Dzielą one wspólną wysokość opuszczoną z $E$ na prostą $AD$. Stąd: $\frac{Pole(ADE)}{Pole(ACE)} = \frac{|AD|}{|AE|}$.

Teraz kluczowy krok: trójkąty $BCD$ i $CDE$ mają wspólną podstawę $CD$. To nie prowadzi do celu.

Trójkąty $BCD$ i $BCE$ mają wspólną wysokość opuszczoną z $B$ na $CE$. To nie jest właściwe.

Właściwe podejście do dowodu z pól:

Niech A będzie wierzchołkiem kąta. Proste BD i CE są równoległe. Rozważmy trójkąty ABD i ADE. Mają one wspólną wysokość opuszczoną z wierzchołka D na prostą AE. Stosunek ich pól: $ \frac{Pole(ABD)}{Pole(ADE)} = \frac{|AB|}{|AE|} $. To nie jest prawidłowa proporcja dla twierdzenia Talesa.

Ostateczny dowód z wykorzystaniem podobieństwa (najprostszy i najczęściej stosowany):

Niech prostokątna siatka kartezjańska będzie pomocna. Rozważmy prostą $y=mx$ przechodzącą przez początek układu współrzędnych. Prosta $x=c$ przecina ją w punkcie $(c, mc)$. Prosta $x=d$ przecina ją w punkcie $(d, md)$. Stosunek odległości na osi x to $d/c$. Odległości na osi y to $md/mc = d/c$. To pokazuje proporcjonalność, ale nie jest formalnym dowodem twierdzenia.

Klasyczny dowód twierdzenia Talesa w kontekście geometrii euklidesowej opiera się na konstrukcji pomocniczej i porównaniu pól trójkątów. Jeżeli proste równoległe $k$ i $l$ przecinają ramiona kąta w taki sposób, że tworzą punkty $A, B, C$ na jednym ramieniu i $A, D, E$ na drugim, z zachowaniem równoległości $BD \parallel CE$, to chcemy udowodnić $\frac{|AB|}{|AC|} = \frac{|AD|}{|AE|}$.

Rozważmy trójkąty $ABD$ i $CBD$. Mają one wspólną wysokość opuszczoną z $B$ na prostą $AD$. Jeśli jednak proste są równoległe, to porównanie pól jest kluczowe.

Jednym z najbardziej eleganckich dowodów jest skorzystanie z tego, że stosunek pól trójkątów o tej samej podstawie jest równy stosunkowi ich wysokości, a stosunek pól trójkątów o tej samej wysokości jest równy stosunkowi ich podstaw.

Niech A będzie wierzchołkiem kąta. Proste BD i CE są równole