Door coördinaten vast te leggen kunnen we in rekenen. Dit geeft ons de mogelijkheid de coördinaten, vaak aangegeven met en , te gebruiken. In het bijzonder kunnen we een rechte lijn beschrijven door middel van een lineaire vergelijking.
Laat een rechte in het coördinaatvlak zijn met steunvector en richtingsvector . Naast de parametervoorstelling van de rechte:
is
ook te beschrijven als de verzameling van oplossingen
van de vergelijking
Laat de verzameling oplossingen van de vergelijking zijn. We moeten laten zien dat en samenvallen.
Voor elke waarde van is een oplossing van deze vergelijking. Immers, in deze situatie geldt en , zodat
Dit laat zien dat elk punt van
tot
behoort.
We moeten nog laten zien dat elk punt van tot behoort. Daartoe maken we gebruik van het feit dat een lijn is. Dit is zo omdat een richtingsvector is, dus ongelijk aan . Dit betekent dat of . Als , dan is de vergelijking van te schrijven als
en als
, dan is de vergelijking te schrijven als
In beide gevallen kunnen we de vergelijking als een parametervoorstelling opvatten:
De oplossingen van de vergelijking kunnen dus gegeven worden in de parametervoorstelling van een lijn, en vormen dus een lijn. Omdat de lijn
de lijn
bevat, moeten ze gelijk zijn. Dit bewijst de stelling.
Soms worden vectoren ook in kolommen beschreven. De parametervoorstelling van ziet er dan als volgt uit:
We gaan hier later pas verder op in.
Vaak wordt ook geschreven in plaats van . Evenzo in plaats van , en in plaats van . Deze notatie is consistent met de notatie voor hogere dimensies.
Natuurlijk kunnen we ook gewoon schrijven: en . Door te elimineren uit deze twee relaties vinden we een vergelijking van de rechte: vermenigvuldig met en met en trek af:
een lineaire vergelijking met onbekenden
en
.
Vergelijkingen van rechten zijn niet uniek, net zo min als parametervoorstellingen. Vermenigvuldig je bijvoorbeeld een vergelijking met 2, dan beschrijft het resultaat natuurlijk dezelfde rechte.
Een parametervoorstelling van een rechte beschrijft de vectoren/punten van een rechte expliciet: voor elke vind je een vector/punt op de rechte (of de coördinaten daarvan). Een vergelijking van een rechte beschrijft de rechte impliciet: ligt op de rechte dan en slechts dan als de coördinaten aan de vergelijking voldoen.
Heeft het lijnstuk , waarbij en , een snijpunt met de lijn gegeven door de vergelijking ?
nee
De lijn door
en
heeft parametervoorstelling
. Als we de coördinaten invullen, staat hier
Om te onderzoeken of hier een punt van de lijn
gegeven door de vergelijking
in zit, vullen we deze coördinaten voor de variabelen
en
in de vergelijking in
Omdat de waarde van
niet tussen
en
ligt, behoort het snijpunt
niet tot het lijnstuk
. Vandaar dat het antwoord nee is.
Zie de figuur hieronder.
Er is trouwens een andere manier om uit te vinden of de lijn
het lijnstuk
snijdt: bereken de waarde van
voor
en voor
. Als de twee waarden ongelijk teken hebben, dan snijdt de lijn
wel, en anders niet. De verklaring is dat alle punten
met
aan de ene kant van
liggen en alle punten met
aan de andere kant. De waarde van
voor
is
en de waarde voor
is
.