Geometriske vektorer
Transcription
Geometriske vektorer
1 eNote 6 eNote 6 Geometriske vektorer Formålet med denne note er at give en introduktion til geometriske vektorer i planen og rummet, som sigter mod at introducere en række af de metoder, der gør sig gældende i den generelle vektorrumsteori. Nøglebegreberne er her lineær uafhængighed og lineær afhængighed, samt basis og koordinater. eNoten forudsætter kendskab til elementær plan- og rumgeometri, til lineære ligningssystemer som beskrevet i eNote ?? og til matrixalgebra som beskrevet i eNote ??. Version 21.08.15. 6.1 En geometrisk vektor Ved en geometrisk vektor i planen eller rummet forstås et sammenhørende par af en længde og en retning. Geometriske vektorer skriver vi med små fede bogstaver, for eksempel v. En vektor kan repræsenteres af et orienteret linjestykke med et givet begyndelsespunkt og endepunkt. Hvis vektoren v er repræsenteret af det orienterede linjestykke fra begyn→ delsespunktet A til endepunktet B, benytter vi skrivemåden v = AB. Alle andre orienterede linjestykker med samme længde og retning er også repræsentanter for v, selvom de måske er placeret et andet sted i planen eller rummet. Eksempel 6.1 Parallelforskydninger ved hjælp af vektorer Geometriske vektorer kan benyttes til at angive parallelforskydninger i planen eller rummet. På figur 6.1 er linjestykket CD fremkommet af linjestykket AB ved, at alle punkterne på AB er blevet forskudt med vektoren u. På samme måde er linjestykket EF fremkommet af AB ved parallelforskydning med vektoren v. eNote 6 2 6.1 EN GEOMETRISK VEKTOR D B u F C A v E Figur 6.1: Parallelforskydning ved hjælp af vektorer → → → → → Der gælder, at AB = CD = EF, men bemærk for eksempel også, at AB 6= FE. I det følgende forudsætter vi, at der er valgt et enhedslinjestykke, hvilket vil sige et linjestykke, der tillægges længden 1. Ved |v| forstås længden af vektoren v set i forhold til længden af enhedslinjestykket. |v| er dermed et reelt tal. Alle vektorer med samme længde som enhedslinjestykket kaldes enhedsvektorer. Af praktiske grunde indføres en særlig vektor, som har længden 0 , og som ikke tillægges en retning. Den kaldes nulvektoren og skrives 0. For ethvert punkt A sætter vi → AA = 0. En vektor, som ikke er nulvektoren, kaldes en egentlig vektor. For enhver egentlig vektor v defineres den modsatte vektor −v som den vektor, der har → → samme længde som v men modsat retning. Hvis v = AB, gælder dermed, at BA = −v . For nulvektoren sættes −0 = 0 . Det er ofte praktisk at benytte et fælles begyndelsespunkt, når forskellige vektorer skal repræsenteres af orienterede linjestykker. Man vælger derfor et fast punkt O, kaldet origo, og betragter vektorer ved de repræsentanter, der har O som begyndelsespunkt. Vektorer repræsenteret på denne måde kaldes stedvektorer, fordi der til enhver given → vektor v hører ét unikt punkt (eller sted) P, der opfylder, at v =OP. Tilsvarende hører → der til ethvert punkt Q én unik vektor u således, at OQ = u. Ved vinklen mellem to egentlige vektorer i planen forstår man den entydigt bestemte vinkel mellem deres stedvektorer (deres repræsentanter med samme startpunkt, nemlig udgående fra O ), som ligger i intervallet [ 0 ; π ] . Hvis en vektor v i planen drejes vink- eNote 6 3 6.2 ADDITION OG MULTIPLIKATION MED SKALAR len π/2 mod uret, fremkommer en ny vektor, der kaldes v’s tværvektor og betegnes v b. Ved vinklen mellem to egentlige vektorer i rummet forstås vinklen mellem deres stedvektorer i den plan i rummet, som indeholder begge stedvektorer. Det giver god og brugbar mening at lægge vektorer sammen“, idet man både tager ” højde for vektorernes længde og deres retning. Vi vil derfor i det følgende indføre nogle regneoperationer for geometriske vektorer. I første omgang drejer det sig om de to lineære regneoperationer: • addition af vektorer og • multiplikation af vektor med en skalar (et reelt tal). Senere skal vi se på tre forskellige måder at multiplicere vektorer med hinanden på, nemlig prikprodukt og for rumvektorer krydsprodukt og rumprodukt. 6.2 Addition og multiplikation med skalar Definition 6.2 Addition Der er givet to vektorer i planen eller rummet, u og v. Summen u + v fastlægges ved følgende metode: → → • Vi vælger origo O og afsætter stedvektorerne u =OQ og v =OR. • Ved parallelforskydning af linjestykket OR med u fremkommer linjestykket QP. → → • OP er da stedvektor for summen af u og v. Kort sagt: u + v = OP. P R v u+v u O Q eNote 6 6.2 ADDITION OG MULTIPLIKATION MED SKALAR 4 I fysik taler man om kræfternes parallelogram“: Hvis et objekt er påvirket ” af kræfterne u og v, kan den resulterende kraft bestemmes som sumvektoren u + v, hvis retning angiver den resulterende krafts retning, og hvis længde angiver kraftens størrelse. Hvis specielt u og v har samme længde, men modsat retning, er den resulterende kraft lig med 0-vektoren, da de to kræfter derved netop modvirker hinanden. Vi indfører nu multiplikation af vektor med skalar. Definition 6.3 Multiplikation med skalar Der er givet en vektor v i planen eller rummet og en skalar k. Hvis v = 0, sætter vi kv = vk = 0. I modsat fald forstås der ved produktet kv følgende: • Hvis k > 0 , så er kv = vk den vektor, der har samme retning som v, men som er k gange så lang som v . • Hvis k = 0 , så er kv = 0 . • Hvis k < 0 , så er kv = vk den vektor, der har modsat retning af v, og som er −k = | k | gange så lang som v . Eksempel 6.4 Multiplikation med skalar En given vektor v ganges med henholdsvis −1 og 2 : v (-1)v 2v Figur 6.2: Multiplikation af en vektor med −1 og 2 Det følger umiddelbart af definition 6.3, at multiplikation af en vektor med −1 giver vektorens modsatte vektor, (−1)u = −u . I forlængelse heraf bruger vi skrivemåder som (−5)v = −(5v) = −5v . eNote 6 5 6.2 ADDITION OG MULTIPLIKATION MED SKALAR Af definition 6.3 følger umiddelbart nulreglen for geometriske vektorer: kv = 0 ⇔ k = 0 eller v = 0 . I det følgende eksempel vises, at multiplikation af en vilkårlig vektor med en vilkårlig skalar kan udføres ved ren passer/lineal-konstruktion. Eksempel 6.5 Geometrisk multiplikation Givet en vektor a og et linjestykke med længden k. Konstruer vektoren ka. P Q ka a O 1 k Figur 6.3: Konstruktion af multiplikation af vektor med vilkårlig skalar → Først afsættes OQ= a, og linjen OQ forlænges. Derefter indlægges der med O som begyndelsespunkt en målelinje (lineal), som ikke er parallel med a, og hvor tallene 1 og k afsættes. Trekanten 4OkP tegnes, så den er ensvinklet med trekanten 4O1Q. Da de to trekanter er → ensvinklede, må der gælde, at ka =OP. Opgave 6.6 Der er givet to parallelle vektorer a og b samt en målelinje. Hvordan kan man med en passer og målelinjen konstruere et linjestykke, som har længden k, og som opfylder, at b = ka? Opgave 6.7 Der er givet en egentlig vektor v, og der er givet en målelinje (lineal). Tegn vektoren 1 |v| v. Parameterfremstillinger for rette linjer i planen eller rummet opstilles ved hjælp af egentlige vektorer. Nedenfor giver vi først et eksempel på en linje, der går gennem origo, og eNote 6 6 6.2 ADDITION OG MULTIPLIKATION MED SKALAR dernæst et eksempel på en linje, der ikke gør. Eksempel 6.8 Parameterfremstilling for ret linje Der er givet en ret linje l , som går gennem origo. Beskriv punkterne på linjen ved hjælp af en parameterfremstilling. l tr r P R O Figur 6.4: Parameterfremstilling for linje gennem origo → Der vælges et punkt R på l, der ikke er det samme som origo. Vektoren r =OR kaldes en retningsvektor for l . Til ethvert punkt P på l svarer der netop ét reelt tal t, der opfylder, → → at OP= tr. Omvendt svarer der til ethvert tal t netop ét punkt P på l, så OP= tr . Når t gennemløber de reelle tal fra −∞ til +∞, vil P gennemløbe hele l i den retning, som er bestemt ved r. Man siger, at → { P | OP= tr hvor t ∈ R } er en parameterfremstilling for l . Eksempel 6.9 Parameterfremstilling for ret linje Givet linjen m , der ikke går gennem origo. Beskriv punkterne på m ved hjælp af en parameterfremstilling. tr R m B r P b O Figur 6.5: Parameterfremstilling for linje → Først vælges et begyndelsespunkt B på m, og vi sætter b =OB. Dernæst vælges et punkt R ∈ m , → som ikke er det samme som B. Vektoren r = BR er da en retningsvektor for m . Til ethvert → punkt P på m svarer der netop ét reelt tal t, der opfylder, at OP= b + tr. Omvendt svarer der eNote 6 6.2 ADDITION OG MULTIPLIKATION MED SKALAR 7 → til ethvert tal t netop ét punkt P på l, så OP= b + tr. Når t gennemløber de reelle tal fra −∞ til +∞, vil P gennemløbe hele m i den retning, som er bestemt ved r. Man siger, at → { P | OP= b + tr hvor t ∈ R } er en parameterfremstilling for m . Bemærk, at også den omvendte vektor −r er en gyldig retningsvektor i ovenstående eksempler. Parameterfremstillinger som ovenfor beskriver rette linjer, der er uendeligt lange i hver retning. Men parameterfremstillinger kan afgrænses og derved også bruges til at beskrive linjestykker, hvilket er emnet for de følgende to opgaver. Opgave 6.10 Betragt situationen i eksempel 6.9. Indtegn det orienterede linjestykke, som har parameterfremstillingen → { P | OP= b + tr hvor t ∈ [ −1; 2 ] } . Opgave 6.11 Givet to (ikke ens) punkter A og B . Beskriv med en parameterfremstilling det orienterede linjestykke fra A til B . Efter disse betragtninger opstiller vi en generel sætning for en parameterfremstilling for en ret linje på et vilkårligt interval I. Metode 6.12 Parameterfremstilling for ret linje Givet en ret linje l og to forskellige punkter R og B på l samt origo O, hvor R 6= O. → Vektoren r = BR kaldes en retningsvektor for l . En parameterfremstilling for l er da → l = { P | OP= b + tr hvor t ∈ I } , → hvor b =OB, og I er et givent interval. Vi får snart brug for mere avancerede regneregler for addition af geometriske vektorer og multiplikation af geometriske vektorer med skalarer end dem, vi har givet eksempler eNote 6 6.2 ADDITION OG MULTIPLIKATION MED SKALAR 8 på ovenfor. Vi ridser derfor generelle regneregler op i følgende sætning og diskuterer bagefter eksempler på, hvordan regnereglerne kan begrundes ud fra de allerede definerede regneoperationer og sætninger kendt fra elementær geometri. Sætning 6.13 Regneregler For vilkårlige geometriske vektorer u, v og w og for vilkårlige reelle tal k1 og k2 gælder følgende regneregler: 1. u+v = v+u 2. (u + v) + w = u + (v + w) u+0 = u u + (−u) = 0 k 1 ( k 2 u) = ( k 1 k 2 )u ( k 1 + k 2 )u = k 1 u + k 2 u k 1 (u + v) = k 1 u + k 1 v 1u = u 3. 4. 5. 6. 7. 8. Addition er kommutativ Addition er associativ Nulvektoren er neutral ved addition Summen af en vektor og dens modsatte er 0 Multiplikation af vektor med skalar er associativ De distributive regler gælder Skalaren 1 er neutral i produkt med vektorer Bevis Regnereglerne i sætning 6.13 kan illustreres og eftervises ved hjælp af geometriske konstruktioner. Lad os som eksempel tage den første regel, den kommutative lov. Her behøver vi blot igen at rette blikket mod figuren i definition 6.2, hvor u + v er konstrueret. Hvis vi nu konstruerer v + u, skal vi parallelforskyde linjestykket OQ med v og betragte det fremkomne linjestykke RP2 . Der må gælde, at parallelogrammet OQPR er identisk med parallelogrammet OQP2 R, hvorfor P2 = P, og dermed u + v = v + u. I de følgende to opgaver opfordres læseren til selv at redegøre for to af de andre regneregler. eNote 6 9 6.2 ADDITION OG MULTIPLIKATION MED SKALAR Opgave 6.14 Gør ved hjælp af figur 6.6 rede for regnereglen k (u + v) = ku + kv. ka kb b a a+b O k(a+b) Figur 6.6: Regnereglen k (u + v) = ku + kv Opgave 6.15 Tegn en figur, som illustrerer regnereglen (u + v) + w = u + (v + w). For en given vektor u er det klart, at den modsatte vektor −u er den eneste vektor, som opfylder ligningen u + x = 0 . For to vilkårlige vektorer u og v er det også klart, at der findes netop én vektor, der opfylder ligningen u + x = v , nemlig vektoren x = v + (−u) , hvilket illustreres på figur 6.7. x v -u u Figur 6.7: Løsningen til u + x = v er x = v + (−u) Vi kan derfor indføre subtraktion af vektorer som en variant af addition. Definition 6.16 Subtraktion Ved differensen af to vektorer v og u forstås vektoren v − u = v + (−u) . (6-1) eNote 6 10 6.3 LINEARKOMBINATIONER Det er ikke nødvendigt at indføre en højtidelig definition for division af vektor med skalar. Vi betragter den blot som en omskrivning af multiplikation med skalar: 1 v = · v , k 6= 0 k k 6.3 Linearkombinationer En pointe ved regnereglen (u + v) + w = u + (v + w) fra sætning 6.13 er, at man kan udelade parenteser, når man skal addere en række vektorer, da det ingen betydning har for den resulterende vektor, i hvilken rækkefølge man har lagt vektorerne sammen. Dette er baggrunden for linearkombinationer, hvor et sæt af vektorer er multipliceret med skalarer og derefter er opskrevet som en sum. Definition 6.17 Linearkombination Når der er givet reelle tal k1 , k2 , . . . , k n og i planen eller rummet vektorerne v1 , v2 , . . . , vn , så kaldes summen k1 v1 + k2 v2 + . . . + k n vn en linearkombination af de n givne vektorer. Hvis alle koefficienterne k1 , · · · , k n er lig med 0, kaldes linearkombinationen uegentlig. Men hvis blot én af dem er forskellig fra 0, er den egentlig. Eksempel 6.18 Konstruktion af en linearkombination d 3c c b O a O 2a -b Figur 6.9: Konstruktion af linearkombination På figur 6.9 til venstre er vektorerne a, b og c indtegnet. På figuren til højre har vi konstrueret linearkombinationen d = 2a − b + 3c. eNote 6 6.4 LINEÆR AFHÆNGIGHED OG LINEÆR UAFHÆNGIGHED 11 Som eksempel 6.18 viser, beskriver en linearkombination netop blot den nye vektor, man får ved at forlænge andre vektorer og lægge dem sammen. Opgave 6.19 Der er i planen givet vektorerne u, v, s og t samt parallelogrammet A, se figur 6.10. A t s v O u Figur 6.10: Linearkombinationer 1. Opskriv s som en linearkombination af u og v. 2. Vis, at v kan udtrykkes ved linearkombinationen v = 1 3 s + 16 t. 3. Indtegn linearkombinationen s + 3u − v. 4. Bestem reelle tal a, b, c og d således, at A kan beskrives ved parameterfremstillingen → A = { P OP= xu + yv hvor x ∈ [ a; b ] og y ∈ [ c; d ]} . 6.4 Lineær afhængighed og lineær uafhængighed Hvis to vektorer har repræsentanter på den samme rette linje, siger man, at de er lineært afhængige. Det er klart, at to egentlige vektorer er lineært afhængige, hvis de er parallelle. I modsat fald er de lineært uafhængige. Vi kan formulere det således, at to vektorer u og v er lineært afhængige, hvis den ene kan fremkomme af den anden ved multiplikation med en skalar forskellig fra 0, dvs. hvis der findes et tal k 6= 0 således, at v = ku . eNote 6 6.4 LINEÆR AFHÆNGIGHED OG LINEÆR UAFHÆNGIGHED 12 Kort sagt, to vektorer er lineært afhængige, hvis den ene kan beskrive den anden“. ” To parallelle vektorer kan beskrive hinanden ved, at den ene kopieres og lægges til (eller trækkes fra) sig selv et vist antal gange; altså, ved at den forlænges eller forkortes. To vinkelrette eller blot ikke-parallelle vektorer kan derimod aldrig beskrive hinanden, uanset hvor meget vi forlænger eller forkorter dem, da vi er nødt til at dreje den ene, før det bliver muligt. Disse er derfor lineært uafhængige. Denne oprindelige betydning af begreberne lineær afhængighed og uafhængighed ønsker vi at generalisere sådan, at begreberne kan bruges om et vilkårligt sæt af vektorer. Definition 6.20 Lineær afhængighed og uafhængighed Et sæt af vektorer (v1 , v2 , . . . , vn ), hvor n ≥ 2 , kaldes lineært afhængigt, hvis mindst én af vektorerne kan skrives som en linearkombination af de øvrige. Hvis ingen af vektorerne kan skrives som en linearkombination af de øvrige, kaldes sættet for lineært uafhængigt. Et sæt, som kun består af én vektor, kaldes lineært afhængigt, hvis vektoren er 0vektoren, og ellers lineært uafhængigt. Eksempel 6.21 Lineært afhængige og lineært uafhængige vektorsæt I planen er givet tre vektorsæt (u, v), (r, s) og (a, b, c) , se figur 6.11. c u v b a r s Figur 6.11: Tre vektorsæt Sættet (u, v) er lineært afhængigt, idet der for eksempel gælder: u = −2v . eNote 6 6.4 LINEÆR AFHÆNGIGHED OG LINEÆR UAFHÆNGIGHED 13 Også sættet (a, b, c) er lineært afhængigt, da for eksempel b = a−c. Kun sættet (r, s) er lineært uafhængigt, da der ikke findes måder, hvorpå de kan beskrive hinanden. Opgave 6.22 Gør rede for, at tre vektorer i rummet er lineært afhængige, hvis og kun hvis de har repræsentanter, som ligger i samme plan. Hvilke betingelser må tre vektorer i rummet opfylde, for at de er lineært uafhængige? Opgave 6.23 Overvej (intuitivt), hvad der er det maksimale antal vektorer, som et vektorsæt i planen kan rumme, hvis sættet skal være lineært uafhængigt. Samme spørgsmål for rummet. Når man skal undersøge, om et sæt af vektorer er lineært uafhængigt eller lineært afhængigt, giver definition 6.20 ikke umiddelbart en praktisk fremgangsmåde. Det kan være nemmere at bruge sætningen, der følger nedenfor. Den bygger på, at et vektorsæt er lineært afhængigt, hvis og kun hvis 0-vektoren kan opskrives som en egentlig linearkombination af vektorerne. Antag som en opvarmning til sætningen, at sættet (a, b, c) er lineært afhængigt, fordi c = 2a − 3b. Så kan 0-vektoren fremstilles ved den egentlige linearkombination 2a − 3b − c = 0 . Antag omvendt, at 0-vektoren er en egentlig linearkombination af vektorerne u, v og w således: 2u − 2v + 3w = 0 . Så har vi for eksempel, at 2 2 w = − u+ v 3 3 og dermed, at vektorerne er lineært afhængige. eNote 6 6.4 LINEÆR AFHÆNGIGHED OG LINEÆR UAFHÆNGIGHED Sætning 6.24 14 Lineær uafhængighed Lad k1 , k2 , . . . , k n være reelle tal. At vektorsættet (v1 , v2 , . . . , vn ) er lineært uafhængigt, er ensbetydende med, at ligningen k1 v1 + k2 v2 + · · · + k n vn = 0 (6-2) kun er opfyldt, når alle koefficienterne k1 , k2 , . . . , k n er lig med 0 . Bevis Antag, at sættet (v1 , v2 , . . . , vn ) er lineært afhængigt, og lad vi være en vektor, som kan skrives som en linearkombination af de øvrige. Vi nyordner (om nødvendigt) sættet, så i = 1, hvorefter v1 kan skrives på formen v1 = k2 v2 + · · · + k n vn ⇔ v1 − k2 v2 − · · · − k n vn = 0 . (6-3) 0-vektoren er hermed opskrevet på formen (6-2), hvor ikke alle koefficienter er 0 , idet koefficienten til v1 er 1 . Antag omvendt, at sættet er skrevet på formen (6-2), og lad k i 6= 0 . Vi nyordner (om nødvendigt) sættet, så i = 1, hvorefter vi har k1 v1 = −k2 v2 − · · · − k n vn ⇔ v1 = − k2 kn v2 − · · · − vn . k1 k1 (6-4) Heraf ses det, at sættet er lineært afhængigt. Eksempel 6.25 Lineært afhængigt sæt Ethvert vektorsæt, som indeholder nul-vektoren, er lineært afhængigt. Betragt for eksempel sættet (u, v, 0, w). Det er oplagt, at nul-vektoren kan skrives som linearkombination af de øvrige tre vektorer: 0 = 0u + 0v + 0w . Parameterfremstillinger for planer i rummet opstilles ved hjælp af to lineært uafhængige vektorer. Nedenfor giver vi først et eksempel på en plan, der indeholder origo, og dernæst et eksempel på en plan, der ikke indeholder origo. eNote 6 6.4 LINEÆR AFHÆNGIGHED OG LINEÆR UAFHÆNGIGHED Eksempel 6.26 15 Parameterfremstilling for en plan Der er givet en plan i rummet, som går gennem origo. Beskriv punkterne i planen ved hjælp af en parameterfremstilling. R v O P u Q Figur 6.12: En plan i rummet gennem origo På den givne plan vælges to punkter Q og R, som ikke er origo, og som ikke ligger på en → → fælles linje gennem origo. Vektorerne u =OQ og v =OR vil da være lineært uafhængige, og kaldes planens retningsvektorer. Til ethvert punkt P i planen findes der netop ét reelt talpar → (s, t) således, at OP= su + tv . Omvendt findes der også til ethvert reelt talpar (s, t) netop ét → punkt P i planen, som opfylder OP= su + tv . Man siger, at → { P | OP= su + tv , (s, t) ∈ R2 } er en parameterfremstilling for den givne plan. eNote 6 6.4 LINEÆR AFHÆNGIGHED OG LINEÆR UAFHÆNGIGHED Eksempel 6.27 16 Parameterfremstilling for en plan En plan i rummet går ikke gennem origo. Beskriv den ved hjælp af en parameterfremstilling. R P v B u Q b O Figur 6.13: En plan i rummet → Først vælges der et begyndelsespunkt B i planen, og vi sætter b =OB. Dernæst vælges der → → to lineært uafhængige retningsvektorer u = BQ og v = BR, hvor Q og R ligger i planen. Til ethvert punkt P i planen findes der så netop ét reelt talpar (s, t) således, at → → → OP=OB + BP= b + su + tv . Omvendt findes der ligeledes til ethvert reelt talpar (s, t) netop ét punkt P i planen, som → opfylder OP= b + su + tv . Man siger, at → { P | OP= b + su + tv , (s, t) ∈ R2 } er en parameterfremstilling for den givne plan. Vi anfører nu en generel metode til at opstille en parameterfremstilling for en plan. Bemærk at intervallerne, her kaldt I1 og I2 , kan vælges frit med det formål at afgrænse planen fremfor at lade den strække sig uendeligt i hver retning. eNote 6 6.5 DE SÆDVANLIGE BASER I PLANEN OG RUMMET Metode 6.28 17 Parameterfremstilling for en plan Givet en plan m og tre forskellige punkter R, B og Q på m samt origo O. Vektorerne → → v = BR og u = BQ kaldes retningsvektorer for m . En parameterfremstilling for m er da → m = { P | OP= b + su + tv hvor s ∈ I1 og t ∈ I2 } , → hvor b =OB, og I1 såvel som I2 er givne intervaller. Opgave 6.29 Giv en parameterfremstilling for det i planen liggende parallelogram A, som vist i figur 6.14. v B A u b O Figur 6.14: Et parallellogram i planen 6.5 De sædvanlige baser i planen og rummet I den analytiske geometri viser man, hvordan tal og ligninger kan beskrive geometriske objekter og fænomener herunder vektorer. Her er begrebet koordinater afgørende. Det handler nemlig om, hvordan vi kan fastlægge de geometriske objekters placering i rummet og i forhold til hinanden ved hjælp af tal og talsæt. For at få grundlaget i orden skal vi vælge et vist antal vektorer, som vi udnævner til basisvektorer. Basisvektorer er vektorer, der ved hinandens hjælp udspænder et rum fuldstændigt (fx et 2D- eller 3D-rum), forstået på den måde at de kan beskrive alle andre vektorer i dette rum. Basisvektorerne ordnes — dvs. arrangeres i en bestemt rækkefølge — og udgør herefter en basis for det pågældende rum. Når en basis er givet, kan samtlige vektorer, der overhovedet er mulige at lave i det pågældende rum, beskrives ved hjælp eNote 6 6.5 DE SÆDVANLIGE BASER I PLANEN OG RUMMET 18 af koordinater, som er basisvektorernes koefficienter, og koordinaterne samler vi som regel i såkaldte koordinatvektorer. Hvordan hele denne procedure foregår, udfolder vi først gennem standardbaserne i planen og rummet. Senere kommer vi ind på, at det ofte kan være hensigtsmæssigt at benytte andre baser end de sædvanlige, og på hvordan relationen mellem en vektors koordinater er i forskellige baser. Definition 6.30 Standardbasis i planen Ved en standardbasis eller sædvanlig basis for de geometriske vektorer i planen forstås et ordnet sæt af to vektorer (i, j), som opfylder: • i har længden 1 , og • j = bi (det vil sige, j er tværvektor for i ). Ved et sædvanligt koordinatsystem i planen forstås en standardbasis (i, j) sammen med et valgt origo O . Koordinatsystemet skrives (O, i, j) . Ved x-aksen og y-aksen forstås orienterede tallinjer gennem O, som er parallelle med henholdsvis i og j . Y 1 j O i 1 X Figur 6.15: Sædvanligt koordinatsystem i planen eNote 6 6.5 DE SÆDVANLIGE BASER I PLANEN OG RUMMET Sætning 6.31 19 En vektors koordinater Hvis e = (i, j) er en standardbasis, kan enhver vektor v i planen på netop én måde skrives som en linearkombination af i og j: v = xi + yj. Koefficienterne x og y i linearkombinationen kaldes v’s koordinater med hensyn til basen e, eller kortere: v’s e-koordinater, og de samles i en koordinatvektor med følgende skrivemåde: x . ev = y Bemærk at den basis som v’s koordinater er udtrykt i, er angivet sænket på venstre side af vektornavnet: e v. Man giver normalt standardbasen navnet e. Bevis Medtages i næste opdatering af eNoten. eNote 6 6.5 DE SÆDVANLIGE BASER I PLANEN OG RUMMET Definition 6.32 20 Et punkts koordinater Lad P være et vilkårligt punkt i planen, og lad (O, i, j) være et sædvanligt koordinatsystem i planen. Ved koordinaterne for P med hensyn til koordinatsystemet → forstås koordinaterne for stedvektoren OP med hensyn til standardbasen (i, j) . Y P(x,y) y a yj j x xi O i X Figur 6.16: Et punkts koordinater Indføringen af sædvanlig basis og koordinater for vektorer i rummet er en simpel udvidelse af den i planen. eNote 6 6.5 DE SÆDVANLIGE BASER I PLANEN OG RUMMET Definition 6.33 21 Standardbasis i rummet Ved en standardbasis eller sædvanlig basis for de geometriske vektorer i rummet forstås et ordnet sæt af tre vektorer (i, j, k), som opfylder: • i, j og k har alle længden 1, • i, j og k er parvist ortogonale, og • når i, j og k afsættes ud fra et valgt punkt, og når vi betragter i og j fra endepunktet af k, så overgår i i j, når i drejes omkring det valgte punkt med vinklen π 2 mod uret. Ved et sædvanligt koordinatsystem i rummet forstås en standardbasis (i, j, k) sammen med et valgt origo O . Koordinatsystemet skrives (O, i, j, k) . Ved x-aksen, y-aksen og z-aksen forstås orienterede tallinjer gennem origo O, som er parallelle med henholdsvis i , j og k . Z 1 k i O 1 j 1 Y X Figur 6.17: Sædvanligt koordinatsystem i rummet eNote 6 22 6.5 DE SÆDVANLIGE BASER I PLANEN OG RUMMET Sætning 6.34 En vektors koordinater Hvis e = (i, j, k) er en standardbasis, kan enhver vektor v i rummet på netop én måde skrives som en linearkombination af i, j og k: v = xi + yj + zk. Koefficienterne x, y og z i linearkombinationen kaldes v’s koordinater med hensyn til e-basis, eller kortere: v’s e-koordinater, og de samles i en koordinatvektor med følgende skrivemåde: x ev = y . z Definition 6.35 Et punkts koordinater Lad P være et vilkårligt punkt i rummet, og lad (O, i, j, k) være et sædvanligt koordinatsystem i rummet. Ved koordinaterne for P med hensyn til koordinatsystemet → forstås koordinaterne for stedvektoren OP med hensyn til standardbasen (i, j, k) . Z z a k i O j P y zk Y xi+yj x Q X Figur 6.18: Et punkts koordinator i rummet eNote 6 6.6 VILKÅRLIGE BASER I PLANEN OG I RUMMET 23 6.6 Vilkårlige baser i planen og i rummet Hvis der i planen er givet to lineært uafhængige vektorer, er det muligt at skrive enhver anden vektor i planen som en linearkombination af de to givne vektorer. På figur 6.19 betragter vi som eksempel de to lineært uafhængige vektorer a1 og a2 samt to andre vektorer u og v. u v a2 a1 O Figur 6.19: Koordinatsystem i planen med basis (a1 , a2 ) Vi ser, at u = 1a1 + 2a2 og v = −2a1 + 2a2 . (6-5) Disse linearkombinationer er entydige, idet u og v ikke kan skrives som linearkombination af a1 og a2 ved at benytte andre koefficienter end dem, der her indgår. Enhver anden vektor i planen kan på tilsvarende vis skrives som en entydig linearkombination af a1 og a2 . Man siger, at de to vektorer a1 og a2 udspænder hele planen. Dette gør det muligt at generalisere begrebet basis. I stedet for en standardbasis e = (i, j) kan vi lige såvel vælge at benytte vektorsættet (a1 , a2 ) som en basis for vektorerne i planen, netop fordi sættet af a1 og a2 udspænder samme plan som e. Hvis vi kalder basen a, så a = (a1 , a2 ), siger man, at koefficienterne, der ses i linearkombinationerne ovenfor, er koordinaterne til u henholdsvis v med hensyn til basen a, eller kortere: u og v’s a-koordinater, hvilket skrives således: 1 −2 og a v = . (6-6) au = 2 2 For mængden af geometriske vektorer i rummet går vi frem på tilsvarende måde. Er der givet tre lineært uafhængige vektorer, kan enhver vektor i rummet på entydig vis skrives som en linearkombination af de tre givne vektorer. De udspænder hele rummet. Vi kan derfor i samme stil vælge de tre vektorer som en basis for alle rumvektorer og udtrykke en vilkårlig rumvektor ved hjælp af koordinater med hensyn til denne basis. En fremgangsmåde til at bestemme koordinaterne er vist på figur 6.20, hvor der er givet en a-basis (a1 , a2 , a3 ) samt en vilkårlig vektor u. eNote 6 24 6.6 VILKÅRLIGE BASER I PLANEN OG I RUMMET P u a3 a2 O Q a1 Figur 6.20: Koordinatsystem med basis (a1 , a2 , a3 ) Husk på, at vektorerne i en basis ikke behøver at være vinkelrette på hinanden (ortogonale), som vi ellers er vant til med den sædvanlige standardbasis både i planen og i rummet. De skal blot være lineært uafhængige. Gennem u’s endepunkt P trækkes en linje, som er parallel med a3 . Det punkt, hvor denne linje skærer den plan, der indeholder a1 og a2 , betegnes Q. Der → findes da to tal k1 og k2 , så OQ= k1 a1 + k2 a2 , fordi (a1 , a2 ) udgør en basis i den → plan, som indeholder a1 og a2 . Endvidere findes der et tal k3 , så QP= k3 a3 , da → QP og a3 er parallelle. Så har vi: → → u =OQ + QP= k1 a1 + k2 a2 + k3 a3 . u har dermed koordinatsættet (k1 , k2 , k3 ) med hensyn til basis a. eNote 6 25 6.6 VILKÅRLIGE BASER I PLANEN OG I RUMMET Eksempel 6.36 Koordinater med hensyn til en vilkårlig basis I rummet er der givet tre lineært uafhængige vektorer a1 , a2 og a3 som vist på figur 6.21. u a1 a3 O a2 Figur 6.21: Koordinatsystem med basis (a1 , a2 , a3 ) Da u kan skrives som en linearkombination af a1 , a2 og a3 ved u = 3a1 + a2 + 2a3 , (6-7) så har u koordinaterne (3, 1, 2) med hensyn til basen a givet ved a = (a1 , a2 , a3 ), hvilket kort skrives som en koordinatvektor således: 3 (6-8) au = 1 . 2 Vi samler overvejelserne om vilkårlige baser ovenfor i den følgende mere formelle definition. eNote 6 6.6 VILKÅRLIGE BASER I PLANEN OG I RUMMET Definition 6.37 26 Vektorers koordinater med hensyn til en basis • Ved en basis a for de geometriske vektorer i planen forstås et vilkårligt ordnet sæt af to lineært uafhængige vektorer (a1 , a2 ). Lad en vilkårlig vektor u være bestemt ved linearkombinationen u = xa1 + ya2 . Koefficienterne x og y kaldes u’s koordinater med hensyn til basis a, eller kortere: u’s a-koordinater, og de samles i en koordinatvektor med følgende skrivemåde: x . (6-9) au = y • Ved en basis b for de geometriske vektorer i rummet forstås et vilkårligt ordnet sæt af tre lineært uafhængige vektorer (b1 , b2 , b3 ). Lad en vilkårlig vektor v være bestemt ved linearkombinationen v = xb1 + yb2 + zb3 . Koefficienterne x, y og z kaldes for v’s koordinater med hensyn til basis b, eller kortere: v’s bkoordinater, og de samles i en koordinatvektor med følgende skrivemåde: x bv = y . z (6-10) En given vektors koordinatsæt ændres, når man skifter basis. Denne afgørende pointe tager vi hul på i den følgende opgave. Opgave 6.38 a2 j O i a1 eNote 6 6.6 VILKÅRLIGE BASER I PLANEN OG I RUMMET 27 Figur 6.22: Basisskifte På figur 6.22 er der i planen givet standardbasis e = (i, j) samt en anden basis a = (a1 , a2 ). 1. En vektor u har koordinaterne (5, −1) med hensyn til basis e. Bestem u’s a-koordinater. 2. En vektor v har koordinaterne (−1, −2) med hensyn til basis a. Bestem v’s e-koordinater. Bemærk hvor vigtigt det er at man er klar over, hvilken basis koordinaterne er givet i! Opgave 6.39 b c O d a Figur 6.23 1. Det fremgår af figur 6.23, at a, b og c er lineært uafhængige. En basis m kan derfor defineres ved (a, b, c). Bestem koordinatvektoren m d. 2. Det fremgår også af figuren, at (a, b, d) er en basis. Lad os kalde denne basis n. Bestem koordinatvektoren n c. 3. Indtegn med origo som begyndelsespunkt den vektor u, som har m-koordinaterne 2 mu = 1 . 1 eNote 6 6.7 VEKTORREGNING VED HJÆLP AF KOORDINATER 28 6.7 Vektorregning ved hjælp af koordinater Når man har valgt en basis for de geometriske vektorer i planen (eller i rummet), så kan alle vektorer beskrives og fastlægges ved hjælp af deres koordinater med hensyn til den valgte basis. Til de to regneoperationer addition og multiplikation med skalar, som tidligere er indført i denne eNote ved geometrisk konstruktion, får vi hermed et særdeles praktisk alternativ. I stedet for at udføre de geometriske regne-konstruktioner kan vi blot gennemføre taludregninger med de koordinater, der svarer til den valgte basis. Vi illustrerer dette med et eksempel fra planen, hvor der er givet en basis a ved a = (a1 , a2 ) samt to vektorer u og v afsat ud fra O, se figur 6.24. Opgaven består i at bestemme vektoren b = 2u − v, og vi vil gøre det på to forskellige måder. v a2 u b O (4,2) a1 Figur 6.24: Linearkombination bestemt vha. koordinater Metode 1 (geometrisk): Vi udfører regneoperationerne som defineret i definition 6.2 og definition 6.3 ud fra de grå hjælpevektorer i figur 6.24. Metode 2 (algebraisk): Vi aflæser koordinaterne for u og v og udfører regneoperationerne direkte på koordinaterne: 1 −2 4 − = . (6-11) a b = 2 a u −a v = 2 2 2 2 Herefter kan b tegnes direkte ud fra dens koordinater (4, 2) med hensyn til basen a. At vi har ret til at følge denne fremgangsmåde, fremgår af den følgende sætning. eNote 6 6.7 VEKTORREGNING VED HJÆLP AF KOORDINATER Sætning 6.40 29 Grundlæggende koordinat-regneregler I planen eller rummet er der givet to vektorer u og v samt et reelt tal k . Der er endvidere valgt en vilkårlig basis a. De to regneoperationer u + v og k u kan da udføres ved hjælp af koordinater således: 1. a (u + v) = a u + a v 2. a (ku) = k a u Sagt med ord: Koordinaterne for en vektorsum fås ved at lægge koordinaterne for addenderne sammen. Og koordinaterne for en vektor ganget med et tal er vektorens koordinater ganget med tallet. Bevis Vi gennemfører beviset for mængden af de geometriske rumvektorer. Antag, at koordinaterne for u og v med hensyn til den valgte basis a er givet ved v1 u1 (6-12) og a v = v2 . a u = u2 v3 u3 Vi har da: u = u1 a1 + u2 a2 + u3 a3 og v = v1 a1 + v2 a2 + v3 a3 (6-13) og dermed ifølge den kommutative, associative og distributive regel fra sætning 6.13: u + v = (u1 a1 + u2 a2 + u3 a3 ) + (v1 a1 + v2 a2 + v3 a3 ) = (u1 + v1 )a1 + (u2 + v2 )a2 + (u3 + v3 )a3 , (6-14) v1 u1 u1 + v1 a (u + v) = u2 + v2 = u2 + v2 = a u + a v , v3 u3 u3 + v3 (6-15) hvilket medfører, at hvorefter første del af beviset er fuldført. Ved anden del af beviset benytter vi igen en distributiv regneregel fra sætning 6.13: ku = k (u1 a1 + u2 a2 + u3 a3 ) = (k · u1 )a1 + (k · u2 )a2 + (k · u3 )a3 , (6-16) hvilket medfører, at k · u1 u1 ( ku ) = = k k · u u2 = k a u , a 2 k · u3 u3 (6-17) hvorefter anden del af beviset er fuldført. eNote 6 6.7 VEKTORREGNING VED HJÆLP AF KOORDINATER 30 Sætning 6.40 gør det muligt at gennemføre mere komplicerede regneopgaver ved hjælp af koordinater, som de følgende eksempler viser. Eksempel 6.41 Koordinatvektor for en linearkombination De tre plane vektorer a, b og c har følgende koordinatvektorer med hensyn til en valgt basis v: 1 0 5 , vb = og v c = . (6-18) va = 2 1 −1 Bestem koordinatvektoren for d = a − 2b + 3c med hensyn til basis v. Vi går frem sådan: vd = v (a − 2b + 3c) = v (a + (−2)b + 3c) = v a + v (−2b) + v (3c) = va − 2 vb + 3 vc 1 0 5 16 = −2 +3 = . 2 1 −1 −3 Her opnås det tredje lighedstegn ved første del af sætning 6.40 og det fjerde lighedstegn ved anden del af sætning 6.40. Eksempel 6.42 En plans parameterfremstilling i koordinater R v O P u Q Figur 6.25: En plan i rummet Planen gennem origo, som er vist på figur 6.25, har ifølge eksempel 6.26 parameterfremstillingen → { P | OP= su + tv , (s, t) ∈ R2 }. Antag, at der i rummet er givet en basis a, og at u1 v1 u = og v = u v2 . a a 2 u3 v3 (6-19) eNote 6 6.7 VEKTORREGNING VED HJÆLP AF KOORDINATER 31 Parameterfremstillingen (6-19) kan da skrives på koordinatform således: u1 v1 x y = s u2 + t v2 , u3 v3 z (6-20) → hvor a OP= ( x, y, z) og (s, t) ∈ R2 . Eksempel 6.43 En plans parameterfremstilling i koordinater R P v B u Q b O Figur 6.26: En plan i rummet Planen i figur 6.26 har ifølge eksempel 6.27 parameterfremstillingen → { P | OP= b + su + tv ; (s, t) ∈ R2 }. (6-21) Antag, at der i rummet er givet en basis a, og at b1 u1 v1 og v = , u = b = v2 . u b a a a 2 2 b3 u3 v3 Parameterfremstillingen (6-21) kan da skrives på koordinatform således: x b1 u1 v1 y = b2 + s u2 + t v2 , z b3 u3 v3 → hvor a OP= ( x, y, z) og (s, t) ∈ R2 (6-22) eNote 6 6.8 VEKTORLIGNINGER OG MATRIXALGEBRA 32 6.8 Vektorligninger og matrixalgebra En lang række problemer vedrørende vektorer fører til vektorligninger. Hvis vi ønsker at løse ligningerne ved hjælp af vektorernes koordinater med hensyn til en given basis, opstår der lineære ligningssystemer. Problemerne kan da løses ved hjælp af matrixmetoder, der ligger i forlængelse af eNote ??. Det viser vi eksempler på i dette afsnit, som opsummeres ved hjælp af begrebet koordinatmatricer (se særligt den afsluttende opgave 6.47). Eksempel 6.44 Om en vektor er en linearkombination af andre vektorer Der er i rummet givet en basis a og tre vektorer u, v og p, som med hensyn til basis a har koordinaterne 0 1 2 og p = , v = u = 7 . 4 1 a a a 1 3 5 Undersøg, om p er en linearkombination af u og v. Vi skal undersøge, om der findes koefficienter k1 , k2 således, at k1 u + k2 v = p . Vi opstiller den tilsvarende koordinatvektorligning 0 1 2 k 1 1 + k 2 4 = 7 , 1 3 5 som er ækvivalent med det lineære ligningssystem 2k1 + k2 = 0 (6-23) k1 + 4k2 = 7 5k1 + 3k2 = 1 . Vi ser på ligningssystemets totalmatrix T og angiver (uden mellemregninger) matricens trappeform: 2 1 0 1 0 −1 T = 1 4 7 → trap(T) = 0 1 (6-24) 2 , 5 3 1 0 0 0 hvor trappeformen er ækvivalent med det reducerede lineære ligningssystem 1k1 + 0k2 = −1 0k1 + 1k2 = 2 0k1 + 0k2 = 0 ⇔ k 1 = −1 k2 = 2 . (6-25) eNote 6 6.8 VEKTORLIGNINGER OG MATRIXALGEBRA 33 Ligningssystemet har altså netop én løsning for de to ubekendte: k1 = −1 og k2 = 2, hvorfor der åbenbart gælder: −1u + 2v = p . Eksempel 6.45 Om et vektorsæt er lineært afhængigt Der er i rummet givet en basis v og tre vektorer a, b og c, som med hensyn til denne basis har koordinaterne 2 1 5 og c = , b = a = 3 . 0 1 v v v 1 4 3 Undersøg, om vektorsættet (a, b, c) er lineært afhængigt. Vi vil undersøge, om der findes en egentlig linearkombination k1 a + k2 b + k3 c = 0 , da sætning 6.24 fortæller, at vektorerne er lineært afhængige, hvis der findes andre løsninger til denne ligning end nulløsningen (k1 , k2 , k3 ) = 0. Vi ser på den tilsvarende koordinatvektorligning, 0 5 1 2 k1 1 + k2 0 + k3 3 = 0 , 0 3 4 1 som er ækvivalent med det homogene lineære ligningssystem 5k1 + k2 + 2k3 = 0 k1 + 3k3 = 0 (6-26) 3k1 + 4k2 + k3 = 0 . Vi opstiller ligningssystemets trappeform: 5 T= 1 3 totalmatrix T og angiver (uden mellemregninger) matricens 1 2 0 1 0 0 0 0 3 0 → trap(T) = 0 1 0 0 4 1 0 0 0 1 0 (6-27) Vi ser, at ligningssystemet kun har nulløsningen k1 = 0, k2 = 0 og k3 = 0. Det undersøgte vektorsæt (a, b, c) er derfor lineært uafhængigt. Man ville derfor kunne vælge (a, b, c) som en ny basis for mængden af rumvektorer. I det følgende eksempel genoptager vi diskussionen om forholdet mellem koordinater og basisskifte fra opgave 6.38. eNote 6 6.8 VEKTORLIGNINGER OG MATRIXALGEBRA Eksempel 6.46 34 Nye koordinater når der skiftes basis a2 j O i a1 Figur 6.27: Basisskifte På figur 6.27 er der i planen givet en standardbasis e = (i, j) og en anden basis a = (a1 , a2 ). Når der skiftes basis, ændres givne vektorers koordinater. Her opstiller vi en systematisk metode til at udtrykke ændringen i koordinater ved hjælp af et matrixvektorprodukt. Først aflæser vi a-basisvektorernes e-koordinater: 1 1 . (6-28) og e a2 = e a1 = 1 −2 v1 . Bestem e-koordinaterne for v. Antag, at en vektor v har koordinatsættet a v = v2 Vi har, at v = v1 a1 + v2 a2 , og dermed ifølge sætning 6.40: 1 1 1 1 1 v1 1 = v. = + v2 e v = v1 −2 1 a −2 1 v2 −2 1 1 1 Hvis vi sætter M = , udtrykkes v’s e-koordinater ved matrixvektorproduktet −2 1 ev = M · av . (6-29) Det ses, at matricen M skifter basis“ på vektoren i denne operation. Vi kan med ” fordel tilføje en synlig markering af, at den skifter fra a-koordinater til e-koordinater, ved at skrive e Ma . Denne notation vil blive brugt flittigt senere hen i eNote ?? og fremefter. v1 Antag, at en vektor v har koordinatsættet e v = . Bestem a-koordinaterne for v. v2 eNote 6 6.8 VEKTORLIGNINGER OG MATRIXALGEBRA 35 Vi benytter den allerede fundne sammenhæng (6-29) og ganger fra venstre på begge sider af ligmedtegnet med den inverse matrix til M. Vi får herved a v isoleret som ønsket: M−1 · e v = M−1 · M · a v ⇔ av = M−1 · e v . (6-30) Mens M skiftede basis“ på vektoren før, er det nu M−1 der har denne rolle. Det ” tyder på at hvis en matrix skifter koordinater én vej, så skifter dens inverse matrix koordinater den anden vej. Dette undersøges nærmere i eNote 7 hvor vi viser: e Ma ⇔ a (M −1 )e . Opgave 6.47 Ved en koordinatmatrix med hensyn til en given basis a for et sæt af vektorer forstår man den matrix, der opstår, når man sætter vektorernes a-koordinatvektorer sammen til en matrix. Beskriv matricen T i eksempel 6.44 og eksempel 6.45 og matricen M i eksempel 6.46 som koordinatmatricer. eNote 6 6.9 SÆTNINGER OM VEKTORER I EN STANDARD E-BASIS 36 6.9 Sætninger om vektorer i en standard e-basis I dette afsnit arbejder vi med standard-koordinatsystemer både i planen og rummet. Vi indfører to forskellige multiplikationer mellem vektorer: prikproduktet, der både defineres i planen og rummet, og krydsproduktet, der kun defineres i rummet. Vi ser på geometriske anvendelser af disse multiplikationsformer og på geometriske fortolkninger af determinanter. 6.9.1 Prikproduktet af to vektorer Definition 6.48 Prikprodukt i planen a1 b I planen er der givet to vektorer e a = og e b = 1 . Ved prikproduktet (eller a2 b2 skalarproduktet) af a og b forstås tallet a · b = a1 · b1 + a2 · b2 . (6-31) Definition 6.49 Prikprodukt i rummet a1 b1 I rummet er der givet to vektorer e a = a2 og e b = b2 . Ved prikproduktet (eller a3 b3 skalarproduktet) af a og b forstås tallet a · b = a1 · b1 + a2 · b2 + a3 · b3 . For prikproduktet mellem to vektorer gælder de følgende regneregler. (6-32) eNote 6 6.9 SÆTNINGER OM VEKTORER I EN STANDARD E-BASIS Sætning 6.50 37 Regneregler for prikprodukt Givet tre vektorer a, b og c i planen eller rummet samt tallet k. Der gælder: 1. a · b = b · a (kommutativ regel) 2. a · (b + c) = a · b + a · c (distributiv regel) 3. (ka) · b = a · (kb) = k (a · b) 4. a · a = |a|2 5. |a + b|2 = |a|2 + |b|2 + 2a · b. Bevis Reglerne 1, 2 og 3 følger af simpel koordinatudregning. Regel 4 følger af Pythagoras’ sætning, og regel 5 er en direkte følge af reglerne 1, 2 og 4. I de efterfølgende tre sætninger ser vi på geometriske anvendelser af prikproduktet. Sætning 6.51 Længde af en vektor Lad v være en vilkårlig vektor i planen eller rummet. Længden af v opfylder: √ |v| = v · v . (6-33) Bevis Sætningen følger umiddelbart af regneregel 4 i sætning 6.50. Eksempel 6.52 Længde af en vektor Givet vektoren v i rummet og, at e v = (1, 2, 3). Vi har da p √ |v| = 12 + 22 + 32 = 14 . eNote 6 6.9 SÆTNINGER OM VEKTORER I EN STANDARD E-BASIS 38 Den efterfølgende sætning handler om vinklen mellem to vektorer, se figur 6.28. b v O a Figur 6.28: Vinklen mellem to vektorer Sætning 6.53 Vinkel mellem vektorer I planen eller rummet er der givet to egentlige vektorer a og b. Vinklen v mellem a og b opfylder: a·b cos(v) = (6-34) |a||b| Bevis Sætningen kan vises ud fra cosinus-relationen. Undervejs får man også brug for regel 5 i sætning 6.50. Detaljerne overlades til læseren. Af sætningen ovenfor følger umiddelbart følgende sætning. Følgesætning 6.54 Vinklers størrelsesforhold Betragt situationen i figur 6.28. Der gælder: 1. a · b = 0 ⇔ vinkel(a, b) = π 2 2. a · b > 0 ⇔ vinkel(a, b) < π 2 3. a · b < 0 ⇔ vinkel(a, b) > π 2 De to følgende sætninger er tilegnet ortogonale projektioner. På figur 6.29 er der i planen eller rummet afsat to vektorer a og b ud fra origo. eNote 6 39 6.9 SÆTNINGER OM VEKTORER I EN STANDARD E-BASIS b O v P a proj(b,a) Figur 6.29: To vektorer afsat i planen Betragt det vinkelrette nedfældningspunkt P af b’s endepunkt på den linje, som inde→ holder a. Ved den ortogonale projektion af b på a forstås vektoren proj(b, a) =OP. Sætning 6.55 Længden af en projektion Givet to egentlige vektorer a og b i planen eller rummet. Om længden af den ortogonale projektion af b på a gælder: |proj(b, a)| = |a · b| . |a| (6-35) Hvis du siger projektionen af b på a“, så er det nemt at huske rækkefølgen af ” vektorerne i udtrykket proj(b, a) .. Bevis Ved brug af kendt sætning vedrørende retvinklede trekanter samt sætning (6.53) fås |proj(b, a)| = | cos(v)| |b| = |a · b| . |a| Sætning 6.56 Formel for projektionsvektor Givet to egentlige vektorer a og b i planen eller rummet. Om den ortogonale projektion af b på a gælder: a·b proj(b, a) = a. (6-36) |a|2 eNote 6 6.9 SÆTNINGER OM VEKTORER I EN STANDARD E-BASIS 40 Bevis Hvis a og b er ortogonale, er sætningen klart opfyldt, da projektionen i så fald er nulvektoren. I modsat fald lad sign(a · b) betegne fortegnet for a · b. Der gælder, at sign er positiv netop, når a og proj(b, a) er ensrettede, og negativ netop, når de er modsatrettede. Vi får derfor: a a·b proj(b, a) = sign(a · b) · |proj(b, a)| = a, |a| |a|2 hvor vi undervejs har benyttet sætning 6.55 samt, at retning. a |a| er en enhedsvektor pegende i a’s Bemærk i beviset, at en enhedsvektor altid kan skaffes i en bestemt retning ved at dividere en vilkårlig vektor i den retning med sin egen længde. 6.9.2 Geometrisk tolkning af determinant af (2 × 2)-matrix En trekant 4( p, a, b) er bestemt ved to vektorer afsat ud fra et fælles begyndelsespunkt p, se figur 6.30. Sætningen herunder viser, hvordan en sådan trekants areal kan udregnes vha. determinanten. Figur 6.30: En trekant udspændt af to vektorer i planen eNote 6 6.9 SÆTNINGER OM VEKTORER I EN STANDARD E-BASIS Sætning 6.57 41 Areal af trekant ved determinant Arealet af trekant 4( p, a, b), hvor a og b er vektorer afsat ud fra et fælles begyndelsespunkt p, er den numeriske værdi af den halve determinant af den (2 × 2)-matrix, der fås ved at sætte a og b ind som søjler i matricen: Areal(4( p, a, b)) = 1 | det ( [a b] ) | 2 Bevis Arealet af en trekant er som bekendt halvdelen af grundlinjen gange højden, Areal(4) = 12 gh. Vi kan vælge længden |a| af a som grundlinje, g = |a|. Højden i trekanten er længden af b’s projektion ind på en linje vinkelret på a, dvs. a’s tværvektor b a: |b · b a| (6-37) |b a| − a2 jævnfør sætning 6.55. Tværvektoren er givet ved b a= . Derfor er arealet: a1 1 Areal(4( p, a, b)) = hg 2 1 |b · b a| = |a| 2 |b a| 1 = |b · b a| 2 (6-38) 1 = | a1 b2 − a2 b1 | 2 1 a1 b1 = det a2 b2 2 1 = | det ( [a b] ) | . 2 Vi har benyttet ved tredje ligmedtegn, at |a| = |b a|, og har ved femte ligmedtegn brugt formlen for determinanten af en (2 × 2)-matrix baglæns. Sætningen er hermed blevet bevist. h = |proj(b, b a)| = Af sætning 6.57 følger umiddelbart følgende. eNote 6 6.9 SÆTNINGER OM VEKTORER I EN STANDARD E-BASIS Følgesætning 6.58 42 Areal af parallelogram ved determinant Arealet af det af vektorerne a og b udspændte parallelogram er lig med den numeriske værdi af determinanten af den (2 × 2)-matrix, der fås ved at sætte a og b ind som søjler i matricen. 6.9.3 Krydsprodukt og rumprodukt Krydsproduktet af to vektorer og rumproduktet af tre vektorer indføres ved hjælp af determinanter. Definition 6.59 Krydsprodukt a1 b1 I rummet er der givet to vektorer e a = a2 og e b = b2 . a3 b3 Ved krydsproduktet (eller vektorproduktet) a × b af a og b forstås vektoren v givet ved a2 b2 det a3 b3 a3 b3 . (6-39) e v = det a b 1 1 a b det 1 1 a2 b2 Krydsproduktet har en markant geometrisk betydning. Sammenhold figur 6.31 og den efterfølgende sætning. axb b p v a Figur 6.31: Krydsprodukt vist geometrisk eNote 6 6.9 SÆTNINGER OM VEKTORER I EN STANDARD E-BASIS Sætning 6.60 43 Areal af trekant ved krydsprodukt For to lineært uafhængige vektorer a og b, som har den mellemliggende vinkel v, opfylder krydsproduktet a × b følgende: 1. a × b er ortogonal på både a og b . 2. |a × b| = 2 · Areal(4( p, a, b)) . 3. Vektorsættet (a, b, a × b) er i højrestilling: Set fra spidsen af a × b er retningen fra a til b mod uret. Som det sidste punkt i sætningen antyder, er faktorernes orden ikke ligegyldig i krydsprodukter. Højrehåndsreglen er god til at huske højrestillinger: Grib fat med din højre hånd om vektor a × b, så tommelfingeren peger langs med vektoren i positiv retning. Dine andre fingre, der kurver omkring vektoren, peger da i retningen fra a imod b. Omvendt, hvis du tager krydsproduktet af to vektorer a og b, så kurv dine fingre i retningen fra a imod b, og du ved straks, hvilken vej den resulterende vektor a × b peger, nemlig langs med tommelfingeren. Af sætning 6.60 følger umiddelbart følgende. Følgesætning 6.61 Areal af parallelogram ved krydsprodukt Arealet af det parallelogram, der udspændes af vektorerne a og b, er lig med |a × b|. eNote 6 6.9 SÆTNINGER OM VEKTORER I EN STANDARD E-BASIS Definition 6.62 44 Rumprodukt c1 b1 a1 Rumproduktet Rum(a, b, c) af tre vektorer e a = a2 , e b = b2 og e c = c2 c3 b3 a3 defineres ved Rum(a, b, c) = (a × b) · c , hvilket videre kan udtrykkes ved Rum(a, b, c) = (a × b) · c = (c1 ( a2 b3 − a3 b2 ) + c2 ( a3 b1 − a1 b3 ) + c3 ( a1 b2 − a2 b1 ) a1 b1 c1 = det a2 b2 c2 a3 b3 c3 (6-40) = det ([e a e b e c]) . 6.9.4 Geometrisk tolkning af determinant af (3 × 3)-matrix Et tetraeder ( p, a, b, c) (en trekantet pyramide“) er udspændt af vektorerne a, b og c ” afsat ud fra punktet p som vist i figur 6.32. Herunder gives en sætning til udregning af rumfanget af et sådant tetraeder vha. determinanten. Figur 6.32: Et tetraeder udspændt af tre vektorer i rummet eNote 6 6.9 SÆTNINGER OM VEKTORER I EN STANDARD E-BASIS 45 Trekanter symboliseres sædvanligvis ved 4, tetraedre ved og firkanter ved . Sætning 6.63 Rumfang af tetraeder Rumfanget af tetraederet ( p, a, b, c) er Vol(( p, a, b, c)) = 1 | det ([a b c]) | . 6 (6-41) Bevis Fra elementær rumgeometri vides, at rumfanget Vol(( p, a, b, c)) af et tetraeder ( p, a, b, c), der er udspændt af vektorerne a, b og c afsat ud fra punktet p, er en tredjedel af grundfladens areal gange højden, Vol() = 31 Ah. Vi vælger en vilkårlig af fladerne som grundflade. Arealet A af den trekantede grundflade 4( p, a, b) kan bestemmes vha. sætning 6.60: A = Areal(4( p, a, b)) = 1 |a × b| . 2 Den tilhørende højde h er den vinkelrette afstand fra grundfladen til modstående spids, hvilket er lig med længden af projektionen af c på en vektor, der står lodret på grundfladen. Jævnfør definitionen af krydsprodukt ved vi, at a × b netop står vinkelret på grundtrekanten. Denne kan derfor bruges, så højden er h = |proj(c, a × b)| = |(a × b) · c| . |a × b| (6-42) Volumet bestemmes: 1 Ah 3 1 1 |(a × b) · c| = · |a × b| 3 2 |a × b| 1 = |(a × b) · c| . 6 Vol(( p, a, b, c)) = (6-43) Sammenholdes dette med definition på rumprodukt fra sætning 6.62, (a × b) · c = det ([a b c]), fås udtrykket på determinantform, og sætningen er bevist. eNote 6 6.9 SÆTNINGER OM VEKTORER I EN STANDARD E-BASIS 46 Et tetraeder har rumfanget 0 og er kollapset, når determinanten i (6-41) er 0. Det sker netop, når en af vektorerne kan skrives som en linearkombination af de to andre, hvilket undersøges i de følgende opgaver. Definition 6.64 Regulært tetraeder Et regulært tetraeder er et tetraeder, der har et egentligt rumfang; altså et rumfang, der er skarpt større end 0. Opgave 6.65 Lad A betegne en (2 × 2)-matrix med søjlevektorerne a og b: A = [a b]. (6-44) Vis, at determinanten af A er 0, hvis og kun hvis a og b er lineært afhængige i R2 . Et parallelepipidum udspændt af vektorerne a, b, og c kan sammensættes af de seks tetraeder: ( p1 , a, b, c), ( p2 , −a, b, c), ( p3 , a, −b, c), ( p4 , −a, −b, c), ( p5 , −a, b, −c) og ( p6 , −a, −b, −c). (6-45) Derfor følger udmiddelbart af sætning 6.63 følgende. Følgesætning 6.66 Rumgang af parallelepipedum ved determinant Rumfanget af et parallelepipedum, som er udspændt af vektorerne a, b, og c, er | det ([a b c]) |. Opgave 6.67 Lad A betegne en (3 × 3)-matrix med søjlevektorerne a, b, og c: A = [a b c]. (6-46) Vis, at determinanten af A er 0, hvis og kun hvis a, b og c udgør et lineært afhængigt system af vektorer i R3 . eNote 6 6.9 SÆTNINGER OM VEKTORER I EN STANDARD E-BASIS 47 Opgave 6.68 Benyt de geometriske tolkninger af determinanten ovenfor til at vise, at Hadamards ulighed herunder gælder for (2 × 2)-matricer og for (3 × 3)-matricer (faktisk er uligheden gældende for alle kvadratiske matricer): ! det(A)2 ≤ Hvornår gælder der lighedstegn i (6-47)? n n j i ∏ ∑ a2ij . (6-47)