1. PROJICIRANJE - Pmf

1. PROJICIRANJE - Pmf 1. PROJICIRANJE - Pmf

web.math.pmf.unizg.hr
from web.math.pmf.unizg.hr More from this publisher
20.04.2013 Views

3. Perspektivna kolineacija i afinost 15 U skladu s prethodnim teoremom, afinost zadajemo njezinom osi i parom pridruˇzenih točaka i zapisujemo ovako: (o : A, A). Sljedeći nam teorem opisuje jednu invarijantu afinosti. Teorem 2.4. Paru paralelnih pravaca a i b u perspektivnoj afinosti pridruˇzen je par paralelnih pravaca. Dokaz. Pretpostavimo suprotno, tj. da se pravci a i b sijeku u točki T . Zbog bijektivnosti ta točka ima svoju prasliku T koja zbog svojstva čuvanja incidencije pripada pravcima a i b. Time smo doˇsli u kontradikciju s pretpostavkom da su pravci a i b paralelni. ✷ Teorem 2.5. Djeliˇsni omjer (XX; K) ˇsto ga tvori bilo koji par pridruˇzenih točaka X i X sa sjeciˇstem K zrake afinosti XX s osi o je konstantan. Djeliˇsni omjer (XX; K) je omjer |XK| , gdje su XK i XK orjentirane duˇzine. |XK| Ta se konstanta označava s k i naziva karakteristična konstanta perspektivne afinosti. Dokaz. Neka je Y,Y par pridruˇzenih točaka različit od para X, X takav da pravac XY nije paralelan sa osi. Tada se pravci XY i X Y sijeku u točki F na osi. Zbog paralelnosti zraka afinosti trokuti XKF i YLF su slični, gdje je L presjek pravca Y Y i osi. Iz te sličnosti slijedi |XK| |YL| = |KF| |LF | .

3. Perspektivna kolineacija i afinost 16 I trokuti XKF i YLF su slični, pa vrijedi No sad je |XK| |YL| |XK| |YL| = |KF| |LF | . = |XK| |YL| , tj. |XK| |YL| = |XK| |YL| . Dakle, djeliˇsni omjer ne ovisi o izboru točke Y , tj. stalan je. ✷ Prethodni je teorem analogon odgovarajućeg teorema za kolineaciju. No, za afinost vrijedi i neˇsto bolji teorem. Naime, u afinosti je djeliˇsni omjer bilo koje tri kolinearne točke invarijanta afinosti. Teorem 2.6. Djeliˇsni omjer triju kolinearnih točaka je invarijanta afinosti. Dokaz. Neka su A, B, C tri različite kolinearne točke. Trebamo pokazati da je |AC| |BC| = |A C| |B C| . Označimo s p pravac AB, asp njegovu sliku. Točkom B povucimo pravac q paralelan s pravcem p, a sjeciˇsta pravca q sa zrakama afinosti AA i CC označimo redom s K i L. Zrake afinosti su medusobno paralelne pa iz sličnosti trokuta slijedi |A C| |KM| = |B C| |MB| = |AC| |BC| , ˇsto je i trebalo dokazati. ✷ Neposredna posljedica ovog teorema je sljedeći korolar.

3. Perspektivna kolineacija i afinost 16<br />

I trokuti XKF i YLF su slični, pa vrijedi<br />

No sad je<br />

|XK|<br />

|YL|<br />

|XK|<br />

|YL|<br />

= |KF|<br />

|LF | .<br />

= |XK|<br />

|YL| ,<br />

tj.<br />

|XK| |YL|<br />

=<br />

|XK| |YL| .<br />

Dakle, djeliˇsni omjer ne ovisi o izboru točke Y , tj. stalan je. ✷<br />

Prethodni je teorem analogon odgovarajućeg teorema za kolineaciju. No, za<br />

afinost vrijedi i neˇsto bolji teorem. Naime, u afinosti je djeliˇsni omjer bilo koje tri<br />

kolinearne točke invarijanta afinosti.<br />

Teorem 2.6. Djeliˇsni omjer triju kolinearnih točaka je invarijanta afinosti.<br />

Dokaz. Neka su A, B, C tri različite kolinearne točke. Trebamo pokazati da je<br />

|AC|<br />

|BC|<br />

= |A C|<br />

|B C| .<br />

Označimo s p pravac AB, asp njegovu sliku. Točkom B povucimo pravac q<br />

paralelan s pravcem p, a sjeciˇsta pravca q sa zrakama afinosti AA i CC označimo<br />

redom s K i L. Zrake afinosti su medusobno paralelne pa iz sličnosti trokuta slijedi<br />

|A C| |KM|<br />

=<br />

|B C| |MB|<br />

= |AC|<br />

|BC| ,<br />

ˇsto je i trebalo dokazati. ✷<br />

Neposredna posljedica ovog teorema je sljedeći korolar.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!