Het scalair product hangt een getal aan een paar vectoren, en dat getal ziet meetkunde: het verdwijnt precies bij loodrechte richtingen, en het meet hoeken en lengten. Het is de motor achter de cosinusregel, achter vergelijkingen van cirkels en achter berekeningen met loodrechte stand. Hetzelfde gereedschap, in de ruimte, is het onderwerp van Hoofdstuk 31.
16.1 Definitie en eerste berekeningen
Definitie 16.1(Scalair product)
Het scalair product van twee vectorenu en v is het getal
u⋅v=21(∥u+v∥2−∥u∥2−∥v∥2),
waarbij ∥u∥ de lengte (de norm) van u aanduidt.
Stelling 16.2(De vier gezichten van het scalair product)
Zij u(x,y) en v(x′,y′)vectoren verschillend van 0, en θ de hoek ertussen. Dan geldt
(projectie)u⋅v=u⋅v′, waarbij v′ de orthogonale projectie van v op de richting van u is; is u=OA en v=OB, dan is u⋅v=OA×OH, een product van getekende lengten, waarbij H de voet is van de loodlijn uit B op de rechte (OA);
2. Kies het assenstelsel zo dat u langs de positieve x-as wijst: u(∥u∥,0) en v(∥v∥cosθ,∥v∥sinθ) (Hoofdstuk 14). Formule 1 geeft dan u⋅v=∥u∥∥v∥cosθ+0. Formule 3 leest dezelfde berekening af: de projectie van v op de x-as heeft getekende lengte ∥v∥cosθ=OH. ∎
Het beeld van de projectie: u⋅v=OA×OH, waarbij H de voet is van de loodlijn uit de punt van v. Het oranje lijnstuk OH heeft getekende lengte ∥v∥cosθ.
Voorbeeld 16.3
u(3,1) en v(2,−4): u⋅v=6−4=2. De normen zijn ∥u∥=10 en ∥v∥=20, dus cosθ=10202=1022=102: de hoek is iets minder dan 82∘.
Bewijs. Alles volgt uit de formule in coördinaten: zo is u⋅(v+w)=x(x′+x′′)+y(y′+y′′)=(xx′+yy′)+(xx′′+yy′′). De laatste identiteit werkt ∥u+v∥2=(u+v)⋅(u+v) uit met de eerste drie regels — het scalair product gedraagt zich precies als een gewoon product, zodat de gebruikelijke merkwaardige producten ook op vectoren van toepassing zijn. ∎
16.2 Loodrechte stand
Definitie 16.5(Orthogonale vectoren)
Twee vectoren heten orthogonaal, geschreven u⊥v, wanneer u⋅v=0.
Opmerking 16.6
Voor vectoren verschillend van 0 toont formule 2 van Stelling 16.2 dat u⋅v=0⟺cosθ=0⟺ de richtingen staan loodrecht op elkaar. De nulvector is orthogonaal met alles.
Voorbeeld 16.7
u(3,2) en v(−4,6): u⋅v=−12+12=0: orthogonaal. Algemeen is u(a,b) altijd orthogonaal met v(−b,a) — een kwartdraai.
16.3 De cosinusregel
Stelling 16.8(Cosinusregel)
In een driehoek ABC met zijden a=BC, b=CA, c=AB en hoek A in het hoekpunt A geldt
a2=b2+c2−2bccosA.
Bewijs. Schrijf BC=BA+AC=AC−AB en werk uit met Propositie 16.4:
a2=BC2=AC2−2AC⋅AB+AB2=b2+c2−2AB⋅AC.
Volgens de cosinusformule is AB⋅AC=cbcosA. ∎
Opmerking 16.9
Is A een rechte hoek, dan is cosA=0 en herleidt de cosinusregel zich tot de stelling van Pythagoras a2=b2+c2: het is Pythagoras met een correctieterm voor niet-rechte hoeken.
De cosinusregel: twee zijden b, c en de hoek ertussen leggen de derde zijde a vast.
Voorbeeld 16.10
Twee zijden van een driehoek meten b=5 en c=8 en sluiten een hoek A=3π in. Dan is
a2=25+64−2×5×8×21=89−40=49,
dus a=7.
16.4 Toepassingen: cirkels en loodrechte rechten
Propositie 16.11(Cirkel met gegeven middellijn)
Een punt M ligt op de cirkel met middellijn [AB] dan en slechts dan als
MA⋅MB=0.
Bewijs. Is M=A,B, dan zegt de voorwaarde dat de hoek in M in de driehoek AMB recht is, en de punten die een lijnstuk onder een rechte hoek zien zijn precies die van de cirkel met dat lijnstuk als middellijn. Hier is een rechtstreeks bewijs: zij O het midden van [AB] en r=2AB. Dan is MA=MO+OA en MB=MO+OB=MO−OA, dus
MA⋅MB=MO2−OA2=MO2−r2,
wat precies verdwijnt wanneer MO=r, dus wanneer M op de cirkel met middelpunt O en straal r ligt. ∎
Rechte door A met normaalvector n(a,b): schrijf AM⋅n=0, wat uitwerkt tot ax+by+c=0, waarbij A de waarde van c bepaalt.
Loodrechte stand van d:ax+by+c=0 en d′:a′x+b′y+c′=0: ga aa′+bb′=0 na.
Voorbeeld 16.14
De rechte door P(2,−1) loodrecht op d:3x−y+4=0: een richtingsvector van d is (1,3), en die dient als normaalvector van de loodlijn. Vergelijking: x+3y+c=0 met 2−3+c=0, dus c=1: de rechte is x+3y+1=0.
Voorbeeld 16.15(Vergelijking van een cirkel)
De cirkel met middelpunt Ω(1,2) en straal 3 is de verzameling van de punten M(x,y) met ΩM2=9:
(x−1)2+(y−2)2=9.
Omgekeerd herschrijft x2+y2−2x−4y−4=0 zich, door de kwadraten aan te vullen (Hoofdstuk 10), tot (x−1)2+(y−2)2=9: dezelfde cirkel.
ABC is een gelijkzijdige driehoek met zijde 6. Bereken AB⋅AC en AB⋅BC.
Oplossing
Oplossing van Oefening 16.2.
AB⋅AC=6×6×cos60∘=18.
De vectorenAB en BC maken een hoek van 180∘−60∘=120∘ (zet ze staart aan staart in B), dus is AB⋅BC=36cos120∘=−18.
Oefening 16.3★
Voor welke waarde van t zijn u(3,t) en v(t−8,1)orthogonaal? En voor welke waarde of waarden van t is u(t,2)orthogonaal met zichzelf min v(4,2), dus u⊥(u−v)?
Oplossing
Oplossing van Oefening 16.3.
u⋅v=3(t−8)+t=4t−24=0 geeft t=6.
u−v=(t−4,0), dus u⋅(u−v)=t(t−4)+0=t2−4t, wat verdwijnt voor t=0 of t=4.
Oefening 16.4★
Bereken de hoek θ tussen u(1,2) en v(3,1) (geef cosθ exact, en daarna θ op de graad nauwkeurig).
Oplossing
Oplossing van Oefening 16.4.
u⋅v=3+2=5, ∥u∥=5 en ∥v∥=10, dus
cosθ=5105=525=22,
en bijgevolg is θ=45∘ exact.
Oefening 16.5★★
Een driehoek heeft zijden b=4 en c=6 met daartussen de hoek A=32π. Bereken de derde zijde a. Bereken daarna in een driehoek met zijden a=7, b=5, c=4 de waarde van cosA en beslis of A scherp of stomp is.
Oplossing
Oplossing van Oefening 16.5.
a2=16+36−2×4×6×cos32π=52−48×(−21)=76, dus a=76=219≈8.7.
Voor de tweede driehoek geeft de cosinusregel, opgelost naar de hoek,
cosA=2bcb2+c2−a2=2×5×425+16−49=−408=−51,
negatief: A is stomp.
Oefening 16.6★★
Zij A(1,1), B(5,−1) en C(3,5). Bereken AB⋅AC; is de hoek A recht? Bereken de drie zijdelengten en toets je antwoord met de cosinusregel.
Oplossing
Oplossing van Oefening 16.6.
AB(4,−2) en AC(2,4): AB⋅AC=8−8=0, dus is de hoek in A recht. Zijden: AB=16+4=20, AC=4+16=20, en BC(−2,6) geeft BC=40. Consistentie: BC2=40=20+20=AB2+AC2, de cosinusregel met cosA=0 (Pythagoras).
Oefening 16.7★★
Geef een vergelijking van de cirkel met middelpunt Ω(−2,3) en straal 5. Bepaal daarna het middelpunt en de straal van de cirkel
Zij A(−3,0) en B(0,2). Zoek met Propositie 16.11 een vergelijking van de cirkel met middellijn [AB], en ga na dat de oorsprong O(0,0) erop ligt.
Oplossing
Oplossing van Oefening 16.8.
M(x,y) ligt op de cirkel wanneer MA⋅MB=0 met MA(−3−x,−y) en MB(−x,2−y):
(−3−x)(−x)+(−y)(2−y)=x2+3x+y2−2y=0.
Voor de oorsprong: 0+0+0−0=0, dus ligt O op de cirkel — meetkundig zijn OA(−3,0) en OB(0,2)orthogonaal, zodat O het lijnstuk [AB] onder een rechte hoek ziet. (Kwadraten aanvullen geeft middelpunt (−23,1) en straal 213.)
Oefening 16.9★★
Zoek een vergelijking van de rechte door P(1,3) loodrecht op d:2x+y−7=0, en de coördinaten van de voet H van de loodlijn (het snijpunt van de twee rechten). Leid de afstand van P tot d af.
Oplossing
Oplossing van Oefening 16.9.
De loodlijn door P heeft de richtingsvector van d, namelijk (−1,2), als normaalvector: vergelijking−x+2y+c=0; door P(1,3): −1+6+c=0, dus c=−5, en de rechte is x−2y+5=0.
Snijpunt met d: uit 2x+y=7 volgt y=7−2x; invullen geeft x−2(7−2x)+5=5x−9=0, dus x=59 en y=517: H(59,517). Dan is PH(54,52) en
PH=2516+254=520=525≈0.89.
Oefening 16.10★★
Bewijs met ∥u+v∥2=∥u∥2+2u⋅v+∥v∥2 en het analogon voor u−v de parallellogramidentiteit:
∥u+v∥2+∥u−v∥2=2∥u∥2+2∥v∥2,
en duid ze in een parallellogram (diagonalen tegenover zijden).
Oplossing
Oplossing van Oefening 16.10.
Optellen van
∥u+v∥2=∥u∥2+2u⋅v+∥v∥2en∥u−v∥2=∥u∥2−2u⋅v+∥v∥2
laat de gemengde termen wegvallen en geeft ∥u+v∥2+∥u−v∥2=2∥u∥2+2∥v∥2. In een parallellogram met zijden u en v zijn de diagonalen u+v en u−v: de som van de kwadraten van de twee diagonalen is gelijk aan de som van de kwadraten van de vier zijden.
Oefening 16.11★★★
Zij A en B twee punten met AB=4, en I het midden van [AB].
Toon aan dat voor elk punt M geldt: MA⋅MB=MI2−4. (Schuif I ertussen: MA=MI+IA.)
Leid de verzameling af van de punten M met MA⋅MB=12.
Oplossing
Oplossing van Oefening 16.11.
1. Omdat I het midden is, geldt IB=−IA en IA=2. Dan is
MA⋅MB=(MI+IA)⋅(MI−IA)=MI2−IA2=MI2−4.
2. De voorwaarde MA⋅MB=12 wordt MI2=16, dus MI=4: de verzameling is de cirkel met middelpunt I en straal 4.
16.6 Opgave: twee geschenken van het scalair product
Probleem 16.1
Weekendopgave — de somformules vallen uit één scalair product, de afstand tot een rechte uit een ander, en de drie hoogtelijnen ontmoeten elkaar als toegift
Het scalair product lijkt boekhouding — vermenigvuldig, tel op — en toch levert het bijna gratis twee schatten op waaraan eeuwen hoekenjagen zich stukbeten: de somformules van de goniometrie (bereken cos15∘ exact!) en de afstand van een punt tot een rechte in één nette breuk. Als afscheidscadeau bewijst het dat de drie hoogtelijnen van elke driehoek door één punt gaan. Alle vier de gezichten van Stelling 16.2 melden zich voor dienst.
Deel I — Vlot rekenen.
Bereken voor u(3,4) en v(−1,2) het scalair productu⋅v, de twee normen, en de hoek tussen de vectoren (op een tiende graad).
Het gezicht van de natuurkunde: een slee wordt 10 m ver getrokken door een kracht van 50 N onder 60∘ met de grond. Bereken de arbeid W=F⋅d.
Cosinusregel (Stelling 16.8): twee zijden van 5 en 7 sluiten een hoek van 60∘ in; zoek de derde zijde exact.
Omgekeerd: een driehoek heeft zijden 4, 6, 8. Bereken de cosinus van de hoek tegenover de zijde 8, bepaal het soort hoek, en geef hem op een tiende graad.
Deel II — Eerste geschenk: de somformules. Zij u=(cosa,sina) en v=(cosb,sinb): twee vectoren van lengte 1 onder de hoeken a en b.
Bereken u⋅v twee keer — één keer met coördinaten, één keer met de normen en de hoek tussen de vectoren — en besluit tot de moederformule:
cos(a−b)=cosacosb+sinasinb.
Vervang b door −b (denk aan de pariteit van sinus en cosinus!) om cos(a+b) te krijgen.
Verkrijg sin(a+b) uit de complementaire identiteit sinx=cos(2π−x), toegepast op x=a+b.
Eindelijk exacte waarden: bereken cos15∘ (als cos(45∘−30∘)) en sin75∘. Ga beide numeriek na.
Stel b=a om de formules voor de dubbele hoek af te leiden: cos2a (in haar drie vormen) en sin2a.
Bereken uit cos2a=1−2sin2a de waarde van sin215∘, en daarna sin15∘ als een geneste wortel — en ga na dat haar kwadraat overeenstemt met de waarde 46−2 die de methode van vraag 9 oplevert.
Deel III — Tweede geschenk: de afstand tot een rechte.
Zij d de rechte ax+by+c=0, met normaalvector n(a,b) (Propositie 16.12), en P(x0,y0) een punt. Leg uit waarom, met een willekeurig punt A op d, de afstand van P tot d gelijk is aan ∥n∥AP⋅n, en leid de formule af
dist(P,d)=a2+b2∣ax0+by0+c∣.
Bereken de afstand van P(5,6) tot 3x+4y−12=0.
Schrijf de vergelijking op van de cirkel met middelpunt (5,6) die die rechte raakt.
Toets de formule: bereken de afstand van de oorsprong tot 3x+4y−12=0, en ga ze na door de voet van de loodlijn uit de oorsprong expliciet te berekenen.
Driehoek A(0,0), B(6,0), C(2,5): bereken zijn oppervlakte met [AB] als basis; bereken daarna de afstand van B tot de rechte (AC) en ga na dat ze dezelfde oppervlakte oplevert.
De cirkel met middelpunt (2,1) en straal 2, tegenover de rechte x+y−6=0: bereken de afstand van het middelpunt tot de rechte en bepaal hun onderlinge ligging (snijdend, rakend, of zonder gemeenschappelijk punt).
Deel IV — De toegift: de hoogtelijnen gaan door één punt.
Leid Propositie 16.11 in één regel af: de verzameling van de punten M met MA⋅MB=0 is de cirkel met middellijn [AB].
De hoogtelijnen: zij H het snijpunt van de hoogtelijnen uit A en uit B in een driehoek ABC (dus HA⋅BC=0 en HB⋅CA=0). Bewijs de identiteit
HA⋅BC+HB⋅CA+HC⋅AB=0
— werk alles vanuit H uit met Chasles — en besluit dat H ook op de hoogtelijn uit C ligt: de drie hoogtelijnen gaan door één punt (het hoogtepunt).
Slotstuk: vier gezichten, drie trofeeën. Welk gezicht van Stelling 16.2 droeg de somformules, welk de afstandsformule, welk het hoogtepunt — en waarom is “bereken dezelfde grootheid twee keer” het motto van het hele hoofdstuk?
3.W=50×10×cos60∘=250 joule: alleen de component langs de beweging levert arbeid.
4.c2=25+49−2×35×21=39: c=39.
5.cosγ=2×4×616+36−64=−41: negatief, dus is de hoek stomp: γ≈104.5∘.
6.Coördinaten: u⋅v=cosacosb+sinasinb. Meetkunde: twee vectoren van lengte 1, dus u⋅v=1×1×cos(a−b). De twee berekeningen van hetzelfde getal gelijkstellen geeft cos(a−b)=cosacosb+sinasinb.
9.cos15∘=cos45∘cos30∘+sin45∘sin30∘=22⋅23+22⋅21=46+2≈0.966. En sin75∘=cos15∘: dezelfde waarde.
10.b=a in de vragen 7 en 8: cos2a=cos2a−sin2a=2cos2a−1=1−2sin2a (met cos2+sin2=1), en sin2a=2sinacosa.
11.sin215∘=21−cos30∘=42−3, dus sin15∘=22−3. Het kwadraat van 46−2 is 166−212+2=168−43=42−3: hetzelfde getal in twee kostuums.
12.AP valt uiteen in een deel langs d (onzichtbaar voor n) en een deel loodrecht op d, waarvan de lengte de gezochte afstand is; het scalair product met de eenheidsnormaal ∥n∥n doodt het eerste deel en meet het tweede. Met A op d: AP⋅n=ax0+by0−(axA+byA)=ax0+by0+c, waaruit de formule volgt. Voorbeeld: 5∣15+24−12∣=527=5.4.
13. Straal =5.4: (x−5)2+(y−6)2=29.16.
14. Afstand =5∣−12∣=2.4. De voet: de loodlijn door de oorsprong is (3t,4t); op de rechte geldt 9t+16t=12, dus t=2512: de voet is (2536,2548), op afstand 5t=2560=2.4. De formule en de eerlijke berekening stemmen overeen.
15. Basis AB=6, hoogte = de afstand van C tot (AB) (de as y=0): 5; oppervlakte 15. De rechte (AC) is 5x−2y=0, en dist(B,(AC))=29∣30∣; dan is 21×AC×2930=21×29×2930=15: dezelfde oppervlakte, welke hoogtelijn je ook neemt.
16.dist=2∣2+1−6∣=23≈2.12>2: de rechte loopt vrij langs de cirkel — zonder gemeenschappelijk punt.
17. Schuif I ertussen: MA⋅MB=(MI+IA)⋅(MI+IB)=MI2+MI⋅(IA+IB)+IA⋅IB. De middelste term sterft (IA+IB=0), en IA⋅IB=−IA2=−4AB2 (tegengestelde vectoren van lengte 2AB).
18.MA⋅MB=0⟺MI2=4AB2⟺MI=2AB: de cirkel met middelpunt I en straal 2AB — de cirkel met middellijn [AB].
19. Werk elk paar vanuit H uit (BC=HC−HB, enzovoort):
HA⋅HC−HA⋅HB+HB⋅HA−HB⋅HC+HC⋅HB−HC⋅HA=0:
alles valt paarsgewijs weg — de identiteit geldt voor elke vier punten. Voor onze H verdwijnen de eerste twee scalaire producten volgens de veronderstelling, zodat HC⋅AB=0: H ligt op de hoogtelijn uit C. Drie hoogtelijnen, één punt.
20. De somformules kwamen uit één scalair product, berekend met het gezicht van de coördinaten en dat van de normen en de hoek; de afstandsformule uit het gezicht van de projectie; het hoogtepunt uit het gezicht van de bilineariteit (Chasles en uitwerken). Bereken dezelfde grootheid twee keer, stel gelijk, en er valt een stelling uit — de hele stiel van het scalair product.