Sličnost (geometrija)
Dva geometrijska objekta se nazivaju sličnim ako imaju isti oblik, ili jedan ima isti oblik kao lik u ogledalu drugog. Preciznije, jedan se može dobiti od drugog ravnomernim skaliranjem (uvećavanjem ili smanjivanjem), i po potrebi sa dodatnom translacijom, rotacijom i refleksijom. To znači da se oba objekta mogu reskalirati, repozicionirati i reflektovati, tako da se tačno poklapaju s drugim objektom. Ako su dva objekta slična, svaki od njih je podudaran sa rezultatom određenog ravnomernog skaliranja drugog.
Na primer, svi krugovi su slični jedni drugima, svi kvadrati su međusobno slični, a svi jednakostranični trouglovi su međusobno slični. S druge strane, elipse nisu slične jedna drugoj, pravougaonici nisu svi međusobno slični, a jednakokraki trouglovi nisu svi slični jedan drugom.
Ako dva ugla trougla imaju mere jednake merama dva ugla drugog trougla, onda su trouglovi slični. Odgovarajuće strane sličnih poligona su proporcionalne, a odgovarajući uglovi sličnih poligona imaju istu meru.
U ovom članku se pretpostavlja da skaliranje može imati faktor skale od 1, tako da su svi podudarni oblici takođe slični, mada neki školski udžbenici eksplicitno isključuju kongruentne trouglove iz njihove definicije sličnih trouglova insistirajući da se veličine moraju razlikovati, ako su trouglovi kvalifikuju kao slični.
Slični trouglovi
[уреди | уреди извор]U geometriji dva trougla, △ABC i △A′B′C′, su slična ako i samo ako korespondirajući uglovi imaju istu meru: to znači da su slični ako i samo ako su dužine odgovarajućih strana proporcionalne.[1] Može se pokazati da su dva trougla koja imaju kongruentne uglove (jednakougaoni trouglovi) slični, odnosno može se dokazati da su odgovarajuće strane proporcionalne. To je poznato kao AAA teorema sličnosti.[2] Neophodno je napomenuti da je „AAA” mnemonička konstrukcija: svako od tri „A” odnosi se na jedan ugao. Usled ove teoreme, nekoliko autora pojednostavljuje definiciju sličnih trouglova da bi se samo zahtevalo da su odgovarajuća tri ugla kongruentna.[3]
Postoji nekoliko tvrdnji od kojih je svaka neophodna i dovoljna da bi dva trougla bila slična:
- Trouglovi imaju dva kongruentna ugla,[4] koji u euklidskoj geometriji podrazumevaju da su svi njihovi uglovi kongruentni.[5] Drugim rečima:
- Ako je ∠BAC jednake mere sa ∠B′A′C′, i ∠ABC jednake mere sa ∠A′B′C′, onda se iz toga podrazumeva da je ∠ACB jednake mere ∠A′C′B′ i da su trouglovi slični.
- Sve korespondirajuće strane imaju dužine istog odnosa:[6]
- AB/A′B′ = BC/B′C′ = AC/A′C′. Ovo je ekvivalentno tvrdnji da je jedan trougao (ili njegov odraz u ogledlu) uvećanje drugog.
- Dve strane imaju dužine istog odnosa, i uglovi između ovih strana imaju istu meru.[7] Na primer:
- AB/A′B′ = BC/B′C′ i ∠ABC ima istu meru sa ∠A′B′C′.
Ovo je poznato kao SAS kriterijum sličnosti.[8] „SAS” je mnemonička konstrukcija: svaki od dva „S” se odnosi na stranicu (engl. side), dok se „A” odnosi na ugao (engl. angle) između stranica.
Kad su dva trougla △ABC i △A′B′C′ slična, piše se[9]:p. 22
- △ABC ∼ △A′B′C′.
Postoji nekoliko elementarnih rezultata koji se tiču sličnih trouglova u euklidskoj geometriji:[10][11]
- Svaka dva jednakostranična trougla su slična.
- Dva trougla, oba slična trećem trouglu, su međusobno slična (tranzitivnost sličnosti trouglova).
- Korespondirajuće visine sličnih trouglova imaju isti odnos kao i odgovarajuće strane.
- Dva pravougaona trougla su slična ako hipotenuza i jedna druga strana imaju dužine u istom odnosu.[12]
Polazeći od trougla △ABC i linijskog segmenta DE, može se pomoću lenjira i šestara pronaći tačka F takva da je △ABC ∼ △DEF. Tvrdnja da tačka F zadovoljava ovaj uslov postoji kao Valisov postulat[13] i logički je ekvivalentna Euklidovom postulatu paralelnosti.[14] U hiperboličkoj geometriji (gde je Valisov postulat ne važi) slični trouglovi su kongurentni.
U aksiomatskom tretmanu euklidske geometrije koji je dao G.D. Birkof (pogledajte Birkofove aksiome),[15][16][17] SAS kriterijum sličnosti naveden gore je korišten da se zameni Euklidov postulat paralelnosti i SAS aksiom, što je omogućilo dramatično skraćivanje Hilbertovih aksioma.[8]
Slični trouglovi pružaju osnovu za mnoge sintetičke (bez upotrebe koordinata) dokaze u euklidskoj geometriji.[18][19] Među elementarnim rezultatima koji se mogu dokazati na ovaj način su: teorema ugaone simetrale,[20] teorema geometrijske sredine, Čevova teorema, Menelajeva teorema[21][22] i Pitagorina teorema. Slični trouglovi takođe pružaju osvno za trigonometriju pravog trougla.[23]
U euklidskom prostoru
[уреди | уреди извор]Sličnost (koja se naziva i transformacija sličnosti ili upoređenje) euklidskog prostora je bijekcija f iz prostora na sebe koja množi sve udaljenosti sa istim pozitivnim realnim brojem r, tako da za bilo koje dve tačke x i y postoji
gde je „d(x,y)” euklidsko rastojanje od x do y.[24] Skalar r ima mnogo imena u literaturi uključujući; odnos sličnosti, faktor rastezanja i koeficijent sličnosti. Kada je r = 1, sličnost se naziva izometrija (rigidna transformacija). Dva skupa se nazivaju sličnima ako je jedan slika drugog pod sličnošću.
Kao mapa f : ℝn → ℝn, sličnost odnosa r ima oblik
gde je A ∈ On(ℝ) jedna n × n ortogonalna matrica i t ∈ ℝn je translacioni vektor.
Sličnosti čuvaju ravni, prave, perpendikularnost, paralelizam, sredine, nejednakosti između rastojanja i segmenata pravca.[25] Sličnosti čuvaju uglove, ali ne čuvaju nužno orijentaciju, direktne sličnosti čuvaju orijentaciju, a suprotne sličnosti je menjaju.[26]
Sličnosti euklidskog prostora čine grupu pod operacijom kompozicije koja se naziva grupa sličnosti S.[27] Direktne sličnosti formiraju normalnu podgrupu od S i euklidska grupa E(n) izometrija takođe formira normalnu podgrupu.[28] Grupa sličnosti S je sama po sebi podgrupa afine grupe, tako da je svaka sličnost afina transformacija.[29][30]
Euklidska ravan se može posmatrati kao kompleksna ravan,[31] odnosno kao dvodimenzionalni prostor nad realnim. 2D transformacije sličnosti se tada mogu izraziti u kontekstu kompleksne aritmetike i date su sa f(z) = az + b (direktne sličnosti) i f(z) = az + b (suprotne sličnosti), gde su a i b kompleksni brojevi, a ≠ 0. Kada je |a| = 1, ove sličnosti su izometrije.
Reference
[уреди | уреди извор]- ^ Sibley 1998, p. 35
- ^ Stahl 2003, p. 127. This is also proved in Euclid's Elements, Book VI, Proposition 4.
- ^ For instance, Venema 2006, p. 122 and Henderson & Taimiṇa 2005, p. 123
- ^ Euclid's elements Book VI Proposition 4.
- ^ This statement is not true in Non-euclidean geometry where the triangle angle sum is not 180 degrees.
- ^ Euclid's elements Book VI Proposition 5
- ^ Euclid's elements Book VI Proposition 6
- ^ а б Venema 2006, p. 143
- ^ Posamentier, Alfred S. and Lehmann, Ingmar. The Secrets of Triangles, Prometheus Books, 2012.
- ^ Jacobs 1974, pp. 384 - 393
- ^ Pambuccian, Victor; Schacht, Celia (2021), „The Case for the Irreducibility of Geometry to Algebra”, Philosophia Mathematica, 29 (4), doi:10.1093/philmat/nkab022
- ^ Hadamard, Jacques (2008), Lessons in Geometry, Vol. I: Plane Geometry, American Mathematical Society, Theorem 120, p. 125, ISBN 9780821843673
- ^ Named for John Wallis (1616–1703)
- ^ Venema 2006, p. 122
- ^ Birkhoff, George David (1932), „A Set of Postulates for Plane Geometry (Based on Scale and Protractors)”, Annals of Mathematics, 33 (2): 329—345, JSTOR 1968336, doi:10.2307/1968336, hdl:10338.dmlcz/147209
- ^ Birkhoff, George David; Beatley, Ralph (2000) [first edition, 1940], Basic Geometry (3rd изд.), American Mathematical Society, ISBN 978-0-8218-2101-5
- ^ Kelly, Paul Joseph; Matthews, Gordon (1981), The non-Euclidean, hyperbolic plane: its structure and consistency, Springer-Verlag, ISBN 0-387-90552-9
- ^ Ernst Kötter (1901). Die Entwickelung der Synthetischen Geometrie von Monge bis auf Staudt (1847) (PDF). Архивирано из оригинала (PDF) 04. 03. 2016. г. Приступљено 27. 06. 2023. (2012 Reprint as ISBN 1275932649)
- ^ Pambuccian, Victor; Schacht, Celia (2021), „The Case for the Irreducibility of Geometry to Algebra”, Philosophia Mathematica, 29 (4), doi:10.1093/philmat/nkab022
- ^ Alfred S. Posamentier: Advanced Euclidean Geometry: Excursions for Students and Teachers. Springer, 2002, ISBN 9781930190856, pp. 3-4
- ^ Benitez, Julio (2007). „A Unified Proof of Ceva and Menelaus' Theorems Using Projective Geometry” (PDF). Journal for Geometry and Graphics. 11 (1): 39—44.
- ^ Moussa, Ali (2011). „Mathematical Methods in Abū al-Wafāʾ's Almagest and the Qibla Determinations”. Arabic Sciences and Philosophy. Cambridge University Press. 21 (1): 1—56. S2CID 171015175. doi:10.1017/S095742391000007X.
- ^ Venema 2006, p. 145
- ^ Smart 1998, стр. 92.
- ^ Yale 1968, стр. 47 Theorem 2.1.
- ^ Pedoe 1988, стр. 179–181.
- ^ Yale 1968, стр. 46.
- ^ Pedoe 1988, стр. 182.
- ^ Nomizu, Katsumi; Sasaki, Takeshi (1994). Affine Differential Geometry: Geometry of Affine Immersions. Cambridge University Press. ISBN 978-0-521-44177-3.
- ^ Berger, Marcel; Cole, M. (1987). Geometry I. Springer Science & Business Media. ISBN 978-3-540-11658-5.
- ^ This traditional term, as explained in its article, is a misnomer. This is actually the 1-dimensional complex line.
Literatura
[уреди | уреди извор]- Henderson, David W.; Taimina, Daina (2005), Experiencing Geometry/Euclidean and Non-Euclidean with History (3rd изд.), Pearson Prentice-Hall, ISBN 978-0-13-143748-7
- Jacobs, Harold R. (1974), Geometry, W.H. Freeman and Co., ISBN 0-7167-0456-0
- Pedoe, Dan (1988) [1970], Geometry/A Comprehensive Course, Dover, ISBN 0-486-65812-0
- Sibley, Thomas Q. (1998), The Geometric Viewpoint/A Survey of Geometries, Addison-Wesley, ISBN 978-0-201-87450-1
- Smart, James R. (1998), Modern Geometries (5th изд.), Brooks/Cole, ISBN 0-534-35188-3
- Stahl, Saul (2003), Geometry/From Euclid to Knots, Prentice-Hall, ISBN 978-0-13-032927-1
- Venema, Gerard A. (2006), Foundations of Geometry, Pearson Prentice-Hall, ISBN 978-0-13-143700-5
- Yale, Paul B. (1968), Geometry and Symmetry, Holden-Day
- Judith N. Cederberg (1989, 2001) A Course in Modern Geometries, Chapter 3.12 Similarity Transformations, pp. 183–9, Springer ISBN 0-387-98972-2. .
- H.S.M. Coxeter (1961,9) Introduction to Geometry, §5 Similarity in the Euclidean Plane, pp. 67–76, §7 Isometry and Similarity in Euclidean Space, pp 96–104, John Wiley & Sons.
- Günter Ewald (1971) Geometry: An Introduction, pp 106, 181, Wadsworth Publishing.
- George E. Martin. Transformation Geometry: An Introduction to Symmetry, Chapter 13 Similarities in the Plane, pp. 136–46, Springer 1982. ISBN 0-387-90636-3..
- Boyer, Carl B. (2004) [1956], History of Analytic Geometry, Dover, ISBN 978-0-486-43832-0
- Greenberg, Marvin Jay (1974), Euclidean and Non-Euclidean Geometries/Development and History, San Francisco: W.H. Freeman, ISBN 0-7167-0454-4
- Halsted, G. B. (1896) Elementary Synthetic Geometry via Internet Archive
- Halsted, George Bruce (1906) Synthetic Projective Geometry, via Internet Archive.
- Hilbert & Cohn-Vossen, Geometry and the imagination.
- Klein, Felix (1948), Elementary Mathematics from an Advanced Standpoint/Geometry, New York: Dover
- Mlodinow, Leonard (2001), Euclid's Window/The Story of Geometry from Parallel Lines to Hyperspace, New York: The Free Press, ISBN 0-684-86523-8
- Heath, Thomas L. (1956). The Thirteen Books of Euclid's Elements (2nd ed. [Facsimile. Original publication: Cambridge University Press, 1925] изд.). New York: Dover Publications.
- Russell, John Wellesley (1905). „Ch. 1 §6 "Menelaus' Theorem"”. Pure Geometry. Clarendon Press.