Pythagoraan lause | |
---|---|
Nimetty | Pythagoras |
Kaava, joka kuvaa lakia tai lausetta | |
Nimitys kaavassa | , ja |
Elementti tai lause kuvaa | suorakulmainen kolmio |
Kuvattu linkissä | geogebra.org/m/ZF… ( englanti) |
Mediatiedostot Wikimedia Commonsissa |
Pythagoraan lause on yksi euklidisen geometrian peruslauseista, joka määrittää suoran kolmion sivujen välisen suhteen : jalkojen pituuksien neliöiden summa on yhtä suuri kuin hypotenuusan pituuden neliö .
Suhde oli tavalla tai toisella tiedossa useissa muinaisissa sivilisaatioissa kauan ennen aikakauttamme; ensimmäinen geometrinen todistus johtuu Pythagoras . Lauseke esiintyy lauseena 47 Euklidin elementeissä [ .
Voidaan myös ilmaista geometrisena tosiasiana, että hypotenuusalle rakennetun neliön pinta-ala on yhtä suuri kuin jalkoihin rakennettujen neliöiden pinta-alojen summa. Myös käänteinen lause on totta : kolmio, jossa kahden sivun pituuksien neliöiden summa on yhtä suuri kuin kolmannen sivun pituuden neliö, on suorakulmainen kolmio.
Tästä lauseesta on olemassa useita yleistyksiä - mielivaltaisille kolmioille , suurempien tilojen hahmoille. Ei -euklidisissa geometrioissa lause ei päde .
Matematiikan historioitsija Moritz Cantorin mukaan muinaisessa Egyptissä kuningas Amenemhet I :n aikana (noin 23. vuosisadalla eKr. ) tiedettiin suorakulmaisesta kolmiosta, jonka sivut olivat 3, 4, 5 - sitä käyttivät harpedonaptit - " köydenkiristimet" [1] . Muinaisessa babylonialaisessa tekstissä, joka juontaa juurensa Hammurabin ajalle ( XX vuosisata eKr. ), on esitetty hypotenuusan likimääräinen laskelma [2] . Van der Waerdenin mukaan on hyvin todennäköistä, että suhde yleisesti tunnettiin Babylonissa jo noin 1700-luvulla eKr. e.
Muinaisessa kiinalaisessa kirjassa " Zhou bi suan jing ", joka on päivätty 5.-3. vuosisadalle eKr. eli kolmio, jonka sivut ovat 3, 4 ja 5, on annettu, lisäksi kuva voidaan tulkita graafiseksi perusteluksi lauseen suhteelle [3] . Kiinalaisessa tehtäväkokoelmassa " Mathematics in Nine Books " (X-II vuosisatoja eKr.) erillinen kirja on omistettu lauseen soveltamiselle.
On yleisesti hyväksyttyä, että todisteen korrelaatiosta antoi antiikin kreikkalainen filosofi Pythagoras (570-490 eKr.). Proklokselta ( 412-485 jKr.) on todisteita siitä, että Pythagoras käytti algebrallisia menetelmiä Pythagoraan kolmioiden löytämiseen [ [4] , mutta viiteen vuosisataan Pythagoraan kuoleman jälkeen ei ole suoraa mainintaa hänen kirjoittajuudestaan. Kuitenkin, kun Plutarch ja Cicero kirjoittavat Pythagoraan lauseesta, sisällöstä seuraa, että Pythagoraan kirjoittaja on hyvin tunnettu ja kiistaton [5] [6] . Diogenes Laertesin raportoima legenda , jonka mukaan Pythagoras juhli lauseensa löytöä jättimäisellä juhlalla teurastaen sata härkää ilosta [7] .
Noin 400 eaa. esim. Prokloksen mukaan Platon antoi menetelmän Pythagoraan kolmioiden löytämiseksi yhdistämällä algebran ja geometrian. Noin 300 eaa. e. Eukleideen "elementeissä" ilmestyi Pythagoraan lauseen vanhin aksiomaattinen todiste [8] .
Pääformulaatio sisältää algebrallisia operaatioita - suorakulmaisessa kolmiossa, jonka jalkojen pituus on yhtä suuri kuin ja ja hypotenuusan pituus on , relaatio
Vastaava geometrinen muotoilu on myös mahdollista turvautumalla kuvioalueen käsitteeseen : suorakulmaisessa kolmiossa hypotenuusalle rakennetun neliön pinta-ala on yhtä suuri kuin jalkoihin rakennettujen neliöiden pinta-alojen summa. Tässä muodossa lause on muotoiltu Euklidesin elementeissä.
Pythagoraan käänteislause on väite minkä tahansa kolmion suorakulmaisuudesta, jonka sivujen pituudet liittyvät suhteeseen . Tämän seurauksena kaikki kolminkertaiset positiiviset numerot , Ja Sellainen, että On olemassa suorakulmainen kolmio jalat ja ja hypotenuusa .
Tieteelliseen kirjallisuuteen on tallennettu ainakin 400 Pythagoraan lauseen [9] todistetta , mikä selittyy sekä geometrian perusarvolla että tuloksen alkeellisella luonteella. Todistuksen pääsuunnat ovat: kolmioelementtien suhteiden algebrallinen käyttö ( esim. suosittu samankaltaisuusmenetelmä ), pinta-alamenetelmä , on myös erilaisia eksoottisia todisteita (esim. differentiaaliyhtälöitä käyttäen).
Yksi suosituimmista algebrallisen muotoilun todisteista oppikirjallisuudessa on kolmion samankaltaisuustekniikkaa käyttävä todistus , kun taas se on lähes suoraan johdettu aksioomista eikä sisällä käsitettä kuvion pinta-alasta . [10] Siinä kolmiolle , jonka kärjessä on suora kulma ja jonka sivut ovat vastakkaiset kärkeen nähden , piirretään korkeus ja ( kahden kulman yhtäläisyyskriteerin mukaan) syntyy samankaltaisuussuhteita : ja , josta suhteet suoraan seuraavat
Kun kerrotaan suhteiden äärijäsenet , johdetaan yhtäläisyydet
komponentti kerrallaan lisääminen antaa halutun tuloksen:
Suuri joukko todisteita sisältää alueen käsitteen. Huolimatta monien näennäisestä yksinkertaisuudesta, tällaiset todistukset käyttävät kuvioiden alueiden ominaisuuksia, joiden todistukset ovat monimutkaisempia kuin itse Pythagoraan lauseen todistukset.
EkvivalenssitodistusEkvikomplementaatiotodistuksessa käytetään neljää kopiota suorakulmaisesta kolmiosta, jossa on jalat ja hypotenuusa , jotka on järjestetty muodostamaan neliö, jossa on sivut ja sisäinen nelikulmio, jonka sivut ovat pitkiä . Sisäinen nelikulmio tässä konfiguraatiossa on neliö , koska kahden oikean kulman vastakkaisen terävän kulman summa on 90° ja suorakulma on 180°. Ulomman neliön pinta-ala on yhtä suuri kuin , se koostuu sisäneliöstä, jonka pinta -ala on ja neljä suorakulmaista kolmiota, joista jokaisella on pinta-ala , joten lauseen lause seuraa suhteesta algebrallisen muunnoksen aikana .
Eukleideen todisteEukleideen klassisen todistuksen tavoitteena on määrittää pinta-alojen yhtäläisyys niiden suorakulmioiden välillä, jotka on muodostettu leikkaamalla hypotenuusan yläpuolella oleva neliö jalkojen yläpuolella olevien neliöiden korkeus oikeasta kulmasta. [yksitoista]
Todistuksessa käytetty rakenne on seuraava: suorakulmaiselle kolmiolle , jossa on suora kulma , neliöt jalkojen päällä ja ja neliö hypotenuusan päällä , rakennetaan korkeus ja säde, joka jatkaa sitä jakaa neliön hypotenuusan yli kahteen suorakulmioon ja . Todistuksen tarkoituksena on määrittää suorakulmion pinta-alojen yhtäläisyys jalan yläpuolella olevan neliön kanssa ; toisen suorakulmion, joka on hypotenuusan yläpuolella oleva neliö, ja toisen jalan yläpuolella olevan suorakulmion pinta-alojen yhtäläisyys määritetään samalla tavalla.
Suorakulmion pinta-alojen yhtäläisyys määritetään kolmioiden ja -kongruenssilla , joiden kunkin pinta-ala on yhtä suuri kuin puolet suorakulmioiden pinta-alasta ja vastaavasti seuraavan ominaisuuden yhteydessä: pinta-ala kolmion pinta-ala on yhtä suuri kuin puolet suorakulmion pinta-alasta, jos kuvioilla on yhteinen sivu, ja kolmion korkeus yhteiseen sivuun on suorakulmion toinen puoli. Kolmioiden kongruenssi seuraa kahden sivun (neliöiden sivut) ja niiden välisen kulman (joka koostuu suorasta kulmasta ja kulmasta ) tasa-arvosta.
Siten todiste osoittaa, että hypotenuusan yläpuolella olevan neliön pinta-ala, joka koostuu suorakulmioista ja , on yhtä suuri kuin jalkojen yläpuolella olevien neliöiden pinta-alojen summa.
Todiste Leonardo da VincistäAlueiden menetelmään liittyy myös Leonardo da Vincille kuuluva todiste . Saksalaisen matemaatikon Franz Lemmermeyerin mukaan tämän todisteen itse asiassa keksi Johann Tobias Mayer [12] . Olkoon suorakulmainen kolmio , jossa on suora kulma ja neliöt , Ja annetaan (katso kuva). Tässä todistuksessa kolmio on rakennettu puolelle jälkimmäistä ulkopuolelle, yhteneväinen , lisäksi heijastuu sekä suhteessa hypotenuusaan että suhteessa sen korkeuteen (eli ja ). Suora jakaa hypotenuusalle rakennetun neliön kahteen yhtä suureen osaan, koska kolmiot ja ovat rakenteeltaan yhtä suuret. Todistus vahvistaa nelikulmion ja -kongruenssin , joiden jokaisen pinta-ala on yhtä suuri kuin puolet jalkojen neliöiden pinta-aloista ja alkuperäisen kolmion pinta-alan summasta. toisaalta puoleen hypotenuusan neliön pinta-alasta plus alkuperäisen kolmion pinta-ala. Kaiken kaikkiaan puolet jalkojen yli olevien neliöiden pinta-alojen summasta on yhtä suuri kuin puolet hypotenuusan yläpuolella olevan neliön pinta-alasta, mikä vastaa Pythagoraan lauseen geometrista muotoilua.
Samankaltaisten kolmioiden alueiden läpiSeuraava todistus perustuu siihen, että samankaltaisten kolmioiden pinta-alat ovat suhteessa vastaavien sivujen neliöihin. [13]
Olkoon suorakulmainen kolmio, jonka kohtisuora putoaa hypotenuusaan oikean kulman kärjestä. Kolmiot ovat samanlaisia, koska niillä on suora kulma ja yhteinen kulma . Keinot
Samalla tavalla saamme sen
Koska kolmiot ja yhdessä muodostavat , ja pinta-alojen summa on yhtä suuri kuin pinta-ala . Täältä
tai
On olemassa useita todisteita, jotka turvautuvat differentiaaliyhtälöiden tekniikkaan . Erityisesti Hardylle on myönnetty todistus, joka käyttää äärettömän pieniä jalkojen ja ja hypotenuusan lisäyksiä . Esimerkiksi jalan kasvattaminen, kun jalka on vakio , johtaa hypotenuusan kasvattamiseen , joten
Muuttujien erotusmenetelmällä niistä johdetaan differentiaaliyhtälö , jonka integrointi antaa suhteen . Alkuehtojen soveltaminen määrittelee vakion muodossa , mikä johtaa lauseen väitteeseen.
Neliöllinen riippuvuus lopullisessa kaavassa johtuu kolmion sivujen ja inkrementtien välisestä lineaarisesta suhteellisuudesta, kun taas summa johtuu eri haarojen lisäyksestä riippumattomista lisäyksistä.
Tärkeän Pythagoraan lauseen geometrisen yleistyksen antoi Eukleides Principiassa siirtyen sivuilla olevien neliöiden pinta-aloista mielivaltaisten samankaltaisten geometristen kuvioiden alueisiin [14] : tällaisten jaloille rakennettujen kuvioiden pinta-alojen summa olla yhtä suuri kuin niitä vastaavan hahmon pinta-ala, joka on rakennettu hypotenuusalle.
Tämän yleistyksen pääidea on, että tällaisen geometrisen hahmon pinta-ala on verrannollinen minkä tahansa sen lineaarimitan neliöön ja erityisesti minkä tahansa sivun pituuden neliöön. Siksi samankaltaisille kuvioille, joiden alueet ja , jotka on rakennettu jaloille, joiden pituus on ja ja hypotenuusa , seuraava suhde pätee:
.Koska Pythagoraan lauseen mukaan , niin .
Lisäksi, jos Pythagoraan lausetta käyttämättä on mahdollista todistaa, että suorakulmaisen kolmion sivuilla olevan kolmen samanlaisen geometrisen kuvion pinta-aloilla suhde täyttyy , niin käyttämällä Eukleideen yleistyksen todisteen käänteistä voi johtaa Pythagoraan lauseen todisteen. Esimerkiksi, jos hypotenuusalle rakennamme suorakulmaisen kolmion, joka on yhdenmukainen alkuperäisen kolmion kanssa, jonka pinta-ala on , ja jaloille - kaksi samanlaista suorakulmaista kolmiota, joiden alueet ja , niin käy ilmi, että jalkojen kolmiot muodostuvat tuloksena jakamalla alkukolmio sen korkeudella, eli kahden pienemmän kolmion alueen summa on yhtä suuri kuin pinta-ala kolmas, tällä tavalla ja soveltamalla suhdetta vastaaviin lukuihin päätetään Pythagoran lause.
Pythagoraan lause on erikoistapaus yleisemmästä kosinilauseesta, joka suhteuttaa mielivaltaisen kolmion sivujen pituudet [15] :
,missä on sivujen välinen kulma ja . Jos kulma on 90°, niin , ja kaava yksinkertaistetaan tavalliseen Pythagoraan lauseeseen.
Pythagoraan lause on yleistetty mielivaltaiseksi kolmioksi, joka toimii pelkästään sivujen pituuksien suhteen. Uskotaan, että sen perusti ensin sabian tähtitieteilijä Thabit ibn Qurra [16] . Siinä mielivaltaiselle kolmiolle, jonka sivut ovat , siihen on kirjoitettu tasakylkinen kolmio , jonka sivulle on kanta , jonka kärki osuu yhteen alkuperäisen kolmion kärjen kanssa, vastapäätä sivua ja kulmat pohjassa, joka on yhtä suuri kuin kulmaa vastapäätä. puolella . Tuloksena muodostuu kaksi alkuperäisen kaltaista kolmiota: ensimmäinen, jossa on sivut , siitä kauimpana olevan tasakylkisen kolmion sivusivu ja - sivun osat ; toinen on symmetrinen sille puolelta sivun kanssa - vastaava sivun osa . Tämän seurauksena suhde [17] [18]
rappeutumassa Pythagoraan lauseeksi klo . Suhde on seurausta muodostuneiden kolmioiden samankaltaisuudesta:
Pappuksen pinta-alalause , joka sallii mielivaltaisen kolmion ja mielivaltaiset suunnikkaat sen kahdella sivulla rakentaa suunnikkaan kolmannelle sivulle siten, että sen pinta-ala on yhtä suuri kuin kahden annetun suunnikkaan pinta-alojen summa. yleistyksenä Pythagoraan lauseesta [19] : siinä tapauksessa, että alkuperäinen kolmio on suorakulmainen ja neliöt on annettu suunnikasina jaloissa, hypotenuusalle rakennettu neliö osoittautuu täyttävän Pappus-alueen ehdot. lause.
Pythagoraan lauseen yleistys kolmiulotteiselle euklidiselle avaruudelle on de Guan lause : jos kolme suoraa kulmaa konvergoi tetraedrin yhdessä kärjessä , niin tämän kärjen vastakkaisen kasvon pinta-alan neliö on yhtä suuri kuin kolmen muun pinnan alueiden neliöt. Tämä johtopäätös voidaan myös yleistää " n - ulotteisena Pythagoraan lauseena" suurempien ulottuvuuksien euklidisille avaruuksille [20] - ortogonaalisen -ulotteisen simpleksin pinnoille, joissa on ortogonaaliset pinta-alat ja niiden vastakkainen alue , suhde täyttyy. :
.Toinen moniulotteinen yleistys johtuu ongelmasta löytää suorakaiteen muotoisen laatikon diagonaalin pituus : sen laskemiseksi sinun on sovellettava Pythagoraan lausetta kahdesti, minkä seurauksena se on pituuksien neliöiden summa. laatikon kolmesta vierekkäisestä sivusta. Yleensä diagonaali- ulotteisen kuution pituus, jossa on vierekkäiset sivut pituuksilla, on:
,Kuten kolmiulotteisessa tapauksessa, tulos on seurausta Pythagoraan lauseen peräkkäisestä soveltamisesta suorakulmaisiin kolmioihin kohtisuorassa tasossa.
Pythagoraan lauseen yleistys äärettömän ulottuvuuden avaruudelle on Parsevalin yhtälö [21] .
Pythagoraan lause on johdettu euklidisen geometrian aksioomeista ja ei kelpaa ei-euklidiselle geometrialle [22] – Pythagoraan lauseen toteutuminen vastaa Eukleideen rinnakkaispostulaattia [23] [24] .
Ei-euklidisessa geometriassa suorakulmaisen kolmion sivujen välinen suhde on välttämättä eri muodossa kuin Pythagoraan lause. Esimerkiksi pallogeometriassa suorakulmaisen kolmion kaikilla kolmella yksikköpallon oktanttia rajoittavilla sivuilla on pituus , mikä on ristiriidassa Pythagoraan lauseen kanssa.
Samanaikaisesti Pythagoran lause pätee hyperbolisessa ja elliptisessä geometriassa, jos kolmion suorakulmainen vaatimus korvataan ehdolla, että kolmion kahden kulman summan on oltava yhtä suuri kuin kolmas [25] .
PallogeometriaJokaiselle suorakulmaiselle kolmiolle pallolla, jonka säde (esimerkiksi jos kolmion kulma on suorakulmainen kolmio), jossa on sivuja, sivujen välinen suhde on muotoa [26]
Tämä yhtäläisyys voidaan johtaa pallokosinisilauseen erikoistapauksena , joka pätee kaikkiin pallomaisiin kolmioihin:
Käyttämällä Taylor-sarjaa kosinifunktiossa ( ) voidaan osoittaa, että jos säde pyrkii äärettömyyteen ja argumentit , ja nollaan, niin suorakulmaisen kolmion sivujen välinen pallosuhde lähestyy Pythagoran lausetta.
Lobatševskin geometriaLobatševskin geometriassa suorakulmaiselle kolmiolle, jonka sivut ovat oikean kulman vastakkaisia, sivujen välinen suhde on seuraava [27] :
,missä on hyperbolinen kosini [28] . Tämä kaava on hyperbolisen kosinilauseen erikoistapaus, joka pätee kaikkiin kolmioihin [29] :
,missä on kulma, jonka kärki on vastakkainen sivua .
Käyttämällä Taylor-sarjaa hyperboliselle kosinille ( ) voidaan osoittaa, että jos hyperbolinen kolmio pienenee (eli kun , ja pyrkii nollaan), niin suorakulmaisen kolmion hyperboliset suhteet lähestyvät klassisen Pythagoraan lauseen relaatiota.
Pythagoraan lauseen tärkein sovellus on kahden pisteen välisen etäisyyden määrittäminen suorakaiteen muotoisessa koordinaatistossa : etäisyys pisteiden välillä, joiden koordinaatit ja on yhtä suuri kuin
Kompleksiluvuille Pythagoran lause antaa luonnollisen kaavan kompleksiluvun moduulin löytämiseksi - sillä se on yhtä suuri kuin sädevektorin pituus kompleksitasolla pisteeseen :
Kompleksilukujen välinen etäisyys esitetään myös Pythagoraan lauseen [30] muodossa :
.
Tässä R on Lobatševskin tason kaarevuussäde , ch on hyperbolinen kosini .
Euklidinen metriikka - etäisyysfunktio euklidisissa avaruudessa , määritetty Pythagoraan lauseella, sen suoralla soveltamisella kaksiulotteisessa tapauksessa ja peräkkäisessä moniulotteisessa tapauksessa; -ulotteisen avaruuden pisteille ja niiden välinen etäisyys määritetään seuraavasti:
.Pythagoraan kolmoisluku on kolmen luonnollisen luvun joukko , jotka voivat olla suorakulmaisen kolmion sivujen pituuksia, eli luonnollisia lukuja, jotka täyttävät diofantiiniyhtälön . Pythagoraan kolmosilla on tärkeä rooli lukuteoriassa , ja ongelma niiden löytämisessä tehokkaasti on synnyttänyt monenlaisia teoksia antiikin ajoista nykypäivään. Fermatin viimeisen lauseen muotoilu on samanlainen kuin Pythagoraan kolmoiskappaleiden löytäminen asteelle, joka on suurempi kuin 2.
Ainoa Pythagoraan kolmoiskappale, joka koostuu kolmesta peräkkäisestä luvusta, on 3, 4 ja 5: [31] .
Yksi lauseen todisteen kuvista liittyy venäläisen kouluperinteen suosittuun ilmaisuun "Pytagoralaiset housut ovat tasa-arvoisia kaikilta puolilta", joka sai erityisen mainetta vuoden 1915 koopperan Ivanov Pavel [32] [ 33] ansiosta .
![]() | ||||
---|---|---|---|---|
|
Kolmio | |
---|---|
Kolmioiden tyypit | |
Ihanat linjat kolmiossa | |
Kolmion merkittäviä pisteitä | |
Peruslauseet | |
Lisälauseita | |
Yleistykset |
Trigonometria | |
---|---|
Kenraali |
|
Hakemisto | |
Lait ja lauseet | |
Matemaattinen analyysi |