Driedimensionale meetkunde wordt computationeel zodra vectoren en coördinaten beschikbaar zijn: lijnen krijgen parametrische voorstellingen, vlakken krijgen Cartesiaanse vergelijkingen, en het inwendig product meet hoeken en afstanden. Dit hoofdstuk bouwt deze gereedschapskist en gebruikt haar om de klassieke snij- en afstandsproblemen op te lossen.
31.1 Vectoren in de ruimte
Vectoren in de ruimte gehoorzamen dezelfde regels als in het vlak: ze tellen op, ze schalen, en AB=CD precies wanneer ABDC een parallellogram is. In een coördinatenstelsel(O;,,k) heeft elke vectorcoördinaten(x,y,z).
Definitie 31.1(Collineariteit, coplanariteit)
Twee vectoren zijn collineair als de ene een veelvoud van de andere is. Drie vectorenu,v,w zijn coplanair als een van hen als combinatie van de andere twee te schrijven is, zeg w=au+bv.
Propositie 31.2
Als u,v,w niet coplanair zijn, ontbindt elke vector van de ruimte uniek als xu+yv+zw.
Bewijs-idee. Door de top van de te ontbindenvector, teken de lijn evenwijdig aan w; zij snijdt het vlak van u,v in één punt, wat de vector splitst in een component in dat vlak (uniek xu+yv, vlakke meetkunde) en een component langs w. Uniciteit: een verschil van twee ontbindingen zou een van de vectoren in termen van de andere twee uitdrukken, in strijd met non-coplanariteit. ∎
31.2 Lijnen en vlakken
Definitie 31.3(Parametrische voorstelling van een lijn)
De lijn door A(xA,yA,zA) met richtingsvectoru(a,b,c)=0 is de verzameling van punten
M(xA+ta,yA+tb,zA+tc),t∈R.
Definitie 31.4(Vlak)
Het vlak door A gericht door twee niet-collineaire vectorenu,v is de verzameling van punten M met AM=su+tv, (s,t)∈R2.
Links: de lijn door A met richting u, gegradueerd door de parameter t. Rechts: het vlak door A gericht door u en v; elk punt M van het vlak wordt bereikt als AM=su+tv.
Propositie 31.5(Relatieve posities)
Twee distincte vlakken zijn ofwel evenwijdig of snijden in een lijn. Een lijn en een vlak zijn ofwel evenwijdig (eventueel bevat) of snijden in één punt. Twee lijnen in de ruimte kunnen snijdend, strikt evenwijdig, identiek, of kruisend (niet coplanair) zijn.
Schets. Dit zijn incidentie-uitspraken; elke gevalsanalyse reduceert, in coördinaten, tot het oplossen van een lineair stelsel en het tellen van zijn oplossingen — zie Methode 31.10. ∎
Het inwendig product is symmetrisch (u⋅v=v⋅u), bilineair ((au+bv)⋅w=au⋅w+bv⋅w), en u⋅u=∥u∥2≥0.
Bewijs. In een orthonormaal stelsel zijn alle drie de eigenschappen onmiddellijk op de formule xx′+yy′+zz′, die zelf volgt uit de definiërende formule en de Pythagoras-berekening van lengtes: ∥u∥2=x2+y2+z2. ∎
Definitie 31.8(Normaalvector)
Een normaalvector van een vlak P is een niet-nul vector loodrecht op elke vector die in P ligt (het volstaat dat hij loodrecht is op twee niet-collineaire richtingen van P).
Een normaalvectorn van het vlak P is loodrecht op elke richting van P. Het punt H, voet van de loodlijn uit M0, realiseert de afstand van M0 tot het vlak.
Stelling 31.9(Cartesiaanse vergelijking van een vlak)
waar d=−(axA+byA+czA). Omgekeerd definieert elke zulke vergelijking met (a,b,c)=(0,0,0) een vlak met normaalvector(a,b,c).
Bewijs.M∈P⟺AM⊥n⟺a(x−xA)+b(y−yA)+c(z−zA)=0, wat tot de vergelijking ontwikkelt. Omgekeerd, kies enig oplossingspunt A van de vergelijking; dezelfde berekening achterwaarts toont dat de oplossingsverzameling {M:AM⋅n=0} is, het vlak door A loodrecht op n. ∎
Methode 31.10(Snijdingen in de praktijk)
Lijn ∩ vlak: substitueer de parametrische coördinaten van de lijn in de vlakvergelijking; los op naar t (één oplossing: één punt; 0= niet-nul: evenwijdig; 0=0: lijn bevat).
Vlak ∩ vlak: los het stelsel van de twee vergelijkingen op, parametriseer met één vrije coördinaat; de oplossing is een lijn (of de vlakken zijn evenwijdig wanneer de normaalvectorencollineair zijn).
Orthogonaliteitscontroles: lijn ⊥ vlak iff haar richting collineair is met de normaal; twee vlakken zijn loodrecht iff hun normalen loodrecht zijn.
Propositie 31.11(Afstand van een punt tot een vlak)
In een orthonormaal stelsel is de afstand van M0(x0,y0,z0) tot het vlak P:ax+by+cz+d=0
dist(M0,P)=a2+b2+c2∣ax0+by0+cz0+d∣.
Bewijs. Laat H de orthogonale projectie van M0 op P zijn: de voet van de loodlijn, dus HM0 is collineair met de eenheidsnormaal ∥n∥n, en de afstand is HM0⋅∥n∥n. Voor elke H∈P, HM0⋅n=ax0+by0+cz0−(axH+byH+czH)=ax0+by0+cz0+d (met de vergelijking in H), waaruit de formule na deling door ∥n∥=a2+b2+c2. ∎
Voorbeeld 31.12
Afstand van de oorsprong tot het vlak x+2y+2z−6=0: 1+4+4∣−6∣=36=2.
Laat A(1,0,2), B(3,1,1) en C(2,−1,3). Zijn de punten A, B, Ccollineair? Geef een parametrische voorstelling van de lijn (AB).
Oplossing
Oplossing van Oefening 31.1.
AB(2,1,−1) en AC(1,−1,1) zijn niet evenredig (12=−11), dus de punten zijn niet collineair. Lijn (AB):
(x,y,z)=(1+2t,t,2−t),t∈R.
Oefening 31.2★
Bepaal een Cartesiaanse vergelijking van het vlak door A(1,1,0) met normaalvectorn(2,−1,3). Behoort het punt B(0,2,1) ertoe?
Oplossing
Oplossing van Oefening 31.2.
2(x−1)−(y−1)+3(z−0)=0, d.w.z.
2x−y+3z−1=0.
Voor B(0,2,1): 0−2+3−1=0: ja, B ligt op het vlak.
Oefening 31.3★
Bereken de hoek in A (tot op de graad) van de driehoek met hoekpunten A(0,0,0), B(1,1,0) en C(1,0,1).
Oplossing
Oplossing van Oefening 31.3.
AB(1,1,0), AC(1,0,1):
cosA=ABACAB⋅AC=221=21,
dus A=60∘.
Oefening 31.4★★
Beschouw de lijn D door A(1,2,0) met richting u(1,−1,2), en het vlak P:2x+y−z+1=0. Bepaal D∩P.
Oplossing
Oplossing van Oefening 31.4.
Punten van D: (1+t,2−t,2t). Substitueren in de vergelijking van P:
2(1+t)+(2−t)−2t+1=5−t=0⟺t=5.
Uniek snijpunt: (6,−3,10).
Oefening 31.5★★
Laat P:x−y+2z=1 en Q:2x+y+z=4. Toon dat P en Q snijden in een lijn en geef een parametrische voorstelling ervan.
Oplossing
Oplossing van Oefening 31.5.
De normaalvectoren(1,−1,2) en (2,1,1) zijn niet collineair, dus de vlakken snijden in een lijn. De twee vergelijkingen optellen: 3x+3z=5, dus x=35−z; daarna geeft de eerste vergelijkingy=x+2z−1=32+z. Met z=t:
Richtingen u1(1,2,−1) en u2(1,1,2) zijn niet collineair, dus de lijnen zijn niet evenwijdig. Snijden zou vereisen
1+t=2+s,2t=1+s,3−t=1+2s.
De eerste twee geven t=1+s en 2(1+s)=1+s, dus s=−1, t=0; maar dan leest de derde 3=−1, absurd. Geen gemeenschappelijk punt en niet evenwijdig: de lijnen zijn kruisend.
Oefening 31.7★★
Laat P:2x−y+2z−3=0.
Bereken de afstand van M0(3,1,1) tot P.
Bepaal de coördinaten van de orthogonale projectie H van M0 op P, en controleer de afstand M0H.
Oplossing
Oplossing van Oefening 31.7.
1.dist=4+1+4∣2⋅3−1+2⋅1−3∣=34.
2.H=M0+tn met n(2,−1,2), t zo gekozen dat H∈P:
2(3+2t)−(1−t)+2(1+2t)−3=4+9t=0⟺t=−94.
Dus H(919,913,91), en
M0H=∥tn∥=94×3=34,
in overeenstemming met de afstandsformule.
Oefening 31.8★★★
De kubus ABCDEFGH heeft zijde 1; plaats coördinaten zodat A(0,0,0), B(1,0,0), D(0,1,0), E(0,0,1) (met C=B+D, F=B+E, G=B+D+E, H=D+E als vectoren uit A).
Toon dat de diagonaal (AG) loodrecht is op het vlak (BDE).
Bereken de afstand van A tot het vlak (BDE), en het punt waar (AG) het doorboort.
Oplossing
Oplossing van Oefening 31.8.
Coördinaten: G(1,1,1), en het vlak (BDE) gaat door B(1,0,0), D(0,1,0), E(0,0,1).
1. Het vlak (BDE) heeft vergelijkingx+y+z=1 (voldaan door de drie punten, en zij zijn niet collineair), dus n(1,1,1) is normaal erop. Omdat AG=(1,1,1)=n, is de diagonaal (AG) loodrecht op het vlak (BDE).
2. Afstand van A(0,0,0): 3∣0+0+0−1∣=31=33. De lijn (AG) is (t,t,t); zij snijdt het vlak wanneer 3t=1: in het punt (31,31,31), het zwaartepunt van de driehoek BDE.
Oefening 31.9★★★
(Volume van een tetraëder.) Laat A(1,1,1), B(2,1,0), C(0,2,1) en D(2,2,2).
Verifieer dat AB, AC, AD niet coplanair zijn (de punten vormen een echte tetraëder).
Vind een vectorn loodrecht op zowel BC als BD, en leid een Cartesiaanse vergelijking van het vlak (BCD) af.
Bereken de afstand van A tot het vlak (BCD) en de oppervlakte van de driehoek BCD, met de formule Opp.=21∥u∥2∥v∥2−(u⋅v)2 voor de driehoek opgespannen door u,v.
Leid het volume van de tetraëder af (V=31×grondvlak×hoogte).
Oplossing
Oplossing van Oefening 31.9.
1.AB(1,0,−1), AC(−1,1,0), AD(1,1,1). Als AD=aAB+bAC, geven de coördinatena−b=1, b=1, −a=1: de eerste twee forceren a=2, in strijd met a=−1. Niet coplanair.
2.BC(−2,1,1), BD(0,1,2). Oplossen n⋅BC=n⋅BD=0: uit b+2c=0, b=−2c; dan −2a−2c+c=0 geeft c=−2a. Met a=1: n(1,4,−2). Vlak door B(2,1,0):
x+4y−2z−6=0.
3. Afstand van A(1,1,1): 21∣1+4−2−6∣=213. Oppervlakte van BCD: BC2=6, BD2=5, BC⋅BD=3, dus