Egybevgsg

1
Egybevgsg
Az egybevgsg geometriai fogalom. Kt geometriai alakzat akkor egybevg, ha tvolsgtart transzformcival
lekpezhetek egymsra, azaz ha eltolssal, forgatssal, tkrzssel fedsbe hozhatk. A geometria Hilbert-fle
aximarendszerben az egybevgsg alapfogalom. Halmazelmleti rtelemben az egybevgsg
ekvivalenciarelci a trbeli alakzatok halmazn.
Sokszor rviden egybevgsgnak nevezik a tvolsgtart transzformcikat is.
Jellse
s szakaszok egybevgsgt a kvetkezkppen jelljk:
vagy
Tulajdonsgai
Legyenek , tetszleges egyenesek, , az a egyenes tetszleges pontjai, pedig a egyenes
tetszleges pontja. Ekkor a egyenesen az pont egy adott oldaln pontosan egy olyan pont van, hogy
teljesl.
Minden szakasz egybevg sajt magval, azaz tetszleges , pontokra teljesl, hogy .
Ha az szakasz egybevg az szakasszal is s az szakasszal is, akkor az szakasz
egybevg az szakasszal.
Legyenek , az egyenesre illeszked szakaszok gy, hogy az , szakaszoknak a pont
az egyetlen kzs pontjuk, legyenek tovbb , az egyenesre illeszked szakaszok gy, hogy az
, szakaszoknak a pont az egyetlen kzs pontjuk. Ekkor ha s ,
akkor .
Legyen egy tetszleges szg az skon, ahol a s a szg szrait meghatroz
flegyenesek, legyen tovbb a sk egy tetszleges egyenese s jellje az valamely
pontjbl kiindul egyik flegyenest. Ekkor az skon pontosan egy olyan, az pontbl kiindul
flegyenes ltezik, amelyre az (vagy ) egybevgsg teljesl s
a szg bels pontjai az egyenes egy elre megadott oldaln fekszenek.
Minden szg egybevg sajt magval, azaz tetszleges szgre teljesl.
Ha az szg egybevg a szggel is s az szggel is, akkor a szg
egybevg az szggel.
Legyen s kt tetszleges hromszg. Ha teljeslnek a , s
egybevgsgok, akkor az s
egybvgsgok is teljeslnek.
Trtnete
Az egybevgsg fogalmt Euklidsz Elemek cm munkjban mg az "egyenl s hasonl" kifejezs rja krl.
[1]
A geometria tantsnak ez az euklidszi m maradt az alapja egszen Hilbert Die Grundlagen der Geometrie cm
tanulmnynak megjelensig. Hilbert az egybevgsgot mr a geometria egyik alapfogalmaknt kezeli, s ennek
az alapfogalomnak a tulajdonsgait az ltala javasolt aximarendszerben az gynevezett egybevgsgi aximk
rjk le. Hilbert ta a geometria s ezen bell az euklidszi geometria tbb klnbz aximarendszert is
kidolgoztk
[2]
, ezekben mr az egybevgsg nem felttlenl alapfogalom, de ezekben az esetekben a Hilbert-fle
egybevgsgi aximk termszetesen levezethetek az adott aximarendszer aximibl.
Egybevgsg
2
Jegyzetek
[1] Lsd Euklidsz: Elemek I. knyv Mauer Gyula fordtsban s jegyzeteivel a MEK oldaln (http:/ / mek. oszk. hu/ 00800/ 00857/ html/
ikonyv. htm)
[2] Lsd pldul Tarski aximarendszert.
Hivatkozsok
David Hilbert, 1980 (1899). The Foundations of Geometry (http:/ / www. gutenberg. org/ files/ 17384/ 17384-pdf.
pdf), 2nd ed. Chicago: Open Court.
Kls hivatkozsok
The SSS (http:/ / www. cut-the-knot. org/ pythagoras/ SSS. shtml)
The SSA (http:/ / www. cut-the-knot. org/ pythagoras/ SSA. shtml)
Egybevg szgek (http:/ / www. mathopenref. com/ congruentangles. html) interaktv animcival
Egybevg szakaszok (http:/ / www. mathopenref. com/ congruentlines. html) interaktv animcival
Szcikkek forrsa s kzremkdi
3
Szcikkek forrsa s kzremkdi
Egybevgsg Forrs: http://hu.wikipedia.org/w/index.php?oldid=9919352 Kzremkdk:: GaborLajos, Gubbubu, Hkoala, Kaboldy, Qorilla, Szalakta, Trevor, 2 nvtelen szerkeszts
Licenc
Creative Commons Attribution-Share Alike 3.0 Unported
//creativecommons.org/licenses/by-sa/3.0/