MATH.E     Hrvatski matematički elektronski časopis math.e
Broj 12
http://e.math.hr/

Afine transformacije ravnine

Harun Šiljak

Sadržaj:

1. Uvod
2. Primjeri riješenih zadataka
3. Zadaci za samostalan rad
Literatura


1. Uvod

Većinu problema iz područja euklidske geometrije moguće je riješiti upotrebom tzv. sintetičkih metoda. Međutim, ponekad traženje tog "elementarnog" rješenja predstavlja teškoću i vrsnim poznavateljima geometrije, tako da su se stoljećima razvijale različite nesintetičke metode (analitička geometrija, kompleksni brojevi u geometriji, vektori), koje su olakšale rješavanje mnogih problema u ovom području. Afine transformacije nalaze se negdje između sintetičkih i nesintetičkih metoda: ne pretvaraju geometrijski problem u algebarski (kao što to čine analitičke metode), ali su neodvojivo povezane s vektorima, vektorskim prostorima i koordinatnim sustavima. U ovom tekstu pokušat ćemo sustavno iznijeti teoriju afinih transformacija u ravnini, prilagođenu srednjoškolskom nivou, te kroz niz ilustrativnih primjera pokazati njihovu primjenu pri rješavanju različitih geometrijskih problema.

Transformaciju ravnine nazivamo afinom ako predstavlja neprekidnu bijekciju koja svaki pravac preslikava u pravac.

Spomenimo još i da se svaka afina transformacija ravnine može predstaviti u obliku

(x, y|-> (ax + by + e, cx + dy + f)

za neke realne konstante a, b, c, d, e, f (zbog bijektivnosti potreban je i uvjet ad − bc ≠ 0). Obično se transformacija prikazuje u formi matrice:

 
x'
z'
  =  
ab
cd
  ·  
x
y
  +  
e
f
  .

Više o matričnim transformacijama ravnine možete saznati iz članka [BJ].

Sva izometrijska preslikavanja su afine transformacije. To je npr. očito za najpoznatije predstavnike izometrijskih preslikavanja: translaciju, rotaciju, osnu i centralnu simetriju. Sljedećih pet teorema predstavlja teorijske osnove afinih transformacija. Napomenimo još i to da su teoremi 2, 4 i 5 osnovno "oružje" u primjeni ove metode u planimetriji, što ćete u nastavku i vidjeti na primjerima.

Na ovome mjestu bilo bi korisno ponoviti osnovne činjenice o vektorskom prostoru V 2, tj. o vektorskoj ravnini. Njezini elementi su vektori - klase međusobno ekvivalentnih orijentiranih dužina. Orijentirane dužine AB i CD su ekvivalentne (tj. predstavljaju isti vektor) ako dužine AD i BC imaju isto polovište. Poznato je da iz svake točke ravnine možemo "nanijeti" bilo koji vektor. Vektore zbrajamo prema "pravilu trokuta": AB + BC = AC. Za više informacija o vektorskoj algebri i teoriji vektorskih prostora, pogledajte [MM].

Afina transformacija ravnine L na prirodan način prenosi se i na vektore: L(AB) = L(A)L(B). Pokažimo najprije da je ova definicija dobra, tj. da ne ovisi o izboru predstavnika vektora.

Lema 1.  Neka su A1, B1, C1, D1 slike točaka A, B, C, D, redom, preslikanih afinom transformacijom L. Ako je AB = CD, tada je A1B1 = C1D1.

Dokaz.  Neka je AB = CD. U slučaju da točke A, B, C i D nisu kolinearne, ABCD je paralelogram. Kako se paralelni pravci preslikavaju u paralelne pravce (što ćemo dokazati u teoremu 2(c)), tako je i A1B1C1D1 također paralelogram, pa je A1B1 = C1D1. Ako su točke A, B, C, D kolinearne, uzmimo točke E i F koje nisu kolinearne s njima tako da je EF = AB. Tada je A1B1 = E1F1 = C1D1.  □

Teorem 1.  Ako je L afina transformacija, tada vrijedi

Dokaz.  (a)  L( 0 ) = L( AA ) = L( A )LA ) = 0 .
(b)  Neka je a = AB i b = BC. Koristeći se definicijama zbrajanja vektora i djelovanja afine transformacije na vektore dobivamo L( AB + BC ) = L( AC ) = L(A)L(C) = L(A)L(B) + L(B)L(C) = L( AB ) + LBC ).
(c)  Uzmimo prvo da je k cijeli broj. Tada za prirodni k vrijedi L(k a ) = L( a + … + a ) = L( a ) + … + La ) = k La ), a za negativni k dovoljno je u prethodnom izrazu iskoristiti k a = (−k)(−a ). Sada, neka je k = mn racionalan broj; n L(k a ) = L(n k a ) = L(m a ) = m La ), pa je L(k a ) = (mn)La ) = k L( a ). Konačno, ako je k iracionalan broj, postoji niz kn racionalnih brojeva koji teže ka k (npr. niz decimalnih aproksimacija broja k). Budući da je L neprekidna funkcija, L(k a ) = L( n→∞ lim kn a ) = n→∞ lim knL( a ) = k La ). □

Teorem 2.  Afine transformacije čuvaju:

Dokaz.  (a)  Slijedi direktno iz činjenice da se afinom transformacijom pravac preslikava u pravac.
(b)  Slijedi iz činjenice da se pravac preslikava u pravac i da je u pitanju bijekcija, jer se tada slika točke presjeka pravaca koji se preslikavaju nalazi u presjeku preslika svakog od tih pravaca.
(c)  Analogno dokazu (b), iz činjenice preslikavanja pravca u pravac i bijektivnosti, slike pravaca koje se ne sijeku, također se ne sijeku.
(d)  Neka je L afina transformacija i neka točka C dijeli dužinu AB u omjeru p : q. Pokažimo da tada i C' dijeli dužinu A'B' u istom omjeru, pri čemu je L(A) = A', L(B) = B' i L(C) = C'. Zbog teorema 1, iz uvjeta q AC = p CB slijedi qA'C' = qL( AC ) = L(qAC) = L(pCB) = pL( CB) = pC'B'.
(e)  Neka su a1 i a2 dva okomita pravca. Budući da afina transformacija čuva omjer duljina na paralelnim pravcima, duljine svih dužina paralelnih s jednim pravcem množe se istim koeficijentom. Označimo s k1 i k2 ove koeficijente za pravce a1 i a2 i neka je ψ kut između preslika ovih pravaca. Pokažimo da dana afina transformacija množi površine svih poligona s k, gdje je k = k1k2 sin ψ. Za pravokutnike stranica paralelnih s a1 i a2 i za pravokutni trokut kateta paralelnih s a1 i a2 tvrdnja očito vrijedi. Bilo koji drugi trokut može se dobiti isijecanjem nekoliko takvih pravokutnih trokuta iz pravokutnika stranica paralelnih s a1 i a2 (slika 1). Dakle, tvrdnja vrijedi za svaki trokut, pa samim time i za svaki poligon (jer je svaki poligon moguće nepresijecajućim dijagonalama podijeliti na trokute). □

slika 1

Slika 1.

Na ovome mjestu valja primijetiti da afine transformacije općenito ne čuvaju udaljenost među točkama, niti kutove. To se jednostavno pokazuje na primjeru transformacije istezanja, definirane kao (xy) → (cxy) za realnu konstantu c ≠ 0. Ovim ograničenjima umnogome su određeni i tipovi problema u kojima se učinkovito mogu primijeniti afine transformacije. Tako je zbog teorema 2 vidljivo da su ove transformacije iznimno korisne pri radu s omjerima, kako dužinskim, tako i površinskim (što će se vidjeti na primjerima), te s konkurentnim i paralelnim pravcima. S druge strane, zbog svojih ograničenja, afine transformacije iznimno su nepraktične u problemima u kojima se javljaju duljine dužina (bez omjera) i kutovi, pa samim time i normale, konciklične točke i slično.

Teorem 3.  Neka su zadane dvije točke u ravnini, O i O', i dvije baze vektorskog prostora V 2, {e1e2} i {e'1e'2}. Tada postoji jedinstvena afina transformacija koja preslikava O u O' i {e1e2} u {e'1e'2}.

Dokaz.  Definirajmo preslikavanje L na sljedeći način. Neka je X proizvoljna točka. Budući da je { e1e2 } baza vektorskog prostora, postoje jedinstveni brojevi x1 i x2 takvi da je OX = x1e1 + x2e2 . Pridružimo točki X točku X' = L(X) takvu da je O'X' = x1e'1 + x2e'2 . Budući da je { e'1e'2 } također baza, konstruirano preslikavanje je bijekcija (inverzno preslikavanje da se konstruirati na sličan način), a pokazuje se i da je neprekidno. Dokažimo sada da je slika bilo kojeg pravca AB po preslikavanju L također pravac. Neka je A' = L(A), B' = L(B) i neka su (a1a2) i (b1b2) koordinate točaka A i B, redom, u bazi { e1e2 } (tj. OA = a1e1 + a2e2OB = b1e1 + b2e2 ). Uzmimo proizvoljnu točku C na pravcu AB. Budući da vrijedi AC = kAB za neki k, onda je OC = OA + AC = OA + kAB = OA + kOB − OA ) = (1 − k)OA + kOB = ((1 − k)a1 + kb1)e1 + ((1 − k)a2 + kb2)e2. Prema definiciji preslikavanja L, za sliku C' = L(C) vrijedi O'C' = ((1 − k)a1 + kb1)e'1 + ((1 − k)a2 + kb2)e'2 = (1 − k)O'A' + kO'B' = O'A' + kO'B' − O'A' ) = (1 − k) O'A' + kA'B' pa točka C'  leži na pravcu A'B'. Jedinstvenost preslikavanja L slijedi iz teorema 1. Zaista, LOX ) = x1Le1 ) + x2Le2 ), dakle, slika točke X jednoznačno je određena slikama vektora e1 i e2 i slikom točke O.  □

Teorem 4.  Za dana dva trokuta ABC i A1B1C1 postoji jedinstvena afina transformacija koja jedan preslikava u drugi.

Dokaz.  Dovoljno je u teoremu 3 uzeti O = A, e1 = AB, e2 = AC, O' = A1, e'1 = A1B1, e2 = A1C1.  □

Iz teorema 4 i teorema 2(c) slijedi

Teorem 5.  Za dana dva paralelograma postoji jedinstvena afina transformacija koja jedan preslikava u drugi.

2. Primjeri riješenih zadataka

Zahvaljujući teoremima 4 i 5, često pri rješavanju problema u proizvoljnom trokutu možemo problem svesti na dokazivanje tvrdnje u jednakostraničnom trokutu, što je često mnogo lakše. Slično, paralelogram je moguće (po potrebi) transformirati u kvadrat. Ponekad je, pak, praktičnije trokut zamijeniti jednakokračnim trokutom, što ćemo vidjeti na nekim od primjera koji slijede. Naravno, pri svakoj od transformacija mora se paziti na zakonitosti iz teorema 2 i ograničenja vezana za kutove i dužine.

Na sljedećih nekoliko primjera vidjet ćemo iz prve ruke afine transformacije "na djelu". Bit će tu i relativno lakih i teških problema (tu je i jedan prijedlog za IMO). Zadaci su izabrani tako da pokažu standardnu metodu rješavanja planimetrijskih problema uz pomoć afinih transformacija i omoguće zainteresiranom čitatelju da riješi probleme za samostalan rad na kraju članka, te da lako prepozna mogućnost primjene afinih transformacija u problemima s kojima će se u budućnosti susretati (na natjecanjima, u nastavi ili istraživačkom radu).

Primjer 1. ([IJ])  Po dva pravca povučena su kroz svaki vrh trokuta tako da suprotnu stranicu dijele na tri jednaka dijela. Dokažite da se dijagonale koje spajaju suprotne vrhove šesterokuta nastalog u presjeku ovih pravaca sijeku u jednoj točki.

Rješenje.  U zadatku su očito "u igri" samo omjeri na pravcima i konkurentnost, osobine koje afina transformacija čuva (prema teoremu 2). U skladu s teoremom 4, možemo dani trokut transformirati u jednakostranični i u njemu dokazati tvrdnju zadatka. Neka točke A1, A2, B1, B2, C1, C2 dijele stranice jednakostraničnog trokuta ABC na jednake dijelove i neka su A', B', C' središta stranica (slika 2). Kako su pravci BB1 i CC2, te BB2 i CC1 simetrični u odnosu na pravac AA', a simetrični pravci sijeku se na osi simetrije, tako se jedna dijagonala promatranog šesterokuta nalazi na AA'. Slično, preostale dijagonale nalaze se na BB' i CC'. Jasno je, dalje, da se težišnice AA', BB', CC' sijeku u jednoj točki, čime je tvrdnja dokazana.

slika 2

Slika 2.

Primjer 2. ([VP])  Na stranicama AB, BC, CD, DA paralelograma ABCD izabrane su redom točke A1, B1, C1, D1, a na stranicama A1B1, B1C1, C1D1, D1A1 četverokuta A1B1C1D1 izabrane su redom točke A2, B2, C2, D2 tako da vrijedi

|AA1|  =  |BB1|  =  |CC1|  =  |DD1|  =  |A1D2|  =  |D1C2|  =  |C1B2|  =  |B1A2| .
|BA1| |CB1| |DC1| |AD1| |D1D2| |C1C2| |B1B2| |A1A2|

Dokažite da je A2B2C2D2 paralelogram čije su stranice paralelne sa stranicama paralelograma ABCD.

Rješenje.  Prema teoremu 5, svaki paralelogram može se afinom transformacijom transformirati u kvadrat. Dovoljno je trokut ABC transformirati u jednakokračni pravokutni trokut i paralelogram ABCD postaje kvadrat. Budući da su osnovni elementi u problemu omjeri dužina na pravcu i paralelni pravci, ovdje možemo primijeniti afine transformacije i uzeti u daljnjem razmatranju da je ABCD kvadrat.

slika 3

Slika 3.

Razmotrimo rotaciju za kut od 90° oko središta kvadrata ABCD koji ga preslikava u samog sebe. Ovom rotacijom se i četverokuti A1B1C1D1 i A2B2C2D2 preslikavaju sami u sebe. Prema tome, i oni su kvadrati (pokažite to!) pa vrijedi |AA1| = |BB1|, |B1A2| = |A1D2| i dovoljno je dokazati da je npr. ABA2D2. Imamo:

tg∠BA1B1 =  |BB1|  =  |AA1|  =  |B1A2|  =  |A1D2|  = tg∠A1A2D2.
|BA1| |BA1| |A1A2| |A1A2|

Iz toga slijedi AB ‖ A2D2, što smo i htjeli pokazati.

Primjer 3. ([VP])  U trapezu ABCD osnovica AB i CD, kroz točku D povučen je pravac paralelan s krakom BC, koji siječe dijagonalu AC u točki P. Pravac paralelan s krakom AD, povučen kroz točku C, siječe dijagonalu BD u točki Q. Dokažite da je pravac PQ paralelan s osnovicama trapeza ABCD.

Rješenje.  Neka je E sjecište dijagonala trapeza. Afina transformacija koja trokut ADE preslikava u jednakokračni trokut preslikava trapez ABCD u jednakokračni trapez A'B'C'D'. Tada su točke P' i Q' simetrične u odnosu na simetralu dužine A'B', pa je P'Q'A'B'.

Primjer 4. ([IJ])  Neka je točka T težište trokuta ABC i neka su M, N, P točke na stranicama AB, BC, CA trokuta, koje dijele ove stranice u istom omjeru (|AM| : |MB| = |BN| : |NC| = |CP| : |PA| = p : q). Dokažite:

  (a) T je težište trokuta MNP,

  (b) T je težište trokuta čiji su vrhovi u presjeku pravaca AN, BP i CM.

Rješenje.  (a) Afinom transformacijom preslikajmo trokut ABC u jednakostranični trokut A'B'C'. Neka su T', M', N', P' slike točaka T, M, N, P. Rotacijom za kut od 120° oko točke T' trokut M'N'P' preslikava se u samog sebe. Prema tome, to je jednakostranični trokut, a T' mu je težište, odnosno sjecište težišnica. Budući da se afinom transformacijom težišnica preslikava u težišnicu, T je težište trokuta MNP.
(b) Na isti način zaključujemo da je T i težište trokuta nastalog u presjeku pravaca AN, BP i CM.

Primjer 5. ([JS])  Za svaki skup S od pet točaka u ravnini, od kojih tri nisu kolinearne s M(S) i m(S), označene su najveća i najmanja površina trokuta određenih točkama iz S. Koja je najmanja moguća vrijednost omjera M(S)/m(S)?

Rješenje.  Dokažimo da je najmanji mogući omjer (1+√5)/2 i da se on postiže ako se S sastoji od vrhova pravilnog peterokuta. Označimo s A, B, C, D i E točke skupa S i neka je P(∆ABC) = M(S). Neka je k = 2M(S)/(1 + √5). Sada trebamo pokazati da barem jedan od trokuta formiranih od točaka iz skupa S ima površinu manju ili jednaku k. Povucimo pravce B'C', C'A' i A'B' kroz A, B, C paralelne s BC, CA, AB (slika 4).

slika 4

Slika 4.

Točka D mora se nalaziti na istoj strani pravca B'C' kao i BC, inače bi vrijedilo P(∆BCD) > P(∆ABC), što se protivi činjenici da je P(∆ABC) maksimalna. Slično, D se nalazi s iste strane C'A' kao i CA, te s iste strane A'B' kao i AB. Prema tome, D se nalazi ili unutar ∆ABC, ili na jednoj od njegovih stranica. Slično zaključujemo i za točku E. Budući da su trokuti A'BC, B'CA, C'BA disjunktni (izuzimajući točke A, B i C, u kojima se točke D i E ne mogu naći), u jednom od njih se ne nalaze ni D, ni E. Bez umanjenja općenitosti, uzmimo da se točke D i E nalaze u četverokutu B'CBC'.

Afine transformacije čuvaju omjer površina trokuta; zato možemo transformirati ∆ABC u trokut kutova 36°, 72°, 72°, što će nam omogućiti da odaberemo točke P i Q, tako da je APBCQ pravilan peterokut. Budući da je ABCQ i ABA'B', točka Q nalazi se na pravcu B'C. Analogno, P se nalazi na BC'.

slika 5

Slika 5.

Sada razmotrimo dva slučaja, ovisno nalaze li se točke D i E unutar ili izvan peterokuta APBCQ.

1. Točka D nalazi se u peterokutu. Ako se nalazi u ∆ABP, tada je P(∆ABD) ≤ P(∆ABP) = k. Slično vrijedi i ako se D nalazi u ∆ACQ. Ako se, pak, nalazi u ∆ABC, tada je površina bar jednog od trokuta ∆ABD, ∆BCD, ∆CAD manja ili jednaka od P(∆ABC)/3 < k. Slično zaključujemo i za točku E.

2. Točke D i E nalaze se u ∆APC' ili ∆AQB'. Ako se obje nalaze u istom trokutu, tada je P(∆ADE) ≤ P(∆APC') < k. Ako se nalaze u različitim trokutima, naprimjer D u ∆APC' i E u ∆AQB', tada je P(∆ADE) = (|AD| · |AE|/2) sin∠DAE ≤ (|AP|2/2) sin∠PAQ = P(∆PAQ) = k.

Analizom navedenih primjera mogli ste vidjeti uobičajene ideje, metode i tehnike vezane za rad s afinim transformacijama, ali i primjere nestandardnih ideja koje zahtijevaju određenu dozu imaginacije i kreativnosti. Ideje iz ovih primjera pokušajte iskoristiti u zadacima za samostalan rad koji se nalaze na kraju teksta. Neki od njih daju se riješiti standardnim putem, no neki će zahtijevati nove ideje. Neka vas ne obeshrabri početni neuspjeh u nekima od zadataka. Pokušajte opet, gledajte, razmišljajte, analizirajte!

3. Zadaci za samostalan rad

Zadatak 1. ([VP])  Na stranicama AB, BC i CD paralelograma ABCD izabrane su točke K, L i M, tako da dijele stranice u istom omjeru. Neka su b, c i d pravci koji prolaze točkama B, C i D i paralelne su s KL, KM, ML. Dokažite da se pravci b, c i d sijeku u jednoj točki.

Zadatak 2. ([VP])  Na stranicama AB, BC i AC trokuta ABC nalaze se točke M, N i P. Dokažite:

(a) Ako su točke M1, N1 i P1 centralno simetrične točkama M, N i P u odnosu na središta odgovarajućih stranica, tada je P(∆MNP) = P(∆M1N1P1)

(b) Ako se točke M1, N1 i P1 nalaze na stranicama AC, BA i CB, tako da je MM1 ‖ BC, NN1 ‖ CA, PP1 ‖ AB, tada je P(∆MNP) = P(∆M1N1P1).

Zadatak 3. ([KK])  Neka su X, Y, Z točke na stranicama BC, CA, AB, trokuta ABC za koje vrijedi |BX| / |XC| = |CY| / |YA | = |AZ| / |ZB| = k, za zadanu konstantu k > 1. Pronađite odnos površina trokuta čiji se vrhovi nalaze u presjeku dužine AX, BY i CZ i trokuta ABC (kao funkciju od k).

Zadatak 4. ([ML], Albanija 2004.)  Odrediti omjer površine osmerokuta koji se nalazi u presjeku pravaca povučenih iz vrhova paralelograma do središta suprotnih stranica s površinom tog paralelograma.

Zadatak 5. ([MR], Švedska 1996.) Kroz točku u unutrašnjosti trokuta površine T povučeni su pravci paralelni sa stranicama trokuta, koji ga dijele na tri trokuta i tri paralelograma. Neka su T1, T2, T3 površine dobivenih trokuta. Dokažite da je √T = √T1 + √T2 + √T3.

Zadatak 6. ([DJ], prijedlog za IMO 1995.) Neka je O točka u unutrašnjosti konveksnog četverokuta ABCD, čija je površina S i neka su K, L, M i N točke na stranicama AB, BC, CD i DA. Ako su OKBL i OMDN paralelogrami, dokažite da je √S ≥ √S1 + √S2, gdje su S1 i S2 površine četverokuta ONAK i OLCM.

Sljedeći zadatak naveden je pogrešno u [KK] i [MR]. Ovdje je dan ispravljen tekst.

Zadatak 7.  Neka je ABCDE konveksan peterokut i neka je F = BC ∩ DE, G = CD ∩ EA, H = DE ∩ AB, I = EA ∩ BC, J = ABDC. Ako je P(∆AHI) = P(∆BIJ) = P(∆CJF) = P(∆DFG) = P(∆EGH), dokažite da se pravci AF, BG, CH, DI, EJ sijeku u jednoj točki.

Literatura

[BJ] T. Bedeković, B. Jandras i D. Žubrinić, Matrične transformacije ravnine, Math.e 1 (2004). http://e.math.hr/linal
[DJ] D. Djukić, V. Janković, I. Matić i N. Petrović, The IMO compendium, Springer, 2006.
[IJ] I.M. Jaglom, Geometričeskie preobrazovanija II, Moskva, 1956.
[KK] K.S. Kedlaya, Geometry unbound, 2006. http://www-math.mit.edu/~kedlaya/geometryunbound/
[MM] D.S. Mitrinović, D. Mihailović i P.M. Vasić, Linearna algebra – Polinomi – Analitička geometrija, Beograd, 1973.
[ML] MathLinks Forum. http://www.mathlinks.ro
[VP] V.V. Prasolov, Problems in plane geometry (prijevod: D. Leites), 2005. http://students.imsa.edu/~tliu/Math/planegeo.pdf
[MR] M. Radovanović, Afine transformacije, 2007. http://www.matf.bg.ac.yu/~matic/competitions/dodatne/afine_mr.pdf
[JS] J. Scholes, 43rd IMO Shortlist, 2002. http://www.kalva.demon.co.uk/short/soln/sh02g5.html

1. Uvod
2. Primjeri riješenih zadataka
3. Zadaci za samostalan rad
Literatura