Något om Vektorer och Mathematica

Transkript

1 HH/ITE/BN Vektorer och Mathematica 1 Något om Vektorer och Mathematica Bertil Nilsson

2 2 Vektorer och Mathematica HH/ITE/BN Förord På följande sidor presenteras en elementär "streetwise guide" till vektorer i planet och rummet med flitig användning av Mathematica. Framställningen är fåordig, fri från pedanteri men i någon mening fullständig. Det man väsentligen behöver veta om begrepp, terminologi, beteckningar och teori för att modellera och lösa problem i framtida kurser och yrkesliv som ingenjör, naturvetare eller lärare klarläggs och typiska exempel ges. Vektorbegreppet Inom naturvetenskap finns många storheter som är bestämda av ett enda tal, storhetens mätetal, t.ex. massa, temperatur, längd, vinkel eller fart. Sådana storheter kallas för en skalär. Det finns emellertid också storheter som utöver mätetal även har en riktning. En sådan storhet kallas vektor och har både riktning och längd (ibland också kallad storlek eller belopp). Dess längd är en skalär. Det typiska exemplet är hastighet som är en vektor och dess längd som kallas fart. Eftersom vi inte kan avgöra åt vilket håll vi kör när vi tittar på bilens "hastighetsmätare" har vi alltså strängt taget inte en hastighetsmätare i bilen utan en fartmätare! Ett annat exempel är kraft som har både längd (storlek) och en speciell riktning. En vektor betraktas ibland som en riktad sträcka mellan två punkter och åskådliggörs vanligtvis med en pil som då både visar dess längd och riktning. Man talar om vektorns startpunktfotpunkt A och slutpunktspets B. Vanligtvis betecknas en vektor med små feta bokstäver, exempelvis v eller, vilket utläses vektorn v. Typiska undantag är i mekanik där man av tradition använder beteckningar som, och för en kraftvektor och för ett kraftmoment. Ibland ser man också de lite äldre beteckningarna v och v. Längden skrivs med motsvarande enkla font v eller med beloppstecken. Längden är alltså en skalär, ett tal, och sambandet mellan skrivsätten är v. I Mathematica skrivs feta bokstäver, t.ex. v eller, med "fet italiensk" font respektive dsv, där ds står för Double-Struck. Författaren brukar vara konsekvent och använda det senare både i Mathematica och för hand. För att öka läsbarheten brukar man ofta pynta ett namn med en för vektorn typisk egenskap, exempelvis om pekar åt samma håll som. Läsaren uppmuntras att följa denna vana. Inte sällan används grekiska bokstäver. Dessa hämtas ur palette eller direkt på tangentbordet som bokstav, t.ex. Α a, Β b, Μ m, j och Θ q osv. Det går naturligtvis lika bra att använda vanliga tecken! Enhetsvektor och nollvektor Om en vektor har längden ett, det vill säga 1, kallas den för enhetsvektor och är en mycket viktig byggsten när man modellerar och löser problem. För denna brukar man ofta reservera namn som,,, (enhetsvektor) eller (unit vector). En vektor som har längden noll kallar vi för nollvektor och reserverar namnet för denna. Skilj noga på vektorn och talet 0, sambandet dem emellan är 0. Likhet för vektorer Två vektorer och säges vara lika, vilket skrivs, om antingen och har samma längd och samma riktning eller båda är nollvektorer. Om de inte är lika skriver vi. Alla vektorer som är lika långa och riktade åt samma håll är lika. Exempel: Tre vektorer som är lika. Addition, subtraktion och multiplikation med skalär Addition och subtraktion mellan vektorer liksom multiplikation av en vektor med en skalär ger nya vektorer. Dessa definieras så att man geometriskt får en analogi med kraftbegreppet i mekanik.

3 HH/ITE/BN Vektorer och Mathematica 3 Vi ser att addition är kommutativ. Vid multiplikation av en vektor med en skalär, s, får vi som resultat en ny vektor med längden s s som förblir längs samma syftlinje som. Om s 0 säger vi att vektorn får motsatt riktning. Se figur ovan hur olika s påverkar en given vektor. Med vektorn menas vektorn 1. Vi har också utnyttjat likhet för vektorer när vi ritat upp "additionsparallellogrammen". Man talar ibland om olika representanter för samma vektor. Räknelagar: Om, och är godtyckliga vektorer och s och t reella tal gäller 1 kommutativa lagen 6 s t st distributiva lagen 2 associativa lagen 7 st st s ss distributiva lagen Parallella vektorer Två vektorer och säges vara parallella om de har samma riktning eller är motsatt riktade mot varandra eller om minst en av vektorerna är en nollvektor. Nollvektorn är alltså parallell med alla andra vektorer! Att och är parallella skrivs och betyder praktiskt att de ligger på samma syftlinje och kan därmed bringas att övertäcka varandra genom att den ena multipliceras med en skalär. I figuren ovan till höger som exemplifierar multplikation av vektor med skalär är alltså alla fem vektorerna parvis parallella med varandra. Parallellitet är en mycket viktig byggsten vid problemlösning och återkommer i tid och otid! Parallellitet: s Koordinatsystem, komposanter, komponenter och index I rummet, det vill säga i tre dimensioner som vanligtvis betecknas 3, representeras vektorer med fördel i ett så kallat ortonormerat koordinatsystem, ON-system. Om inget speciellt sägs antar man alltid att man befinner sig i ett sådant! Detta består av en given punkt origo och spänns upp av parvis vinkelräta(=ortogonala) basvektorer som är enhetsvektorer(=normerade);, och i de tre koordinatriktningarna x, y respektive z. Man talar om koordinatsystemets koordinataxlar x-axeln, y-axeln och z-axeln. Vanligtvis använder man ett så kallat högerorienterat system för att bestämma det inbördes förhållandet mellan koordinatriktningarna. Motsvarigheten i planet, två dimensioner 2, kommer sedan ut som ett specialfall genom att enbart betrakta och med tillhörande x och y. Inte sällan brukar man pynta namnet på en vektor för att understryka en väsentlig egenskap, t.ex. x för en vektor som pekar i positiv x-riktning. Exempelvis ser man ibland att de tre basvektorerna, och betecknas med x, y respektive z eftersom de är enhetsvektorer och pekar i var sin koordinatriktning. Ofta nämner man synonymt de olika koordinatriktningarna med deras ordningstal, det vill säga x 1, y 2 och z 3. Det ska alltså inte vålla någon förvirring om vi i text eller figur skriver 2 i stället för y.

4 4 Vektorer och Mathematica HH/ITE/BN En godtycklig vektor kan nu skrivas som summan av vektorer som är parallella med koordinatriktningarna. Dessa kallas vektorns komposanter. Dessa kan i sin tur skrivas som en lämplig skalär gånger basvektorn. Dessa skalärer kallas vektorns komponenter. Skilj noga på dessa två begrepp; komposant en vektor och komponent en skalär!! Nyckeln till problemlösning ligger faktiskt i denna till synes harmlösa lek med ord! v 1 v 2 v 3 v 1, v 2, v 3 v x, v y, v z Efter första likhetstecknet står summan av :s tre komposanter som är vektorer och efter det andra likhetstecknet motsvarande nedbrytning i komponent gånger basvektor och slutligen efter det tredje och sista likhetstecknen det nedbantade skrivsättet med :s tre komponenter som alltså är de skalärer man ska multiplicera basvektorerna med. Inte sällan skriver man i ingenjörssammanhang v x en vektors komponenter på kolonnform (högkant) v y, detta för att göra en distinktion med det närbesläktade begreppet punkt, v z som skrivs P x, P y, P z. I fortsättningen ansluter vi oss till denna nomenklatur. För att spara plats i löpande text ser man ofta kolonnformen skriven v x, v y, v z. Man bör vänja sig vid båda skrivsätten! Addition och subtraktion definieras komponentvis. Vi ser nu tydligt att addition är kommutativ. v x v y v z w x w y w z v x w x v y w y v z w z w x v x w y v y w z v z v x v y v z w x w y w z v x w x v y w y v z w z w x v x w y v y w z v z Definition av multiplikation med en skalär s sker lika naturligt såsom likhet mellan vektorer givna på komponentform ss v x v y v z sv x sv y sv z v x s v y s v z s s v x w x v y w y v z w z I Mathematica representeras vektorer av en lista, det vill säga inom {}. Sedan är det bara att räkna på! 2, 3, 5; 1, 1, 3; Addition 2, 3, 5 1, 1, 32 1, 3 1, 5 3 1, 4, 2. 1, 4, 2 Multiplikation med skalär 222, 3, 5 22, 23, 254, 6, , 6, 10 Kombination 4341, 1, 3 32, 3, , 41 33, , 5, , 5, 27

5 HH/ITE/BN Vektorer och Mathematica 5 Likhet skrivs som vanligt med två "="-tecken i Mathematica precis som vid ekvation. True Synsättet att ange de olika koordinatriktningarna med deras ordningstal, det vill säga x 1, y 2 och z 3, är direkt översättbart till begreppet index i en vektor eller lista. Om man i Mathematica är speciellt intresserad av någon av vektorns komponenter kan denna enkelt hämtas/modifieras med indicering, t.ex. y-komponenten [[2]]. Detta kan också skrivas lite mer kompakt på tangentbordet som [[2]], med resultatet 2, eller varför inte använda palette 2. Vi provar 2, 2, 2 3, 3, 3 3, 1 5, ; 10, 3, 5 Exempel: I Mathematica finns stöd för att rita både två- och tredimensionella vektorer. Se vidare Arrow. Lösningsförslag: Rita en liten pil i 2D! GraphicsRed, ArrowheadsMedium, Arrow0, 0, 1, 1, Axes True, AxesLabel "x", "y" y x Punkt och ortsvektor Läget av en punkt i ett koordinatsystem anges med dess koordinater. Släktskapet med vektor är nära. För att inte förväxlas skrivs oftast en punkt med stor enkel bokstav. Koordinaterna skrivs i motsats till vektorer på radform P P x, P y, P z x, y, z Inte sällan brukar man liksom för vektorer pynta namnen med ett subindex P 1, Q L. Den direkta kopplingen mellan en punkt P och en vektor är begreppet "ortsvektor för punkten P". Denna går från koordinatsystemets origo O, en punkt, till punkten P och definieras helt enkelt av att koordinaterna för P blir ortsvektorns komponenter på kolonnform. Att ange en vektor från en punkt till en annan med punkternas namn och en "pil på taket" är tydligt självdokumenterande. Så OP P x, P y, P z är ortsvektorn för punkten P. En vektor från punkt P 1 till punkt P 2 definieras sedan som

6 6 Vektorer och Mathematica HH/ITE/BN P 1 P 2 OP 2 OP 1 x 2 y 2 z 2 x 1 y 1 z 1 Lägg märke till ordningen! Man kan inte "räkna" med punkter. Om någon påstår det så är det förmodligen ortsvektorerna som avses! Uttryck av typen P 1 P 2 eller P 1 saknar alltså mening. Längd, storlek eller belopp Ständigt behöver man räkna ut längden av en vektor. Denna defineras naturligt som "Pytagoras sats i tre dimensioner" v v x 2 v y 2 v z 2 Lite beroende på vilken fysikalisk storhet vektorn representerar används ofta storlek eller belopp som synonymer till längd. Ibland ser man också att längden, precis som i figuren ovan, anges med dubbla beloppstecken för att understryka dess nära släktskap med det mer generella begreppet norm. Ur definitionen inser vi att 0 och att nollvektorn måste ha alla sina komponenter lika med noll, eftersom 0. Exempel: Bestäm längden av vektorn 1, 2, 3. Lösningsförslag: Direkt tillämpning på formeln ovan ger 1, 2, Se till att negativtecken kommer med i kvadreringen, det vill säga plustecknen i formeln är alltid plustecken! Linjärt beroende Låt 1, 2,, n vara givna vektorer och Λ 1, Λ 2,, Λ n godtyckliga tal. En vektor på formen Λ 1 1 Λ 2 2 Λ n n kallas för en linjärkombination av vektorerna 1, 2,, n. Man säger att vektorerna 1, 2,, n är linjärt beroende om minst en av vektorerna kan uttryckas som en linjärkombination av de övriga. I motsatt fall kallas vektorerna för linjärt oberoende. Två vanliga formuleringar i sammanhanget är Vektorerna 1, 2,, n är linjärt beroende om och endast om det finns tal Λ 1, Λ 2,, Λ n, som inte alla är 0, så att Λ 1 1 Λ 2 2 Λ n n. Om vektorerna 1, 2,, n är linjärt oberoende och uppfyller likheten Λ 1 1 Λ 2 2 Λ n n, så måste Λ 1 Λ 2 Λ n 0. Linjärt oberoende vektorer kan vi använda som basvektorer för att bygga koordinatsystem som, i motsats till de ON-system vi känner sedan tidigare, varken är ortogonala eller normerade. Sådana baser eller koordinatsystem kallar vi snedvinkliga.

7 HH/ITE/BN Vektorer och Mathematica 7 Skalärprodukt Skalärprodukt mellan två vektorer skrivs och definieras cosθ, där Θ är vinkeln mellan vektorerna. Även beteckningen, används ibland och inte sällan ser man bara. Den sistämnda varianten är odramatisk eftersom man lätt kan avgöra vilken multiplikation som skall åkallas vid "st", "s" respektive "" genom att helt enkelt rådfråga vilka typer som är inblandade. Som namnet antyder och bekräftas av högerledet så är skalärprodukten en skalär, ett tal. Vi ser också av högerledet att den är kommutativ, det vill säga. Eftersom både och är positiva kommer skalärproduktens tecken att bestämmas av cosθ. I figuren nedan åskådliggörs detta faktum att skalärprodukten är positiv om vektorerna bildar spetsig vinkel, negativ om de bildar trubbig vinkel och noll då vektorerna bildar rät vinkel. Att skalärprodukten är noll då vektorerna bildar rät vinkel är en viktig och ständigt återkommande byggsten vid modellering. Man säger att vektorerna är ortogonala. Vinkelräthet: 0 Definitionen av skalärprodukt används endast då Θ söks. Med kända komponenter i ett ON-system räknas den i stället ut som u x v x u y v y u z v z ty med de parvis ortogonala enhetsvektorerna, och har vi u x u y u z v x v y v z u x v x u x v y u x v z u y v x u y v y u y v z u z v x u z v y u z v z u x v x u y v y u z v z v x u x v y u y v z u z Räknelagar: Om, och är godtyckliga vektorer och s reellt tal gäller 1 kommutativa lagen 3 distributiva lagen 2 ss s 4 0 Skalärprodukt skrivs i Mathematica med en "vanlig" punkt. Exempel: Bestäm skalärprodukten mellan vektorerna 1, 2, 3 och 3, 4, 5. Lösningsförslag: Eftersom vi känner vektorernas komponenter får vi direkt 1, 2, 33, 4, , 2, 3.3, 4, 5 20 Skalärprodukt utgör bland annat ett smidigt sätt att räkna ut längden av en vektor v v x 2 v y 2 v z 2 v x v x v y v y v z v z Eftersom den behövs i tid och otid är det på sin plats att definiera en liten händig funktion för ändamålet. Tyvärr kan vi inte använda vanliga när vi definierar funktionen, eftersom den är upptagen till annat i Mathematica, utan väljer några snarlika som skrivs

8 8 Vektorer och Mathematica HH/ITE/BN l till vänster (left) och r till höger (right) om argumentet. Om man inte uppskattar "svåra" ackord på tangentbordet går det naturligtvis lika bra att definiera något i stil med längd[_] som är lättare att skriva på tangentbordet, eller helt enkelt använda den i Mathematica inbyggda funktionen Norm i det dagliga arbetet i sin notebook. :. 1, 2, 3, Norm1, 2, 3 14, 14 Exempel: Sök vinkeln mellan vektorerna 3, 2, 4 och 1, 1, 2. Lösningsförslag: Enda tillfället då definitionen används! 3, 2, 4; 1, 1, 2; Vi får , och , varav slutligen Θarccos I Mathematica levereras, som vi vet, vinklar i radianer. Vi kollar av hela resan...,,, ArcCos 7, 29, 6, cos Istället för att lösa ut Θ för hand, som ju är en potentiell felkälla, kan vi välja att använda Solve Solve. CosΘ, 0ΘΠ, Θ eller Θ cos FindRoot. CosΘ, Θ, Π 2 Θ Skalärprodukt används mycket flitigt vid modellering i diverse tillämpningar så som att räkna ut ett arbete eller att bestämma en projektion. Det sistnämnda behandlas under ett senare avsnitt. Exempel: Sök det arbete som kraften om 100 N uträttar under skådespelet som återges i figuren. Enheten på x axeln är meter. Lösningsförslag: Arbete är ju lika med kraftens storlek i vägens riktning gånger sträckan, det vill säga A FcosΘs vilket inte är något annat än skalärprodukt om vi betraktar både kraft och väg som vektorer A. Mathematica arbetar alltid med vinklar i radianer. Omräkning av grader till radianer görs som vanligt med hjälp av Π eller vackrare med deg som då resulterar i ett. 180 Först kraften och vägen på vektorform 100 Cos60, Sin60 50, , 00, 0 50, 0 sedan arbetet i Nm med skalärprodukt. 2500

9 HH/ITE/BN Vektorer och Mathematica 9 Exempel: Genom att använda integral kan vi även ta hand om fallet då både väg och kraft varierar under resan. Sök det arbete som kraften x,1 uträttar då den släpar en grön boll uppför cosinusbacken yx1 cosx, x 0, Π. y x x, x Lösningsförslag: Här varierar både kraft och väg med parametern x. Genom att ta på oss integralglasögen inser vi att en studie av en liten del av resan med efterföljande sammanslagning leder till målet. Så under den lilla förflyttningsvektorn vid x uträttas det lilla arbetet A x, y 1, y x, med exempelvis enheten Nm. Nu är det bara att lägga samman alla små bidrag som x b y vanligt A A A a 1, x. Här får vi x Π y A 0 1, Π x x 0 x Π,11, sinxx 0 x sinxx x cosx Π 0 3 Π. Eller med Mathematica Π x,1.1, D1 Cosx, x x 0 3 Π Naturligtvis går det bra att generalisera till allmänna kurvor på parameterform s xs, ys. Vi får då A x, yf x s, F y s x, y s s A s s A A b sa F x s, F y s x, y s. s s Cauchy-Schwarz olikhet För godtyckliga vektorer och gäller Cauchy-Schwarz olikhet ty om Θ är vinkeln mellan dem så är cosθ cosθ, eftersom cosθ 1. Observera att vänsterledet i Cauchy-Schwarz är absolutbeloppet av skalärprodukten (talet), medan högerledet är produkten av vektorernas längder. Olikheten kommer till användning i diverse teoretiska överläggningar och kan också skrivas. Namnet refererar till upphovsmännen Augustin Louis Cauchy ( ) och Herman Amandus Schwarz ( ). Triangelolikheten För godtyckliga vektorer och gäller triangelolikheten eftersom med hjälp av Cauchy-Schwarz olikhet. Första och sista led är kvadrater på icke-negativa tal, så rotutdragning ger sedan det önskade resultatet. En geometrisk tolkning är att längden av en sida i en triangel är mindre än eller lika med summan av de båda andra sidornas längder. Detta motiverar namnet. Enhetsvektor att räkna med En mycket vanlig beräkningsatom i linjär algebra och mekanik är enhetsvektor pekande från en punkt mot en annan punkt, det vill säga i samma riktning som en given vektor. Rustade med vår nyvunna kunskap kan vi nu genomföra erforderlig kalkyl. Sök enhetsvektor i samma riktning som given vektor. s1 def s s s0 s s 1 1 Notera att uttrycket med division,, ska ses som ett kompakt skrivsätt för multiplikation med en skalär 1. I Mathematica finns Normalize[] som bestämmer en enhetsvektor i riktning, men vi definierar en egen liten funktion som ligger nära det vi skriver för hand. Denna kommer till flitig användning vid problemlösning!

10 10 Vektorer och Mathematica HH/ITE/BN : Om A är ortsvektor för punkten A och analogt för punkten B har vi vektorn från A till B som AB B A. Så enhetsvektorn AB AB. Även detta är så vanligt förekommande så man kan inte låta bli att definiera AB A,B : BA Notera att Mathematica har inga problem med att skilja de två funktionerna åt, trots samma namn, eftersom de har ett respektive två argument. Vi provkör på enhetsvektorn från punkten 3, 2, 5 till punkten 2, 6, 1. Handräkning i nästa exempel. 3,2,5,2,6,1 5 21, 8 105, Enhetsvektorn längs ortsvektorn för den första punkten 3,2,5 3 38, 2 19, 5 38 Vi sammanfattar det som kommer till ständig användning vid modellering och problemlösning. En vektor kan alltid brytas ner i sina två atomer, längd gånger enhetsvektor i rätt riktning,. Exempel: Bestäm vektorn från punkten A till punkten B, dess längd samt en enhetsvektor i samma riktning. Bestäm slutligen en vektor som har längden 5 och samma riktning som. Lösningsförslag: Vi får direkt den sökta vektorn AB OB OA 2, 5, 0 0, 0, 4 2, 5, 4. 2, 5, 00, 0, 4 2, 5, 4 med längden a x 2 a y 2 a z Enhetsvektorn i :s riktning , 5, , 5 3, Slutligen formas den önskade vektorn av sina två atomer , 5, 4 1 2, 5, , 5 3, 4 3

11 HH/ITE/BN Vektorer och Mathematica 11 Exempel: Bestäm kraften i linan om en vantskruv i punkten B är åtdragen till 100 N. Lösningsförslag: Typiskt fall då vi har kraften angiven i sina beståndsdelar storlek och riktning. Riktningen blir ju densamma antingen man pekar med hela armen eller bara "finger"! Det vi söker är en enhetsvektor från punkten A 5, 0, 2 till punkten B 3, 1, 0 för då kan kraften skrivas som produkten av sin storlek och enhetsvektor i rätt riktning, F A,B. Nu är det bara att räkna på A,B AB AB 3,1,05,0,2 3,1,05,0,2 2,1,2 2,1,2 2,1, , 1, ,0,2,3,1,0 2 3, 1 3, ,0,2,3,1, , 100 3, Exempel: Sök arbetet då en kraft på 5 N i riktning 1, 3, 2 flyttar en låda 8 m i riktning 2, 3, 1. Lösningsförslag: Arbetet ges av skalärprodukt A, där och måste vara givna på vektorform. Så ännu en övning på att sätta ihop en vektor utgående från dess längd och riktning. 5 1,3,2 5 14, 15 14, ,3, ,12 2 7, Varav arbetet. Nm 260 Nm 7 Projektion Ett mycket vanligt behov vid modellering är ortogonal projektion av en vektor på en annan vektor. Man talar om :s skugga på. Resultatet är en ny vektor s som uppenbarligen ligger på den syftlinje som pekas ut av. Projektionsvektorn brukar emellanåt skrivas på pyntad form proj för att verkligen dokumentera sin historia. Att härleda detta resultat är förmodligen den enskilt viktigaste övningen man kan underkasta sig. Nyckeln till förståelse och modellering med vektorer baseras nämligen på två mycket grundläggande samband som återkommer jämnt och ständigt. 1. parallellitet: s 2. vinkelräthet: 0 s0 s

12 12 Vektorer och Mathematica HH/ITE/BN Notera att det är olika multiplikationer inblandade! Först måste två skalärprodukter genomföras. Kvoten mellan dessa tal (skalärer) är sedan det tal (skalär) som slutligen ska multipliceras med. Försäkra dig ännu en gång att du har förstått härledningen i detalj! Projektion av på : Notera det självklara att proj proj. Rita gärna en förtydligande bild! Slutligen besparar vi oss kommande skrivarbete genom att definiera den användbara funktionen proj :.. Exempel: Bestäm projektionen av 3, 2, 4 på 1, 1, 2. Lösningsförslag: Härledningen ovan med hjälp av parallellitet och vinkelräthet är mycket viktig att kunna! Räkna sedan på i rätt ordning: och Så projektionen av på blir alltså , 1, 2. Vi kontrollräknar med vår lilla funktion. Samt noteringen att proj 6 proj. proj 1,1,2 3, 2, 4 7 6, 7 6, 7 3 proj 3,2,4 1, 1, , 14 29, Projektion är ett mycket viktigt begrepp i mekanik eftersom både krafter och moment är vektorer som "ständigt" ska projiceras på olika axlar! Studera figuren ovan noga! Behovet att dela upp en vektor i två vinkelräta komposanter är mycket vanligt och återkommer i tid och otid. Dessa blir och eftersom. Exempel: Dela upp kraften 1 i två vinkelräta komposanter, parallell respektive vinkelrät mot 2. Lösningsförslag: Börja med krafterna Cos30, Sin , Cos3040, Sin cos70, 300 sin70 Därefter den parallella komposanten med projektion. 12 proj 2 1 Simplify 100 cos70 3 cos70 sin70, 100 sin70 3 cos70 sin70 Sedan den vinkelräta komposanten Simplify 100 sin70 cos70 3 sin70, 100 cos70 cos70 3 sin70 Avslutningsvis några ängsliga kontroller Ser ut att vara i sin ordning! 2. 12, , Simplify 0, 0, True

13 HH/ITE/BN Vektorer och Mathematica 13 Vektorprodukt (kryssprodukt) Vektorprodukt mellan två vektorer resulterar i en ny vektor som entydigt definieras av tre egenskaper 1. sinθ. 2. och. VIKTIGT Vektorn vinkelrät mot både och 3.,, ska bilda ett högersystem. Se figur. För att att skilja vektorprodukt från tidigare produkter vi kommit i kontakt med måste -tecknet alltid skrivas ut,. Med kända komponenter i ett ON-system räknas den ut som u x u y u z v x v y v z u y v z u z v y u x v z u z v x u x v y u y v x ty med de parvis ortogonala enhetsvektorerna, och har vi u x u y u z v x v y v z u x v x u x v y u x v z u y v x u y v y u y v z u z v x u z v y u z v z u y v z u z v y u z v x u x v z u x v y u y v x u y v z u z v y, u x v z u z v x, u x v y u y v x Notera att vektorprodukt endast är definierad i tre dimensioner. Om man vill räkna med någon slags tvådimensionell variant, inte helt ovanligt i mekanik, får man lov att "hänga" på en nolla som z-komponent i vektorerna. Räknelagar: Om, och är godtyckliga vektorer och s reellt tal gäller 1 kommutativa lagen gäller ej 4 distributiva lagen 2 ss s 5 3 distributiva lagen 6 I Mathematica används funktionen Cross[,], eller lite snyggare cross som resulterar i. Om man väljer ur paletten så gäller det att välja rätt kryss! Det lilla () är vektorprodukt medan det stora () betyder vanlig (list)multiplikation! Exempel: Sök vektorprodukten då 3, 2, 4 och 1, 1, 2. Lösningsförslag: Räkna på enligt receptet ovan , 10, 5 3, 2, 4; 1, 1, 2; 0, 10, 5 Observera att vektorprodukt inte är kommutativ som skalärprodukt. Däremot är. True Förutom diverse geometriska tillämpningar är den typiska användningen i mekanik att räkna ut kraftmoment. Exempel: Sök en vektor som är vinkelrät mot både 3, 2, 4 och 1, 1, 2. Lösningsförslag: Typisk användning av vektorprodukt. Kontrollräkna gärna för hand likt föregående exempel! 3, 2, 4; 1, 1, 2; 0, 10, 5

14 14 Vektorer och Mathematica HH/ITE/BN Kontroll av vinkelräthet..,. 0, 0 Exempel: Bestäm arean av den parallellogram som spänns upp av vektorerna 2, 1, 3 och 1, 3, 2. Lösningsförslag: Ur figuren ovan ser vi att arean A basenhöjden sinθ. Men detta är ju inget annat än beloppet av vektorprodukten, så arean av parallellogrammen A. Notera att om så är och arean noll som sig bör. Men här arean av en "sund" parallellogram. Kontrollräkna för hand ännu en gång! 2, 1, 31, 3, Exempel: Sök arean av triangeln i figuren. Lösningsförslag: Detta är en direkt tillämpning på exemplet ovan. Trangelns area är precis hälften av arean för motsvarande parallellogram. Först vektorerna som spänner upp triangeln P 1 P 2 och P 1 P 3 1, 0, 22, 2, 0 3, 2, 2 0, 4, 32, 2, 0 2, 2, 3 Slutligen den efterlängtade triangelarean Exempel: Sök volymen av parallellepipeden som spänns upp av vektorerna, och. Lösningsförslag: Ur figuren ovan ser vi att volymen V basytanhöjden h cosθ, där Θ är vinkeln mellan vektorerna och. Vi känner igen definition på skalärprodukt, så volymen av parallellepipeden V. Detta kallas för skalär trippelprodukt och som namnet antyder levererar den en skalär som resultat. Eftersom man kan permutera (välja ordningen på) vektorerna på sätt får vi på grund av vektorprodukten tre positiva volymer och tre negativa, som till beloppet är lika.

15 HH/ITE/BN Vektorer och Mathematica 15 Exempel: Sök det kraftmoment kring origo som kraften 2, 1, 2 orsakar. Lösningsförslag: Även detta är typexempel på användning av vektorprodukt. Om är hävarmen och kraften, båda vektorer, så ges kraftmomentet av vektorn. Obs ordningen! Vidare är ortsvektor för punkten A som har koordinaterna A 5, 0, 2, det vill säga OA. 5, 0, 2; 2, 1, 2; Varav momentet kring origo. 2, 6, 5 Notera att är vinkelrät mot både och som sig bör!.,. 0, 0 Exempel: Bestäm kraften i linan om en vantskruv i punkten B är åtdragen till 100 N samt det moment som denna orsakar kring origo. Lösningsförslag: Väsentligen repris av två tidigare exempel. Kan inte skada! Återigen kraften på vektorform F A,B. Nu är det bara att räkna på. Kontrollräkna för hand! 5,0,2,3,1,0 2 3, 1 3, ,0,2,3,1, , 100 3, Slutligen ges momentet kring origo av vektorn A B. 5, 0, , 200, 3 3 Exempel: När man räknat ut momentet med avseende på en punkt vill man ofta projicera det på en ny axel genom punkten. Projicera momentet i föregående exempel på en axel genom origo med riktingsvektorn 2, 3, 1. Lösningsförslag: Här handlar det återigen om projektion. Verkar vara vårt ständigt återkommande bekymmer. 2, 3, 1; Skådespelet ger upphov till två vinkelräta komposanter. Projektionen, det vill säga den som är parallell med, kallas för vridmoment kring axeln. proj

16 16 Vektorer och Mathematica HH/ITE/BN 300 7, 450 7, och den mot vinkelräta komposanten kallas för böjmoment på axeln , 950 7, Båda komposanterna ligger i planet som spänns upp av och. Linjen En linje L i planet eller rummet bestäms av en given punkt P 0 med ortsvektor 0 samt en riktningssvektor. Då kan ortsvektorn för en godtycklig punkt P på linjen skrivas 0 t x, y, zx 0, y 0, z 0 tv x, v y, v z. Detta kallas linjens ekvation på vektorform eller parameterform. Linjen har oändlig utsträckning och alla punkter på linjen får vi om vi låter parametern t genomlöpa alla reella tal, det vill säga t. Om vi eliminerar parametern får vi linjens ekvation på normalform t xx 0 v x yy 0 v y zz 0 v z. När man modellerar och löser problem är det alltid vektorformen som används! Exempel: En linje är given på normalform x1 2 y2 3 z3. Sök dess vektorform. 1 Lösningsförslag: Vi får t x1 2 t y2 3 x 1 2t y 2 3t t z3 1 z 3 t vektorform x y z t t. Exempel: Sök ekvationen för den linje som går genom punkterna 2, 4, 1 och 5, 0, 7. Lösningsförslag: Vi kan exempelvis välja P 0 2, 4, 1 och riktningsvektorn 5, 0, 7 2, 4, 1 3, 4, 8. Exempel: Sök koordinaterna för den punkt som ligger på avståndet tre längdenheter i positiv riktning från P 0 på linjen 0 t1, 3, 2 t1, 2, 1. Lösningsförslag: Vi söker "punkten" 0 3, där enhetsvektorn och riktad åt samma håll. Observera att vi inte kan gå 3 eftersom inte är en enhetsvektor, Sedan tidigare vet vi att, så slutligen den sökta punkten 1, 3, 23 1,2, ,3 6,2 3 2 Exempel: Sök avståndet från punkten A 5, 4, 3 till linjen L : 0 t1, 3, 2 t1, 2, 1. Lösningsförslag: När man säger avstånd menar man alltid det kortaste avståndet. Detta innebär att vi ska söka det vinkelräta avståndet från linjen till punkten. Om vi låter vara vektorn från P 0 till A och vektorn representera det sökta avståndet har vi situationen i figuren ovan. För lämpligt val av t gäller då

17 HH/ITE/BN Vektorer och Mathematica 17 t t 0 t 0 det vill säga vektorn t är :s projektion på. Samma visa hela tiden Nu är det bara att räkna påhäng med för hand! 0 1, 3, 2; 1, 2, 1; 5, 4, 3 0 4, 1, 5 t A t A 17 6, 10 3, 23 6 Varav slutligen det sökta avståndet Exempel:: Sök spegelpunkten S till punkten A i linjen L i föregående exempel. Lösningsförslag: Som namnet antyder ligger spegelpunkten lika långt från spegeln fast "på andra sidan", så A är också spegelpunkt till S. Vi kan fortsätta direkt där vi slutade, men eftersom vi räknade "lokalt" behöver vi placera in bilden globalt och hålla i minnet att definierades att gå från linjen till punkten A. Nu är det bara att spegla fram ortsvektorn för S; OS 0 2 eller utan "omvägen" om A; OS 0 t A , 8 3, 14 3 Exempel: Sök avståndet mellan linjerna L 1 : 1 1, 3, 2 s1, 2, 1 och L 2 : 2 1, 1, 3 t1, 3, 2. Lösningsförslag: Denna frågeställning är av stort intresse för mätingenjörer och lantmätare som arbetar med geografiska informationssystem (GIS) eller för en mobiltelefon som räknar ut GPS-koordinater. Då avståndet mellan linjerna är minimalt är avståndsvektorn vinkelrät mot båda linjerna. Detta ger ett linjärt ekvationssystem med två ekvationer som bestämmer de två parametrarna s och t. Notera att det måste vara olika parametrar i de två linjerna. Typisk råräkning. Häng mé , 2, 1; 2 1, 3, 2; 1 1, 3, 2s 1 ; 2 1, 1, 3t 2 ; 2 1 s t 2, 2 s 3 t 2, s 2 t 5 ekv. 1,. 2 0 Simplify 6 s 5 t 7 5 s 14 t 6 såt Solveekv First

18 18 Vektorer och Mathematica HH/ITE/BN s , t Slutligen avståndet mellan linjerna och var detta inträffar samt den för GIS intresserade mätpunkten och mätfelet., 1, 2, , 1. såt , , 79 59, 10 59, 12 59, , , 118, , , Planet Ett plan i rummet bestäms av en given punkt P 0 med ortsvektor 0 samt en normalvektor. Då måste ortsvektorn för en godtycklig punkt P i planet uppfylla planets ekvation på vektorform 0 0. Ibland brukar planets ekvation anges på normalform eller affin form. Denna fås genom att expandera vektorformen 0 0 x, y, z x 0, y 0, z 0 n x, n y, n z 0 n x x n y y n z z x 0 n x y 0 n y z 0 n z 0. När man modellerar och löser problem är det alltid vektorformen som används! De första och vanligaste planen man stiftar bekantskap med är de som naturligt genereras av koordinatsystemet själv, nämligen koordinatplanen xy-planet, xz-planet och yz-planet. Alla dessa innehåller origo och har basvektorerna, respektive som normalvektorer. konstant Exempel: Ett plan är givet på normalform 2y 3z 6 0. Sök dess vektorform. Lösningsförslag: Vi söker 0 x 0, y 0, z 0 och n x, n y, n z. Normalvektorns komponenter kan direkt avläsas som koefficienterna framför x, y och z i normalformen, så 0, 2, 3. När det gäller 0 finns det oändligt med punkter i planet att välja på, men som tur är räcker det att hitta en. Efter en stunds funderande inser man att alla plan måste skära minst en koordinataxel, så ett 0 finner man genom att i den givna normalformen succesivt prova de tre fallen Vi provar 1 : x x 0, y 0, z 0? x 0 0 x 0,0,0 2 : x 0, y y 0, z 0? y 0 0 0, y 0,0 3 : x 0, y 0, z z 0? z 0 0 0, 0, z 0 1 : : 2y y , 3, 0.

19 HH/ITE/BN Vektorer och Mathematica 19 Exempel: Bestäm det plan som går genom punkterna 2, 4, 1, 4, 3, 2 och 5, 0, 7. Lösningsförslag: Planet är entydigt bestämt av tre punkter om dessa inte ligger på samma linje. Vi kan exempelvis välja den första punkten P 1 som P 0 2, 4, 1. Sedan bildar vi de två vektorerna P 1 P 2 OP 2 OP 1 och P 1 P 3 OP 3 OP 1, varav slutligen en normalvektor till planet eller. Sätt igång! 4, 3, 22, 4, 1 2, 1, 3 5, 0, 72, 4, 1 3, 4, 8 4, 7, 5 Man brukar säga att och spänner upp planet. Exempel: Sök avståndet från punkten A 3, 2, 1 till planet x, y, z 2, 1, 31, 1, 2 0. Lösningsförslag: Resan blir ungefär som vid avståndsberäkning punkt till linje. Om vi låter vara vektorn från P 0 till A och vektorn representera det sökta avståndet d har vi situationen i figuren ovan. Vi ser att är :s projektion på, det vill säga Samma visa hela tiden 3, 2, 12, 1, 3 1, 3, 4 1, 1, 2 1, 1, 2 proj 5 3, 5 3, 10 3 Varav slutligen det sökta avståndet Exempel: Sök skärningspunkten mellan linjen 1, 3, 2 t1, 2, 1 och planet x, y, z 2, 1, 31, 1, 2 0.

20 20 Vektorer och Mathematica HH/ITE/BN Lösningsförslag: Eftersom skärningspunkten Q ligger både på linjen och i planet är det bara att sätta in linjen i planets ekvation. Detta bestämmer parametern t, det vill säga hur många steg vi ska ta från den givna punkten på linjen för att nå planet. Nu är det bara att låta Mathematica tugga i sig receptet, men det skadar ju inte att kontrollräkna för hand på ett litet papper vid sidan om linjen 1, 3, 2t 1, 2, 1 1 t,2t 3, t 2 t Q Solvelinjen 2, 1, 3.1, 1, 2 0 First t 7 Varav slutligen skärningspunkten Q linjen. t Q 8, 11, 5 Riktningscosiner och resultanter i mekanik Ett gammalmodigt och förbryllande begrepp som märkligt nog också dyker upp i moderna läroböcker i mekanik är så kallade riktningscosiner. Detta är helt enkelt cosinus för de tre rymdvinklarna mellan en given vektor och de tre basvektorerna. Om dessa efterfrågas kan man enkelt visa med skalärprodukt gör det gärna att de är komponenterna av enhetsvektorn i :s riktning cosα cosβ. cosγ Exempel: I mekanik är man ofta intresserad av summan av två eller flera krafter, en så kallad resultant, dess storlek och vinkel i förhållande till en given riktning, exempelvis x axeln. Sök resultanten samt lite vinklar till situationen i den vänstra figuren. Facit kan beskådas i den högra. Lösningsförslag: Mathematica arbetar alltid med vinklar i radianer, men kan anges i grader med hjälp av Π eller vackrare med 180 deg som då resulterar i ett. Nu är det bara att räkna Cos30, Sin , Cos3040, Sin cos70, 300 sin cos70, sin70 N Enda tillfället då man använder definition av skalärprodukt är när man söker vinkeln mellan två vektorer. För övrigt varnar författaren för "vinkelträsket". I stället rekommenderas med skärpa användning av de mycket säkrare teknikerna skalärprodukt och projektion om man söker komposanter längs en önskad riktning , 0 ArcCos Π

21 HH/ITE/BN Vektorer och Mathematica ArcCos Π Exempel: Vi tar ett exempel till där resultanten hamnar i andra kvadranten. Lösningsförslag: Vi får direkt resultanten 200 Cos60, Sin Cos6075, Sin , 1 N , Har man bestämt argument till komplexa tal z a b har man kanske lärt sig "formeln" argzarctan b Π. Funktionen a om a0 ArcTan i Mathematica kommer i två smaker, ArcTan b samt ArcTana, b där man inte dividerat bort eventuell "negativ" a information, ty b b b och b. Denna senare version levererar alltså alltid rätt vinkel i förhållande till x-axeln oberoende av i a a a a vilken kvadrant vi befinner oss Π ArcTan Vektorvärd funktion av en variabel I tidigare kurs har vi stiftat bekantskap med en funktion av en reell variabel. Detta begrepp kan enkelt spilla över till en vektorvärd funktion av en reell variabel. Vi låter helt enkelt varje komponent i vektorn vara en funktion av samma variabel. Komponenterna kallas då ofta för koordinatfunktioner. En avsikt med konstruktionen är kanske att följa en punkts läge i rummet eller planet som funktion av tiden t. Om vi låter punktens läge beskrivas med ortsvektorn txt, yt, zt får vi också naturliga definitioner av begreppen definitionsmängd D och värdemängd V. Vi säger att t är en parameterkurva med parametern t. Definition av derivation och integration gör knappast någon förvånad. t t xt t, yt t, zt, kallas tangentvektor till kurvan t tt xtt, ytt, ztt Exempel: En karusell har banprofilen r t5 cos3t, 5cost3 sin2t, 5 sint m, t 0, 2Π s. Låt vagnarna vara små i förhållande till övriga mått. a. Bestäm banans längd. b. Bestäm hastighet som funtion av tiden samt största och minsta fart. c. Bestäm acceleration som funtion av tiden samt beloppet av denna. Lösningsförslag: Banprofilen, det vill säga läget av en vagn som funktion av tiden. r 5 Cos3 t, 3 Cost Sin2 t, Sint; Plotr, t, 0, 2 Π, PlotStyle Red, Blue, Green, AxesLabel "t s", "xt,yt,zt m" xt,yt,zt m t s

22 22 Vektorer och Mathematica HH/ITE/BN a. Först den lilla båglängden vid tidpunkten t. ds Dr, t.dr, t 225 sin 2 3 t25 cos 2 t10 cost3 cos2 t5 sint sin2 t 2 Sedan hela banlängden. 2 Π N ds t b. Hastighet är tidsderivatan av läget, det vill säga tangentvektorn. Farten är beloppet av hastigheten, v. Dr, t 15 sin3 t,10cost3 cos2 t5 sint sin2 t, 5 cost Plot,, t, 0, 2 Π, PlotStyle Red, Blue, Green, Orange, AxesLabel "t s", "x t,y t,z t,vt ms" x t,y t,z t,vt ms t s Högsta och lägsta fart samt hur mycket klockan är då det inträffar. FindMinimum, t, 2, FindMaximum, t, t t 0. En liten rundtur piggar alltid upp. Ju rödare det är ju fortare går det ParametricPlot3Dr, t, 0, 2 Π, PlotStyle Thickness0.03, ColorFunctionScaling False, ColorFunction Functionx, y, z, t, Hue 40 c. Accelerationen är andraderivatan av läget med avseende på tiden samt dess belopp. Dr, t, 2 45 cos3 t, 20 sint cos2 t5 sin2 t cost20 sin2 tcost3, 5 sint

23 HH/ITE/BN Vektorer och Mathematica 23 Plot,, t, 0, 2 Π, PlotStyle Red, Blue, Green, Orange, AxesLabel "t s", "x t,y t,z t,at ms 2 " x t,y t,z t,at ms t s 50 Högsta och lägsta värde på beloppet av accelerationen samt hur mycket klockan är då det inträffar. Eftersom m ger detta en indikation på vilken påkänning en resenär upplever under resan. FindMinimum, t, 1, FindMaximum, t, t t Modellering med vektorer När man modellerar ingenjörsproblem med vektorer är det ett mycket begränsat antal tekniker som man behöver kunna. Givet att man behärskar de grundläggande momenten, som ges i repris nedan, så kan man väsentligen sammanfatta det som att Man ska leta efter parallellitet och vinkelräthet! 1. s 2. 0 a x b x, a y b y, a z b z ssa x, sa y, sa z a x b x a y b y a z b z a x a y a z b x b y b z a y b z a z b y a x b z a z b x a x b y a y b x Addition och subtraktion. Multiplikation med skalär. Skalärprodukt ger en skalär som resultat. Vektorprodukt ger en vektor vinkelrät mot både och orienterad enligt högerregeln ovan. a 2 x a 2 y a 2 z Längd, storlek eller belopp. En vektors två atomer, längd gånger enhetsvektor i rätt riktning. Enhetsvektor i given riktning. cosθ Definition av skalärprodukt. Endast då vinkeln Θ mellan vektorerna söks s Parallellitet. 0 Vinkelräthet. 0 t 0 0 Projektion av på, ges av parallellitet och vinkelräthet. Linjens ekvation. Planets ekvation.