Plücker-koordinater

Plücker-koordinater är en typ av homogena tredimensionella linjekoordinater som används inom analytisk och projektiv geometri. De är uppkallade efter Julius Plücker som införde dem i Neue Geometrie des Raumes gegründet auf die Betrachtung der geraden Linie als Raumelement 1868.. De är en föregångare till, och ett specialfall av, Grassmann-koordinater. Praktisk användning har de idag inom datorgrafik och robotik.

Till antalet är koordinaterna sex stycken: de tre första definierar en riktningsvektor för linjen och de tre avslutande definierar origos fotpunkt på linjen med hjälp av riktningsvektorns moment i origo.

Bakgrund och definition

Figur 1.
$𝐦=𝐫\times 𝐝$.

En rät linje i ett tredimensionellt rum kan entydigt beskrivas med hjälp av en riktningsvektor, $𝐝$ i figur 1, och en punkt, exempelvis $X$, på linjen. Detta kräver sex koordinater, tre för riktningsvektorn och tre för punkten. Linjen förändras inte av riktningsvektorns längd (det påverkar bara skalan) och om man multiplicerar koordinaterna för vektorn med samma tal (skilt från noll) så förändras bara vektorns längd, men inte dess riktning. Multiplicerar man däremot alla koordinaterna för den valda punkten på linjen med ett tal (skilt från ett) så flyttas punkten bort från linjen (med mindre än att linjen går genom origo). För att råda bot på detta valde Plücker att i stället använda kryssprodukten (vektorprodukten) $𝐦$ mellan $𝐫$, ortsvektorn från origo $O$ till dess fotpunkt $P$ på linjen, och $𝐝$, riktningsvektorn, vilket ger det moment som riktningsvektorn utövar på origo. Men om man multiplicerar alla koordinaterna i denna vektor med samma tal påverkas endast dess längd och koordinaterna för momentvektorn är således homogena - och tillika homogena med linjens riktningsvektor om denna multipliceras med samma tal. På detta sätt har vi fått sex koordinater som är homogena och inte ändrar linjens läge eller riktning om man multiplicerar alla sex med samma tal (skilt från noll).

De sex Plücker-kordinaterna för linjen genom punkterna $X$ och $Y$:

$(p_{01}:p_{02}:p_{03}:p_{23}:p_{31}:p_{12})$ där

$𝐝=(p_{01}:p_{02}:p_{03})$ och $𝐦=(p_{23}:p_{31}:p_{12})$

erhålles genom:

$p_{jk}=\left|\begin{array}{cc}{x}_j& y_j\\ x_k& y_k\end{array}\right|=x_j{y}_k-x_k{y}_j$

där $x_0$ och $y_0$ är skalningsfaktorn för respektive punkt, Om $x_0=y_0=1$ har vi:

$𝐋=(𝐝:𝐦)=(y_1-x_1:y_2-x_2:y_3-x_3:x_2{y}_3-x_3{y}_2:x_3{y}_1-x_1{y}_3:x_1{y}_2-x_2{y}_1)$

Om $𝐦=\mathrm{𝟎}$ och $𝐝\ne \mathrm{𝟎}$ så betecknar koordinaterna en linje som går genom origo, ty $𝐦=𝐝\times 𝐫=\mathrm{𝟎}$ innebär att $𝐫=\mathrm{𝟎}$.

Om $𝐝=\mathrm{𝟎}$ och $𝐦\ne \mathrm{𝟎}$ så betecknar koordinaterna linjen i oändligeten för alla de linjer som ligger i det plan som är normalplan till $𝐦$ och går genom origo, ty:

$\underset{t\to \mathrm{\infty }}{\lim }(\frac{𝐝}{t},𝐦)=(\mathrm{𝟎},𝐦)$.

Om $𝐝=\mathrm{𝟎}$ och $𝐦=\mathrm{𝟎}$ så betecknar koordinaterna ingen linje alls och $(0:0:0:0:0:0)$ är nonsens.

"Robotik"

Plücker-koordinater kan också ses som en axel genom origo vars riktning är definierad av $𝐦$. Kring axeln och i axelns normalplan genom origo roterar en punkt $P$ på avståndet $𝐫$, vilket bestäms av kvoten mellan $||𝐦||$ och $||𝐝||$ (se nedan). Riktningen som anges av $𝐝$ är lika med tangentens till cirkeln med radien $𝐫$ kring origo i punkten $P$, det vill säga momentanrörelsen i $P$.

Den här typen av rörelser är nära besläktade med hur en arm på en människa eller industrirobot fungerar. Axelleden motsvarar origo och handen motsvarar $P$. Genom att böja armen i armbågsleden kan $𝐫$ varieras och med axelleden kan riktningen på $𝐦$ varieras. Genom rotation i axeln kan handen $P$ fås att beskriva en cirkel i normalplanet till $𝐦$ med radien $𝐫$ kring origo/axeln. Handens momentana rörelseriktning ges av $𝐝$.

Linjärt beroende

Eftersom $𝐝\perp 𝐦$ så är skalärprodukten $𝐝\cdot 𝐦=0$, vilket innebär att:

$p_{01}\cdot p_{23}+p_{02}\cdot p_{31}+p_{03}\cdot p_{12}=0$.

Detta är det så kallade "Plücker-förhållandet".

Eftersom koordinaterna dessutom är homogena, det vill säga $s\cdot (𝐝:𝐦)=(s\cdot 𝐝:s\cdot 𝐦)=(𝐝:𝐦)$, där $s\ne 0$ är ett godtyckligt reellt tal, så kan två av koordinaterna skrivas som en linjärkombination av de fyra övriga.

Diverse

Eftersom $\overrightarrow{OZ}=\overrightarrow{OP}+\overrightarrow{PZ}=𝐫+\lambda 𝐝$ där $Z$ är en godtycklig punkt på linjen, och $\overrightarrow{OZ}\times 𝐝=(𝐫+\lambda 𝐝)\times 𝐝=𝐫\times 𝐝+0=𝐦$ får vi att en punkt $Z$ ligger på linjen $𝐋$ om och endast om $\overrightarrow{OZ}\times 𝐝=𝐦$.

Kvoten mellan momentvektorns norm och riktningsvektorns norm ger $||𝐫||=\frac{||𝐦||}{||𝐝||}$ eftersom $||𝐦||=||𝐫\times 𝐝||=||𝐫||\cdot ||𝐝||\cdot \sin 90^o=||𝐫||\cdot ||𝐝||\cdot 1$, det vill säga avståndet från origo till den närmaste punkten på linjen. Om man vill beräkna det närmaste avståndet från linjen till en godtycklig punkt $O^{\prime }$ kan man göra den till "origo" i ett "nytt" koordinatsystem med samma axelriktningar och beräkna linjens momentvektor med avseende på $O^{\prime }$ i stället, genom att använda $\overrightarrow{O^{\prime }X}=\overrightarrow{OX}-\overrightarrow{O{O}^{\prime }}$ och $\overrightarrow{O^{\prime }Y}=\overrightarrow{OY}-\overrightarrow{O{O}^{\prime }}$ för $(p{\text{'}}_{23}:p{\text{'}}_{31}:p{\text{'}}_{12})$ vilket ger $||{𝐫}_{{𝐎}^{\prime }}||=\frac{||{𝐦}_{{𝐎}^{\prime }}||}{||{𝐝}_{{𝐎}^{\prime }}||}=\frac{||{𝐦}_{{𝐎}^{\prime }}||}{||𝐝||}$.

Men en enklare beräkning utam basbyte kan göras eftersom momentet i $O^{\prime }$ är lika med:

${𝐦}_{{𝐎}^{\prime }}=(𝐫-\overrightarrow{O{O}^{\prime }})\times 𝐝=𝐫\times 𝐝-\overrightarrow{O{O}^{\prime }}\times 𝐝=𝐦-\overrightarrow{O{O}^{\prime }}\times 𝐝$

vilket ger att avståndet från $O^{\prime }$ till $𝐋$ är $||{𝐫}_{{𝐎}^{\prime }}||=\frac{||𝐦-\overrightarrow{O{O}^{\prime }}\times 𝐝||}{||𝐝||}$.

Låt $P^{\prime }$ vara fotpunkten till $O^{\prime }$ på $𝐋$ och ${𝐝}_{𝐞}=\frac{𝐝}{||𝐝||}$, det vill säga en enhetsvektor. Då är $\overrightarrow{O{P}^{\prime }}-\overrightarrow{O{O}^{\prime }}$ ortogonal mot $𝐝$. Sålunda har vi (med ${𝐦}_{{𝐎}^{\prime }𝐞}$ som momentvektor för ${𝐝}_{𝐞}$ på $O^{\prime }$):

${𝐝}_{𝐞}\times {𝐦}_{{𝐎}^{\prime }𝐞}={𝐝}_{𝐞}\times ((\overrightarrow{O{P}^{\prime }}-\overrightarrow{O{O}^{\prime }})\times {𝐝}_{𝐞})=\overrightarrow{O{P}^{\prime }}-\overrightarrow{O{O}^{\prime }}\Rightarrow$

$\Rightarrow \overrightarrow{O{P}^{\prime }}=\overrightarrow{O{O}^{\prime }}+{𝐝}_{𝐞}\times {𝐦}_{{𝐎}^{\prime }𝐞}$, vilket ger oss koordinaterna för $P^{\prime }$.

Två linjer

Reciprok produkt

Om vi har två linjer $𝐋=({𝐝}_{𝐞}:{𝐦}_{𝐞})$ och ${𝐋}^{\prime }=(𝐝{\text{'}}_{𝐞}:𝐦{\text{'}}_{𝐞})$ så gäller enligt ovan att momentvektorn för linjen $𝐋$ i en punkt $Q^{\prime }$ på ${𝐋}^{\prime }$ ges av ${𝐦}_{{𝐐}^{\prime }𝐞}={𝐦}_{𝐞}-\overrightarrow{O{Q}^{\prime }}\times {𝐝}_{𝐞}$. Denna momentvektors projektion på linjen ${𝐋}^{\prime }$ ges av:

$𝐝{\text{'}}_{𝐞}\cdot {𝐦}_{{𝐐}^{\prime }𝐞}=𝐝{\text{'}}_{𝐞}\cdot ({𝐦}_{𝐞}-\overrightarrow{O{Q}^{\prime }}\times {𝐝}_{𝐞})=𝐝{\text{'}}_{𝐞}\cdot {𝐦}_{𝐞}-𝐝{\text{'}}_{𝐞}\cdot (\overrightarrow{O{Q}^{\prime }}\times {𝐝}_{𝐞})=𝐝{\text{'}}_{𝐞}\cdot {𝐦}_{𝐞}-(𝐝{\text{'}}_{𝐞}\times \overrightarrow{O{Q}^{\prime }})\cdot {𝐝}_{𝐞}=$$𝐝{\text{'}}_{𝐞}\cdot {𝐦}_{𝐞}+(\overrightarrow{O{Q}^{\prime }}\times 𝐝{\text{'}}_{𝐞})\cdot {𝐝}_{𝐞}=𝐝{\text{'}}_{𝐞}\cdot {𝐦}_{𝐞}+{𝐝}_{𝐞}\cdot (\overrightarrow{O{Q}^{\prime }}\times 𝐝{\text{'}}_{𝐞})=𝐝{\text{'}}_{𝐞}\cdot {𝐦}_{𝐞}+{𝐝}_{𝐞}\cdot 𝐦{\text{'}}_{𝐞}$

Det torde vara uppenbart att detsamma gäller för projektionen av $𝐦{\text{'}}_{𝐐𝐞}$ på linjen $𝐋$ och således har vi:

$𝐝{\text{'}}_{𝐞}\cdot {𝐦}_{{𝐐}^{\prime }𝐞}={𝐝}_{𝐞}\cdot 𝐦{\text{'}}_{𝐐𝐞}=𝐝{\text{'}}_{𝐞}\cdot {𝐦}_{𝐞}+{𝐝}_{𝐞}\cdot 𝐦{\text{'}}_{𝐞}$

Detta förhållande kallas linjernas Plücker-koordinaters reciproka produkt och betecknas med en asterisk som exempelvis $𝐋*{𝐋}^{\prime }$ eller $(𝐝:𝐦)*({𝐝}^{\prime }:{𝐦}^{\prime })$.

Parallella linjer

Om och endast om två linjer är parallella är kryssprodukten av deras riktningsvektorer lika med nollvektorn:

$𝐝\times {𝐝}^{\prime }=\mathrm{𝟎}$

Om $𝐋$ och ${𝐋}^{\prime }$ är parallella är varje normalplan till den ena linjen också normalplan till den andra. Betrakta det normalplan till linjerna som går genom origo. Fotpunkterna till origo på linjerna är lika med linjernas skärningspunkter med planet och således ligger både $𝐦$ och ${𝐦}^{\prime }$ i detta plan ftersom det är normalplan till $𝐝$ och ${𝐝}^{\prime }$. Om ${𝐝}_{𝐞}$ och $𝐝{\text{'}}_{𝐞}$ är enhetsvektorer så att ${𝐝}_{𝐞}=𝐝{\text{'}}_{𝐞}=\frac{𝐝}{||𝐝||}=\frac{{𝐝}^{\prime }}{||{𝐝}^{\prime }||}=\frac{{𝐝}^{\prime }}{s\cdot ||𝐝||}$ har vi att ${𝐦}_{𝐞}=\frac{𝐦}{||𝐝||}$ och $𝐦{\text{'}}_{𝐞}=\frac{{𝐦}^{\prime }}{||{𝐝}^{\prime }||}=\frac{{𝐦}^{\prime }}{s\cdot ||𝐝||}$. Vi har även att $𝐫={𝐝}_{𝐞}\times {𝐦}_{𝐞}$ och ${𝐫}^{\prime }=𝐝{\text{'}}_{𝐞}\times 𝐦{\text{'}}_{𝐞}$. Avståndet mellan linjerna är då:

$𝐫-{𝐫}^{\prime }={𝐝}_{𝐞}\times {𝐦}_{𝐞}-𝐝{\text{'}}_{𝐞}\times 𝐦{\text{'}}_{𝐞}={𝐝}_{𝐞}\times {𝐦}_{𝐞}-{𝐝}_{𝐞}\times 𝐦{\text{'}}_{𝐞}={𝐝}_{𝐞}\times ({𝐦}_{𝐞}-𝐦{\text{'}}_{𝐞})=$

$=\frac{𝐝}{||𝐝||}\times (\frac{𝐦}{||𝐝||}-\frac{{𝐦}^{\prime }}{s\cdot ||𝐝||})=\frac{𝐝}{||𝐝||}\times \frac{(𝐦-{𝐦}^{\prime }/s)}{||𝐝||}\Rightarrow$

Avståndet mellan två parallella linjer är $𝐫-{𝐫}^{\prime }=\frac{𝐝\times (𝐦-{𝐦}^{\prime }/s)}{||𝐝|{|}^2}$, där $s=\frac{||{𝐝}^{\prime }||}{||𝐝||}$.

Den reciproka produkten för parallella linjer är noll eftersom både $𝐝\perp {𝐦}^{\prime }$ (vilket innebär att $𝐝\cdot {𝐦}^{\prime }=0$) och ${𝐝}^{\prime }\perp 𝐦$ (vilket innebär att ${𝐝}^{\prime }\cdot 𝐦=0$).

Skeva linjer

Figur 2.

Om linjerna inte är parallella kan de antingen ligga i samma plan, vara koplanära, eller ej. Är de koplanära skär de varandra i en finit punkt, annars är de skeva. Om de är skeva så ligger de i två olika, men inbördes parallella, plan som spänns upp av de båda linjernas riktingsvektorer $𝐝$ och ${𝐝}^{\prime }$ samt en valfri punkt på vardera linjen. Om man parallellprojicerar vardera linjen på den andra linjens plan i normalriktningen till de båda planen kommer dessa projicerade linjer att skära de givna linjerna i två punkter, vilka vi i enlighet med figur 2 kallar $P$ och $P^{\prime }$. Mellan dessa båda skärningspunkter går "den gemensamma normalen" $\overline{P^{\prime }P}$ till de båda linjerna. Eftersom denna är vinkelrät mot $𝐋$ i $P$ och mot ${𝐋}^{\prime }$ i $P^{\prime }$ är avståndet $||\overrightarrow{P^{\prime }P}||=||𝐫-{𝐫}^{\prime }||$ lika med det kortaste avståndet mellan linjerna.

Om ${𝐝}_{𝐞}$ är en enhetsvektor har vi om vi betraktar momentet ${𝐦}_{{𝐏}^{\prime }}$ för en punkt på $𝐋$ i förhållande till $P^{\prime }$ att

${𝐦}_{{𝐏}^{\prime }}=\overrightarrow{P^{\prime }P}\times {𝐝}_{𝐞}=(𝐫-{𝐫}^{\prime })\times {𝐝}_{𝐞}=$

$=𝐫\times {𝐝}_{𝐞}-{𝐫}^{\prime }\times {𝐝}_{𝐞}={𝐦}_{𝐞}-{𝐫}^{\prime }\times {𝐝}_{𝐞}$

Eftersom ${𝐝}_{𝐞}$ är en enhetsvektor så är $||{𝐦}_{{𝐏}^{\prime }}||=||\overrightarrow{P^{\prime }P}||$. Om vi kallar vinkeln från ${𝐝}_{𝐞}$ till $𝐝{\text{'}}_{𝐞}$ för $\alpha$ och då ${𝐝}_{𝐞}\perp {𝐦}_{{𝐏}^{\prime }}$ och då dessutom ${𝐝}_{𝐞}$ och $𝐝{\text{'}}_{𝐞}$ inte är parallella (alltså är $\sin \alpha \ne 0$) har vi:

$𝐝{\text{'}}_{𝐞}\cdot {𝐦}_{{𝐏}^{\prime }}=1\cdot ||{𝐦}_{{𝐏}^{\prime }}||\cdot \cos (\alpha -90^o)=||{𝐦}_{{𝐏}^{\prime }}||\cdot \sin \alpha \Rightarrow$.

$||\overrightarrow{P^{\prime }P}||=||{𝐦}_{{𝐏}^{\prime }}||=\frac{|𝐝{\text{'}}_{𝐞}\cdot {𝐦}_{{𝐏}^{\prime }}|}{|\sin (\alpha )|}=\frac{|𝐝{\text{'}}_{𝐞}\cdot {𝐦}_{{𝐏}^{\prime }}|}{||{𝐝}_{𝐞}\times 𝐝{\text{'}}_{𝐞}||}=\frac{|𝐝{\text{'}}_{𝐞}\cdot ({𝐦}_{𝐞}-{𝐫}^{\prime }\times {𝐝}_{𝐞})|}{||{𝐝}_{𝐞}\times 𝐝{\text{'}}_{𝐞}||}=$

$=\frac{|𝐝{\text{'}}_{𝐞}\cdot {𝐦}_{𝐞}-𝐝{\text{'}}_{𝐞}\cdot ({𝐫}^{\prime }\times {𝐝}_{𝐞})|}{||{𝐝}_{𝐞}\times 𝐝{\text{'}}_{𝐞}||}=\frac{|𝐝{\text{'}}_{𝐞}\cdot {𝐦}_{𝐞}-(𝐝{\text{'}}_{𝐞}\times {𝐫}^{\prime })\cdot {𝐝}_{𝐞}|}{||{𝐝}_{𝐞}\times 𝐝{\text{'}}_{𝐞}||}=\frac{|𝐝{\text{'}}_{𝐞}\cdot {𝐦}_{𝐞}+𝐦{\text{'}}_{𝐞}\cdot {𝐝}_{𝐞}|}{||{𝐝}_{𝐞}\times 𝐝{\text{'}}_{𝐞}||}\Rightarrow$

Avståndet mellan två skeva linjer är $||\overrightarrow{P^{\prime }P}||=\frac{|(𝐝:𝐦)*({𝐝}^{\prime }:{𝐦}^{\prime })|}{||{𝐝}_{𝐞}\times 𝐝{\text{'}}_{𝐞}||}=\frac{|(𝐝:𝐦)*({𝐝}^{\prime }:{𝐦}^{\prime })|}{|\sin \alpha |}$, där $\alpha$ är vinkeln mellan linjernas riktningsvektorer.

Detta innebär även att om den reciproka produkten är lika med noll för två icke-parallella linjer så är avståndet mellan linjerna lika med noll och de ligger således i samma plan och skär varandra i $P=P^{\prime }$. Då även parallella linjer har en reciprok produkt som är lika med noll, ger detta:

Om och endast om två linjer ligger i samma plan, är koplanära, är deras reciproka produkt noll:

$𝐋*{𝐋}^{\prime }=𝐝{\text{'}}_{𝐞}\cdot {𝐦}_{𝐞}+{𝐝}_{𝐞}\cdot 𝐦{\text{'}}_{𝐞}=0$

Enligt ovan är ${𝐦}_{{𝐏}^{\prime }}={𝐦}_{𝐞}-{𝐫}^{\prime }\times {𝐝}_{𝐞}$ och $||{𝐦}_{{𝐏}^{\prime }}||\cdot \sin \alpha ={𝐦}_{{𝐏}^{\prime }}\cdot 𝐝{\text{'}}_{𝐞}$, vilket innebär att

$||{𝐦}_{{𝐏}^{\prime }}||\cdot \sin \alpha ={𝐦}_{{𝐏}^{\prime }}\cdot 𝐝{\text{'}}_{𝐞}={𝐦}_{𝐞}\cdot 𝐝{\text{'}}_{𝐞}-({𝐫}^{\prime }\times {𝐝}_{𝐞})\cdot 𝐝{\text{'}}_{𝐞}=𝐝{\text{'}}_{𝐞}\cdot {𝐦}_{𝐞}+({𝐝}_{𝐞}\times {𝐫}^{\prime })\cdot 𝐝{\text{'}}_{𝐞}=$

$=𝐝{\text{'}}_{𝐞}\cdot {𝐦}_{𝐞}+{𝐝}_{𝐞}\cdot ({𝐫}^{\prime }\times 𝐝{\text{'}}_{𝐞})=𝐝{\text{'}}_{𝐞}\cdot {𝐦}_{𝐞}+{𝐝}_{𝐞}\cdot {{𝐦}_{𝐞}}^{\prime }=({𝐝}_{𝐞}:{𝐦}_{𝐞})*(𝐝{\text{'}}_{𝐞}:𝐦{\text{'}}_{𝐞})$

Detta innebär i sin tur att om den recipoka produkten är negativ så är $-180^o<\alpha <0^o$ och om den är positiv så är $180^o>\alpha >0^o$. Således har vektorn ${𝐝}_{𝐞}\times 𝐝{\text{'}}_{𝐞}=||{𝐝}_{𝐞}||\cdot ||𝐝{\text{'}}_{𝐞}||\cdot \sin \alpha$ samma riktning som $\overrightarrow{P^{\prime }P}=𝐫-{𝐫}^{\prime }$ om den reciproka produkten är positiv, medan de båda vektorerna har motsatt riktning om den är negativ.

Enhetsvektorn för den gemensamma normalen i riktningen $\overrightarrow{P^{\prime }P}$, här kallad ${𝐝}_{𝐧𝐞}$, är således:

${𝐝}_{𝐧𝐞}=\frac{{𝐝}_{𝐞}\times 𝐝{\text{'}}_{𝐞}}{||{𝐝}_{𝐞}\times 𝐝{\text{'}}_{𝐞}||}$

Vektorn $\overrightarrow{P^{\prime }P}$ kan alltså erhållas från: $\overrightarrow{P^{\prime }P}=\mathrm{sgn}(\sin \alpha )\cdot ||\overrightarrow{P^{\prime }P}||\cdot \frac{{𝐝}_{𝐞}\times 𝐝{\text{'}}_{𝐞}}{||{𝐝}_{𝐞}\times 𝐝{\text{'}}_{𝐞}||}=\frac{({𝐝}_{𝐞}:{𝐦}_{𝐞})*(𝐝{\text{'}}_{𝐞}:𝐦{\text{'}}_{𝐞})}{||{𝐝}_{𝐞}\times 𝐝{\text{'}}_{𝐞}||}\cdot \frac{{𝐝}_{𝐞}\times 𝐝{\text{'}}_{𝐞}}{||{𝐝}_{𝐞}\times 𝐝{\text{'}}_{𝐞}||}=\frac{({𝐝}_{𝐞}:{𝐦}_{𝐞})*(𝐝{\text{'}}_{𝐞}:𝐦{\text{'}}_{𝐞})}{||{𝐝}_{𝐞}\times 𝐝{\text{'}}_{𝐞}|{|}^2}\cdot ({𝐝}_{𝐞}\times 𝐝{\text{'}}_{𝐞})$

Momentvektorn, ${𝐦}_{𝐧}$ för den gemensamma normalen kan fås genom att välja en punkt på denna, vi väljer $P$, och beräkna den, med hjälp av Lagranges formel och eftersom $𝐝{\text{'}}_{𝐧𝐞}\perp {𝐝}_{𝐞}\Rightarrow (𝐫-{𝐫}^{\prime })\cdot {𝐝}_{𝐞}=𝐝{\text{'}}_{𝐧𝐞}\cdot {𝐝}_{𝐞}=0$, enligt följande, med ${𝐝}_{𝐧}={𝐝}_{𝐞}\times 𝐝{\text{'}}_{𝐞}$ som riktningsvektor för normalen:

${𝐦}_{𝐧}=𝐫\times {𝐝}_{𝐧}=𝐫\times ({𝐝}_{𝐞}\times 𝐝{\text{'}}_{𝐞})=(𝐫\cdot {𝐝}_{𝐞})\cdot 𝐝{\text{'}}_{𝐞}-(𝐫\cdot 𝐝{\text{'}}_{𝐞})\cdot {𝐝}_{𝐞}=$

$=((𝐫-{𝐫}^{\prime }+{𝐫}^{\prime })\cdot {𝐝}_{𝐞})\cdot 𝐝{\text{'}}_{𝐞}-(𝐫\cdot 𝐝{\text{'}}_{𝐞})\cdot {𝐝}_{𝐞}=(({𝐫}^{\prime }\cdot {𝐝}_{𝐞})+(𝐫-{𝐫}^{\prime })\cdot {𝐝}_{𝐞})\cdot 𝐝{\text{'}}_{𝐞}-(𝐫\cdot 𝐝{\text{'}}_{𝐞})\cdot {𝐝}_{𝐞}=$

$=({𝐫}^{\prime }\cdot {𝐝}_{𝐞})\cdot 𝐝{\text{'}}_{𝐞}-(𝐫\cdot 𝐝{\text{'}}_{𝐞})\cdot {𝐝}_{𝐞}=(𝐝{\text{'}}_{𝐞}\cdot {𝐝}_{𝐞})\cdot {𝐫}^{\prime }-{𝐝}_{𝐞}\times ({𝐫}^{\prime }\times 𝐝{\text{'}}_{𝐞})-(𝐝{\text{'}}_{𝐞}\cdot {𝐝}_{𝐞})\cdot 𝐫+𝐝{\text{'}}_{𝐞}\times (𝐫\times {𝐝}_{𝐞})=$

$=(𝐝{\text{'}}_{𝐞}\cdot {𝐝}_{𝐞})\cdot {𝐫}^{\prime }-{𝐝}_{𝐞}\times 𝐦{\text{'}}_{𝐞}-(𝐝{\text{'}}_{𝐞}\cdot {𝐝}_{𝐞})\cdot 𝐫+𝐝{\text{'}}_{𝐞}\times {𝐦}_{𝐞}=𝐦{\text{'}}_{𝐞}\times {𝐝}_{𝐞}-{𝐦}_{𝐞}\times 𝐝{\text{'}}_{𝐞}+(𝐝{\text{'}}_{𝐞}\cdot {𝐝}_{𝐞})\cdot ({𝐫}^{\prime }-𝐫)=$

$=𝐦{\text{'}}_{𝐞}\times {𝐝}_{𝐞}-{𝐦}_{𝐞}\times 𝐝{\text{'}}_{𝐞}-(𝐝{\text{'}}_{𝐞}\cdot {𝐝}_{𝐞})\cdot ({𝐫}^{\prime }-𝐫))=𝐦{\text{'}}_{𝐞}\times {𝐝}_{𝐞}-{𝐦}_{𝐞}\times 𝐝{\text{'}}_{𝐞}-(𝐝{\text{'}}_{𝐞}\cdot {𝐝}_{𝐞})\cdot \frac{({𝐝}_{𝐞}:{𝐦}_{𝐞})*(𝐝{\text{'}}_{𝐞}:𝐦{\text{'}}_{𝐞})}{||{𝐝}_{𝐞}\times 𝐝{\text{'}}_{𝐞}|{|}^2}\cdot ({𝐝}_{𝐞}\times 𝐝{\text{'}}_{𝐞})$

Referenser och noter

• Bartel Leendert van der Waerden, 1939, Einführung In Die Algebraische Geometrie, sid. 19-24. Julius Springer, Berlin.
• Yan-Bin Jia, 2020, Plücker Coordinates for Lines in the Space