Teoremo de Taleso

En matematiko ekzistas du teoremoj nomitaj la teoremo de Taleso, laŭ Taleso el Mileto.

En eŭklida geometrio, la teoremo de Taleso asertas, ke, se paralelaj linioj traversas du flankojn de angulo, tiam la segmentoj (de la du flankoj) rilatas en la sama proporcio. Ekzemple, en la ĉi-kuna desegno, se ${\displaystyle DE\|BC}$, Tiam ${\displaystyle {\frac {AD}{DB}}={\frac {AE}{EC}}}$

Laŭ rilatumo eblas atingi aldonajn egalaĵojn, kiel ${\displaystyle {\frac {AB}{DB}}={\frac {AC}{EC}}}$

La unua etendo asertas, ke la proporcio de la sekcioj, kiujn la angulo intersekcas de la paralelaj linioj, estas ankaŭ egala al la proporcio inter la partoj, kiujn la paralelaj linioj sekcas de la angulaj merkatoj. Ekzemple, en la maldekstra desegno, se ${\displaystyle DE\|BC}$, Tiam ${\displaystyle {\frac {AB}{AD}}={\frac {AC}{AE}}={\frac {BC}{DE}}}$

La simpla teoremo de Taleso rilatas nur al kazo, kie la paralelaj linioj estas de la sama flanko de la vertico de la angulo. La dua etendo diras, ke la teoremo de Taleso estas vera eĉ se la linioj ne estas de la sama flanko de la vertico de la angulo. Ekzemple, en la maldekstra desegno, se ${\displaystyle DE\|BC}$, Tiam ${\displaystyle {\frac {AB}{AD}}={\frac {AC}{AE}}={\frac {BC}{ED}}}$

konstruu kaj${\displaystyle \ BE}$ kaj ${\displaystyle \ CD}$.

Ekzamenu la triangulon ${\displaystyle BDE}$ Kaj la triangulo ${\displaystyle CDE}$.

En ĉi tiuj du trianguloj, ${\displaystyle DE}$ estas komuna latero, kaj perpendikularo de ${\displaystyle B}$ al${\displaystyle \ DE}$ egalas al perpendikularo de${\displaystyle \ C}$ al${\displaystyle \ DE}$. (Ĉar ${\displaystyle DE\|BC}$ )

Tial, la areoj de ĉi tiuj trianguloj estas egalaj, t.e. ${\displaystyle \ S_{BDE}=S_{CDE}}$

Se vi aldonas al la du flankoj de la egalo la areon de la triangulo${\displaystyle \ ADE}$, Akceptu ${\displaystyle \ S_{ABE}=S_{ACD}}$

Mallevu perpendikularon ${\displaystyle \ h_{1}}$ de ${\displaystyle \ C}$ al ${\displaystyle \ AB}$, Kaj perpendikularon ${\displaystyle \ h_{2}}$ de ${\displaystyle \ B}$ al ${\displaystyle \ AC}$.

Ĉar triangula areo egalas al duono de la produkto de flanko ĉe ĝia perpendikularo, ni ricevas: ${\displaystyle {\frac {h_{1}AD}{2}}={\frac {h_{2}AE}{2}}}$

Reordigo kondukos nin al la sekva rezulto: ${\displaystyle {\frac {AD}{AE}}={\frac {h_{2}}{h_{1}}}}$

Nun rigardu la triangulojn ${\displaystyle BCE}$ kaj- ${\displaystyle CBD}$

La areoj de ĉi tiuj trianguloj ankaŭ egalas, ĉar ili havas komunan bazon kaj ilia perpendikularo estas la distanco inter la paraleloj

Ni uzos la perpendikularojn, kiujn ni mallevis, por esprimi la areojn de la trianguloj ${\displaystyle BCE}$ kaj- ${\displaystyle CBD}$ :

${\displaystyle {\frac {h_{1}BD}{2}}={\frac {h_{2}CE}{2}}}$

Reordigo kondukos al la sekva rezulto: ${\displaystyle {\frac {BD}{CE}}={\frac {h_{2}}{h_{1}}}}$

Ni komparos la rilaton kaj ricevos: ${\displaystyle {\frac {AD}{AE}}={\frac {BD}{CE}}}$

Post interŝanĝado de lokoj sur la diagonalo, vi ricevas: ${\displaystyle {\frac {AD}{BD}}={\frac {AE}{CE}}}$

Konstruu ${\displaystyle \ BE}$ kaj ${\displaystyle \ CD}$ .

Ekzamenu la triangulon ${\displaystyle \ BDE}$ Kaj la triangulo ${\displaystyle \ CDE}$ .

En ĉi tiuj du trianguloj, ${\displaystyle \ DE}$ latero, kaj perpendikularo de ${\displaystyle \ B}$ al- ${\displaystyle \ DE}$ egala al perpendikularo de ${\displaystyle \ C}$ Al- ${\displaystyle \ DE}$ . (Ĉar ${\displaystyle DE\|BC}$ )

Tial, la areoj de ĉi tiuj trianguloj estas egalaj, t.e. ${\displaystyle \ S_{BDE}=S_{CDE}}$

Se vi aldonas al la du flankoj la areon de la triangulo ${\displaystyle \ ADE}$, Akceptu ${\displaystyle \ S_{ABE}=S_{ACD}}$

Dividu la du flankojn en la triangulan areon ${\displaystyle \ ADE}$, Kaj ni ricevos ${\displaystyle {\frac {S_{ABE}}{S_{ADE}}}={\frac {S_{ACD}}{S_{ADE}}}}$

Mallevu perpendikularo${\displaystyle \ h_{1}}$ de- ${\displaystyle \ E}$ al- ${\displaystyle \ AB}$, Kaj perpendikularo${\displaystyle \ h_{2}}$ de- ${\displaystyle \ D}$ Al- ${\displaystyle \ AC}$ .

Ĉar triangula areo egalas al duono de la produkto de flanko ĉe ĝia alteco, vi ricevas: ${\displaystyle {\frac {\frac {h_{1}AB}{2}}{\frac {h_{1}AD}{2}}}={\frac {\frac {h_{2}AC}{2}}{\frac {h_{2}AE}{2}}}}$

Post redukto, vi ricevas: ${\displaystyle {\frac {AB}{AD}}={\frac {AC}{AE}}}$

Pri la sekcio ${\displaystyle \ BC}$, Marku punkton ${\displaystyle \ M}$, tiel ke- ${\displaystyle \ DE=MC}$ . Ekde- ${\displaystyle \ DE=MC}$ Kaj- ${\displaystyle DE\|MC}$ ‏ ${\displaystyle \ DECM}$ Paralelogramo do ${\displaystyle DM\|EC}$

Sekve, laŭ la teoremo de Taleso, (kiam temas pri angulo ${\displaystyle \angle ABC}$ ) ${\displaystyle {\frac {BC}{MC}}={\frac {AB}{AD}}}$

Ni metu ${\displaystyle \ DE=MC}$, Kaj ni ricevos ${\displaystyle {\frac {BC}{DE}}={\frac {AB}{AD}}}$

En eŭklida geometrio, la teoremo de Taleso asertas, ke la angulo metita sur diametro en cirklo estas orto : se la punktoj ${\displaystyle \ A}$, ${\displaystyle \ B}$ kaj- ${\displaystyle \ C}$ estas metitaj sur cirklon kaj la linion ${\displaystyle \ AC}$ trapasas la centron de la cirklo, tiam la angulon ${\displaystyle \ \angle ABC}$ estas orta.

Ĉi tiu teoremo probable estis jam empirie konata de Egiptanoj kaj babilonanoj, sed ili ne traktis geometriajn pruvojn, kaj ĉiukaze ankaŭ ne donis pruvon por ĉi tiu teoremo. La unua pruvo estas atribuita al la greka filozofo kaj geometristo Taleso el Mileto, laŭ kiu la leĝo estas nomita.

La pruvo baziĝas sur du konataj faktoj, kiujn Eŭklido ankaŭ atribuas al Taleso en sia libro Elementoj.

• La bazaj anguloj en Izocela triangulo egalas unu al la alia.
• La sumo de la anguloj en triangulo egalas al 180 gradoj.

Markita per ${\displaystyle \ O}$ La centro de la cirklo. Ĉar la punktoj ${\displaystyle \ A}$, ${\displaystyle \ B}$ kaj- ${\displaystyle \ C}$ Metitaj sur la cirklon, okazas ${\displaystyle \ OA=OB=OC}$, Sekve la trianguloj ${\displaystyle \ OAB}$ kaj- ${\displaystyle \ OBC}$ Ambaŭ estas izocelaj. Laŭ la unua supre menciita fakto, ${\displaystyle \ \angle OBC=\angle OCB}$ ankaŭ ${\displaystyle \ \angle BAO=\angle ABO}$ . Ni markos la unuan angulon per litero ${\displaystyle \ \delta }$, Kaj la dua per ${\displaystyle \ \gamma }$ . La sumo de la anguloj en la triangulo ABC estas ${\displaystyle \ 2\delta +2\gamma =180^{\circ }}$, duonigu la du flankojn kaj ricevos ${\displaystyle \ \gamma +\delta =90^{\circ }}$ .

La teoremo, kiel ĉi tie prezentita, asertas, ke se triangulo estas blokita en cirklo tiel, ke unu el ĝiaj flankoj estas la diametro de la cirklo, tiam la triangulo estas ortangula. La malo ankaŭ validas, kaj jen kiel la frazo povas esti vortumita simetrie :

• La centro de cirklo, kiu blokas triangulon, ripozas sur unu el la lateroj, se kaj nur se la triangulo estas ortangula.

La Teoremo de Taleso estas aparta kazo de la teoremo per kiu centra angulo projektita sur hordo en cirklo estas ĉiam duobla de la samprojektita angulo ĉe la cirkonferenco.

La nomo por ambaŭ teoremoj ricevis en la dua duono de la 19-a jarcento en Francio kaj Italio unuflanke kaj en Germanio aliflanke. Samtempe intereso pri la historio de matematiko kaj spurado de ĝiaj originoj pliiĝis. Ligita al tio estis didaktika bezono: doni nomojn al teoremoj, kiuj estis konsiderataj centraj por lernolibroj. La elekto de nomoj de matematikistoj el la pratempo kaj precipe el antikva Grekio, la lulilo de okcidenta kulturo, eble transdonus gravajn kaj tradiciajn valorojn. Ĉi tiuj du teoremoj (aŭ tre proksimaj al ili) estas inter la kvin teoremoj konataj kiel la atingoj de Taleso, sed ne ekzistas indico, ke li pruvis ilin.

La elekto de malsamaj teoremoj en Francio kaj Germanio estas lingva evidenteco en ambaŭ landoj pri la aliro al geometrio. La francoj estis influitaj de la libro de Adrien-Marie Legendre "Fundamentoj en Geometrio". Legendre antaŭis la studon de la cirklo (Ĉapitro 3 en la Elementoj de Eŭklida) al la studo de la triangulo kaj la paralelogramo (Ĉapitroj 1 kaj 2). La affinea geometrio kaj projekcia geometrio, kiuj disvolviĝis tiutempe, metis la rilaton inter intervaloj en la centron, dum en Eŭklido ili aperas en la ĉapitro ses kiel triangulaj similecoj. La inversigo de la ordo de la ĉapitroj indikis grandan ŝanĝon en percepto. La francoj do elektis leĝon, kiu diskutis la rilaton inter intervaloj. La germanoj rekomendis eŭklidan geometrion, aliĝis al la ordo en tiu libro kaj al la centreco de la teoremo de Pitagoro kaj tial elektis teoremon, kiu ligas al la temo de la triangulo (triangulo ĉirkaŭita en cirklo).

Landoj trafitaj de la franca aliro estis: Hispanio, Belgio kaj Rusujo. Landoj trafitaj de la germana aliro estis: Aŭstrio, Hungario kaj Czechoslovakio. Ĝis la dudekaj jaroj de la 20-a jarcento lernolibroj en Grekio elektis la germanan aliron, sed tiam ĝi estis anstataŭigita per la franca aliro. En Anglujo kaj Usono, la nomo de Taleso tiam ne estis uzata por ĉi tiuj provoj.

• Eŭklida geometrio
• Teoremo de Pitagoro
• Teoremo de Ĉeva
• Teoremo de Menelao

 Teoremo de Taleso en Vikimedia Komunejo

• Eric W. Weisstein, Teoremo de Taleso en MathWorld.