Dua teoremo de Eŭklido

La dua teoremo de Eŭklido aŭ alto-teoremo estas teoremo en geometrio, kiu rilatas al orta triangulo kaj priskribas rilaton inter la alto sur la hipotenuzo en orta triangulo kaj la du linipartoj kiujn ĝi kreas sur la hipotenuzo.

La teoremo devenas, kiel la unua, de la 8-a propozicio en libro VI de la Elementoj de Geometrio de Eŭklido.

 La teoremo kaj ĝia apliko 
eta|upright=1.5|areo de griza kvadrato = areo de griza rektangulo

Se h indikas la alton en orta triangulo kaj p kaj q la segmentojn sur la hipotenuzo tiam la teoremo povas esti formulata kiel:

aŭ en esprimo de areoj:

Ĉi-lasta versio donas metodon por konstrui per liniilo kaj cirkelo kvadraton, kiu havas egalan areon kiel antaŭfiksita rektangulo. En tiu rektangulo kun flankoj p kaj q ni indikas ĝian altan maldekstran verticon kun D. Nun ni etendas la segmenton q al ĝia maldekstro de p helpe de arko kun centro en D. Poste ni faras duoncirklon kun finpunktoj A kaj B kun la nova segmento p+q kiel ĝia diametro. Tiam ni starigas ortan linion al la diametro en D kiu intersekcas la duoncirklon en C. Pro la teoremo de Thales la punkto C kaj la diametro formas ortan triangulon, kies alto estas DC. Pro la dua teoremo de Euklido DC estas la flanko de kvadrato kun la areo de la rektangulo.

Ankaŭ la inversa deklaro estas vera. Ĉiu triangulo, en kiu la alteco korespondas al la geometria meznombro de la du linipartoj kreitaj per ĝi, estas orta triangulo.

 Pruvo 
 Surbaze de simileco 
Teoremo:

La trianguloj  kaj  estas similaj, ĉar kun  and  ili havas du angulojn de egala grandeco. La simileco donas la sekvan ekvacion:

Inversio:

Por la inversio ni havas triangulon  en kiu validas  kaj oni devas montri ke la angulo je C estas orta.

Pro  validas ankaŭ . Kune kun  la trianguloj  kaj  havas angulon de egala grandeco kaj havas ekvivalentajn parojn de flankoj kun la sama rilatumo. Tio signifas ke la trianguloj estas similaj, kiu donas:

 Surbaze de dissekcio kaj rearanĝo 
File:Geometrischer Höhensatzbeweis.svg

Dissekcante la ortan triangulon laŭ ĝia alto hrezultas du similaj trianguloj, kiuj povas esti pliigitaj kaj aranĝitaj laŭ du alternativaj manieroj al pli granda orta triangulo kun ortaj flankoj de longo p+h kaj q+h. Unu tia aranĝo postulas kvadraton de areo h2 kompletigi ĝin, la alia rektangulon de areo pq. Ĉar ambaŭ aranĝoj donas la saman triangulon, la areoj de la kvadrato kaj de la rektangulo devas esti identaj.

 Referencoj 
 Claudi Alsina, Roger B. Nelsen: Icons of Mathematics: An Exploration of Twenty Key Images. MA 2011, ISBN 9780883853528, pp 31-32 (Ĉar neniuj valoroj estis precizigitaj por la apogilparametro, heredaĵformato estis uzita por la produktaĵo. Tiu formato estas malrekomendita, kaj en la estonteco, normalvaloro estos metita por la apogilparametro, igante la novan formaton ĉiam esti uzita. )
 Ilka Agricola, Thomas Friedrich: Elementa geometrio. AMS 2008, ISBN 9780821843475, p. 25 ()
 Eŭklido:Elementoj, libro II - apogilo. 14, libro VI - apogilo. 8, (reta kopio)

Kategorio:Areo
Kategorio:Eŭklida ebena geometrio
Kategorio:Historio de geometrio
Kategorio:Teoremoj en ebena geometrio
Kategorio:Trianguloj