Vizualizare sursă pentru „Drepte necoplanare”

[[Fișier:Rectangular parallelepiped.png|thumb|[[Paralelipiped dreptunghic]]. Dreapta ce conține [[segment (geometrie) |segmentul]] AD și cea care conține segmentul B<sub>1</sub>B sunt necoplanare.]]
În [[geometrie în spațiu |geometria în spațiu]] două '''drepte necoplanare''' (rar '''eolocline'''<ref>{{Dexonline|eolocline}}</ref>) sunt două [[dreaptă |drepte]] care nici nu se [[intersecție (matematică) |intersectează]], nici nu sunt [[paralelism (geometrie) |paralele]]. Un exemplu simplu de pereche de drepte necoplanare este perechea de drepte care conțin [[latură (geometrie) |laturile]] opuse ale unui [[tetraedru]]. Două drepte care se află ambele în același [[plan (geometrie) |plan]] trebuie să fie sau [[drepte concurente |concurente]] sau paralele, așadar dreptele necoplanare pot exista doar în trei sau mai multe [[dimensiune (matematică) |dimensiuni]].

== Poziția generală ==
Dacă patru [[punct (geometrie) |puncte]] sunt alese aleatoriu într-un [[cub unitate]], ele aproape sigur vor defini o pereche de drepte necoplanare. După ce au fost alese primele trei puncte, al patrulea punct va defini o dreaptă coplanară [[dacă și numai dacă]] este coplanar cu primele trei puncte. Însă planul care trece prin primele trei puncte formează o submulțime de măsură zero a cubului, iar probabilitatea ca al patrulea punct să se afle pe acest plan este zero. Dacă nu, dreptele definite de puncte vor fi necoplanare.

Similar, în [[spațiu tridimensional |spațiul tridimensional]] o perturbare foarte mică a oricăror două drepte paralele sau concurente le va transforma aproape sigur în drepte necoplanare. Prin urmare, oricare patru puncte din [[poziția generală]] formează întotdeauna drepte necoplanare.

În acest sens, dreptele necoplanare sunt cazul „obișnuit”, iar dreptele paralele sau concurente sunt cazuri particulare.

== Formule ==
=== Testarea coplanarității ===
Dacă fiecare dreaptă dintr-o pereche de drepte necoplanare este definită de câte două puncte prin care trece, atunci aceste patru puncte nu trebuie să fie coplanare, deci trebuie să fie [[vârf (geometrie)| vârfurile]] unui [[tetraedru]] cu [[volum]]ul diferit de zero. Invers, oricare două perechi de puncte care definesc un tetraedru cu volum diferit de zero definesc, de asemenea, o pereche de drepte necoplanare. Prin urmare, un test pentru a stabili dacă două perechi de puncte definesc drepte necoplanare este de a aplica formula pentru volumul unui tetraedru în funcție de cele patru vârfuri ale sale. Indicând un punct ca vector {{math|'''a'''}} 1×3 ale cărui trei elemente sunt cele trei coordonate ale punctului și notând cu {{math|'''b'''}}, {{math|'''c'''}} și {{math|'''d'''}} celelalte puncte, se poate verifica dacă dreapta prin {{math|'''a''' }} și {{math|'''b'''}} este necoplanară cu dreapta prin {{math|'''c'''}} și {{math|'''d'''}} observând dacă formula volumului tetraedrului dă un rezultat diferit de zero:
:<math>V=\frac{1}{6}\left|\det\left[\begin{matrix}\mathbf{a}-\mathbf{b} \\ \mathbf{b}-\mathbf{c} \\ \mathbf{c}-\mathbf{d} \end{matrix}\right]\right|.</math>

=== Punctele cele mai apropiate ===
Exprimând cele două drepte ca vectori:
:<math>\text{dreapta 1:} \; \mathbf{v_1}=\mathbf{p_1}+t_1\mathbf{d_1}</math>
:<math>\text{dreapta 2:} \; \mathbf{v_2}=\mathbf{p_2}+t_2\mathbf{d_2}</math>
[[produs vectorial |produsul vectorial]] al <math>\mathbf{d_1}</math> și <math>\mathbf{d_2}</math> este perpendicular pe aceste drepte.
:<math> \mathbf{n}= \mathbf{d_1} \times \mathbf{d_2}</math>

Planul format prin [[translație (geometrie) |translațiile]] dreptei 2 de-a lungul <math> \mathbf{n}</math> conține punctul <math> \mathbf{p_2}</math> și este perpendiculară pe <math> \mathbf{n_2}= \mathbf{d_2} \times \mathbf{n}</math>.

Prin urmare, punctul de intersecție al dreptei 1 cu planul menționat mai sus, care este și punctul de pe dreapta 1 care este cel mai apropiat de dreapta 2, este dat de
:<math> \mathbf{c_1}=\mathbf{p_1}+ \frac{(\mathbf{p_2}-\mathbf{p_1})\cdot\mathbf{n_2}}{\mathbf{d_1}\cdot\mathbf{n_2}} \mathbf{d_1}</math>

Similar, punctul de pe dreapta 2 cel mai apropiat de dreapta 1 este dat de
:<math> \mathbf{c_2}=\mathbf{p_2}+ \frac{(\mathbf{p_1}-\mathbf{p_2})\cdot\mathbf{n_1}}{\mathbf{d_2}\cdot\mathbf{n_1}} \mathbf{d_2},</math>
unde <math> \mathbf{n_1}= \mathbf{d_1} \times \mathbf{n}.</math>

==== Distanță ====
Cele mai apropiate puncte <math> \mathbf{c_1}</math> and <math> \mathbf{c_2}</math> determină cel mai scurt [[segment (geometrie) |segment]] dintre dreapta 1 și dreapta 2:
: <math> d = \Vert \mathbf{c_1} - \mathbf{c_2} \Vert.</math>

Distanța dintre cele mai apropiate puncte din două drepte necoplanare poate fi exprimată folosind și alți vectori:
: <math> \mathbf{x} = \mathbf{a} + \lambda \mathbf{b};</math>
: <math> \mathbf{y} = \mathbf{c} + \mu \mathbf{d}.</math>

Aici vectorul {{math|'''x'''}} 1×3 reprezintă un punct arbitrar pe dreapta care trece prin punctul {{math|'''a'''}} și direcția spre punctul {{math|''' b'''}} și cu valoarea numărului real <math>\lambda</math> care determină locul în care se află punctul pe dreaptă și, similar, pentru punctul arbitrar {{math|'''y'''}} pe dreapta care trece prin punctul {{math|'''c'''}} în direcția lui {{math|'''d'''}}.

Produsul vectorial al lui '''b''' cu '''d''' este perpendicular pe drepte, la fel ca [[versor]]ul
: <math> \mathbf{n} = \frac{\mathbf{b} \times \mathbf{d}}{|\mathbf{b} \times \mathbf{d}|} </math>

Distanța dintre drepte este atunci <ref>{{en icon}} {{mathworld|urlname=Line-LineDistance|title= Line-Line Distance}}</ref>
: <math> d = |\mathbf{n} \cdot (\mathbf{c} - \mathbf{a})|.</math>
(dacă |'''b''' × '''d'''| este zero, dreptele sunt paralele și această metodă nu poate fi folosită).

== Mai mult de două drepte ==
=== Configurații ===
O ''configurație'' de drepte necoplanare este o mulțime de drepte în care toate perechile sunt necoplanare. Se spune că două configurații sunt ''izotopice'' dacă este posibil să se transforme continuu o configurație în cealaltă, conservând pe tot parcursul transformării condiția ca toate perechile de drepte să rămână necoplanare. Oricare două configurații de două drepte sunt ușor de văzut ca fiind izotopice, iar configurațiile cu același număr de drepte în dimensiuni mai mari de trei sunt întotdeauna izotopice, dar există mai multe configurații neizotopice de trei sau mai multe drepte în trei dimensiuni {{harv|Viro|Viro|1990}}. Numărul de configurații neizotopice de ''n'' drepte din '''R'''<sup>3</sup>, începând cu ''n'' = 1, este<ref>{{OEIS|A110887}}</ref>
:1, 1, 2, 3, 7, 19, 74, ... .

=== Suprafețe riglate ===
[[Fișier:Nested hyperboloids.png|thumb|300px|Familii de drepte necoplanare care formează în spațiul proiectiv [[hiperboloid |hiperboloizi]] suprapuși]]
Dacă se rotește o dreaptă ''L'' în jurul altei drepte ''M'' necoplanară, dar nu perpendiculară pe aceasta, [[suprafață de revoluție |suprafața de revoluție]] măturată de ''L'' este un [[hiperboloid |hiperboloid cu o pânză]]. De exemplu, cei trei hiperboloizi vizibili în figura alăturată pot fi formați în acest fel prin rotirea a câte unei drepte ''L'' în jurul drepte verticale centrale ''M'' (albă, puțin vizibilă în imagine). Pânza unui hiperboloid cu o pânză poate fi formată și prin rotirea în jurul lui ''M'' a unei drepte ''L' '' înclinată invers față de dreapta ''L''. Cele două familii de drepte afișează hiperboloidul ca o {{ill-wd| Q840376}}.

O {{ill-wd| Q382497}} a acestei suprafețe riglate produce o suprafață care, în general, are mai degrabă o secțiune transversală eliptică decât secțiunea transversală circulară produsă prin rotirea ''L'' în jurul lui ''M''; astfel de suprafețe sunt numite și ele hiperboloizi cu o pânză și sunt și ele generate de două familii de drepte reciproc necoplanare. Un al treilea tip de suprafață riglată este [[paraboloid#Paraboloid_hiperbolic |paraboloidul hiperbolic]]. La fel ca hiperboloidul cu o pânză, paraboloidul hiperbolic are două familii de drepte necoplanare; în fiecare dintre cele două familii dreptele sunt paralele cu un plan comun, deși nu unele cu altele. Oricare trei drepte necoplanare din '''R'''<sup>3</sup> se află pe exact o suprafață riglată a unuia dintre aceste tipuri {{harv|Hilbert|Cohn-Vossen|1952}}.

=== Teorema Gallucci ===
Dacă trei drepte necoplanare se întâlnesc toate cu alte trei drepte necoplanare, orice transversală din primul set de trei întâlnește orice transversală din cel de-al doilea set.<ref>{{en icon}} [[Coxeter|H. S. M. Coxeter]] (1969) ''Introduction to Geometry'', 2nd edition, page 257, [[John Wiley & Sons]]</ref><ref>{{it icon}} G. Gallucci (1906) "Studio della figua delle otto rette e sue applicazioni alla geometria del tetraedro ed alla teoria della configurazioni", ''Rendiconto dell’Accademia della Scienza fisiche e matematiche'' (3) 12: 49–79</ref>

== Note ==
<references />

== Bibliografie ==
* {{en icon}} {{citation
 | last1 = Hilbert | first1 = David | author1-link = David Hilbert
 | last2 = Cohn-Vossen | first2 = Stephan 
 | edition = 2nd
 | isbn = 0-8284-1087-9
 | pages = 13–17
 | publisher = Chelsea
 | title = Geometry and the Imagination
 | year = 1952}}.
* {{ru icon}} {{citation
 | last1 = Viro
 | first1 = Julia Drobotukhina
 | last2 = Viro
 | first2 = Oleg
 | issue = 4
 | journal = Leningrad Math. J.
 | pages = 1027–1050
 | title = Сплетения скрещивающихся прямых (''Configurații ale dreptelor necoplanare'')
 | url = http://www.math.uu.se/~julia/SplSkrPr.pdf
 | volume = 1
 | year = 1990
 | access-date = 2021-11-30
 | archive-date = 2021-11-09
 | archive-url = https://web.archive.org/web/20211109212444/http://www2.math.uu.se/~julia/SplSkrPr.pdf
 | dead-url = yes
 }}. Revised version in English: {{arxiv|math.GT/0611374}}.

== Legături externe ==
{{Portal|Matematică}}
* {{en icon}} {{mathworld|urlname=SkewLines|title=Skew Lines}}

[[Categorie:Geometrie elementară]]
[[Categorie:Geometrie în spațiu euclidiană]]
[[Categorie:Algebră liniară]]