A priori, rien de moins intéressant qu’une droite. Un trait infini, abstrait, tout bête, ni beau ni laid, connu de tous depuis le CE2… Écrire là-dessus, c’est comme écrire sur l’ensemble vide, c’est blablater sur pas grand-chose. Mais bon, dans sa course à l’infini, ce machin fait forcément une rencontre intéressante à un moment donné alors étudions-le de plus près…

Définitions et géométrie pure

Si la droite est limitée d’un côté, on parle de demi-droite. Des deux côtés, c’est un segment de droite. Deux droites sont sécantes si elles se coupent et parallèles dans le cas contraire. Deux droites qui se coupent à angle droit sont perpendiculaires. Toutes les droites sécantes en un même point forment une famille.

Une droite qui passe par les points A et B est notée (AB) et le segment qui va de A à B est noté [AB].

Lorsque deux droites sont sécantes, leur intersection est un point.

Si dans le plan deux droites sont forcément soit sécantes soit parallèles, elles peuvent n’être ni l’un ni l’autre dans l’espace.

L’orthogonalité est une notion plus large que la perpendicularité puisqu’il n’est pas nécessaire que les droites ou les plans soient sécants. Cette notion n’a d’intérêt que dans l’espace. On montre qu’une droite est orthogonale à un plan en prouvant qu’elle est orthogonale à deux droites sécantes du plan.

Le plan médiateur d’un segment [AB] passe par son milieu tout en lui étant orthogonal. L’infinité de points qui le composent se trouvent à égale distance de A et de B.

Pour terminer cette présentation, voyons un petit exercice, du niveau de la classe de seconde (ancien programme).

Voici un tétraèdre dans lequel AC = AD et BC = BD. Montrer que les droites (AB) et (CD) sont orthogonales.

Nous sommes en présence de deux triangles isocèles : les deux arêtes bleues sont de même longueur, ainsi que les deux arêtes rouges. Si l’on place le point M, milieu de CD (segment commun aux deux triangles), les droites (AM) et (BM) sont perpendiculaires à (CD), c’est là une propriété des triangles isocèles. Par conséquent, (CD) est perpendiculaire au plan (MAB). Toutes les droites de ce plan sont donc ORTHOGONALES à (CD), y compris (AB). Mais ces deux droites ne sont pas perpendiculaires puisqu’elles ne se coupent jamais.

Et maintenant, graduons…

Tout ceci n’est pas d’un intérêt fondamental pour aider les entreprises à se développer. Dans le cadre de ce site, ces droites arrivent comme des cheveux (raides) sur la soupe (plane). C’est juste histoire d’avoir sous le coude quelques définitions. Passons donc à l’épisode suivant, celui où les droites découvrent le monde des repères normés (géométrie analytique).

Nous voici dans un espace vectoriel à une dimension (droite), ou deux (plan), ou plus (espace ou hyperespace).

La distance, dite euclidienne, est mesurable par une NORME :

Ainsi, une droite est munie d’un REPÈRE comme une règle est munie d’une graduation (« norme » permettant de se « repérer »). Un repère construit grâce à une base de vecteurs non colinéaires est orthogonal si ces derniers sont perpendiculaires et orthonormal si, en plus, ils sont de même norme. Dans un tel repère, la norme d’un vecteur est la suivante (espace à deux dimensions) :

En univers tridimensionnel on ajoute un z² sous le radical, et ainsi de suite si l’on travaille sur un nombre supérieur de dimensions (voir page produit scalaire dans l'espace).

Revenons à nos droites et restons pour l’instant dans un banal espace à deux dimensions.

Une droite peut être définie par un point et par une direction. On nomme vecteur directeur un vecteur qui donne à la droite sa direction (il en existe une infinité car la longueur et le sens n'importent pas). Pour démontrer que deux droites sont parallèles ou confondues, on montre que leurs vecteurs directeurs sont colinéaires (voir la page colinéarité dans le plan, rédigée pour les élèves de seconde).

Relations fonctionnelles

Dans le plan muni d'un repère, la droite est la traduction d'une fonction affine qui exprime une relation entre deux variables numériques.

Une droite peut être définie par trois types d'expressions. Celle qui est enseignée en premier est l'équation réduite (y = ax + b où a est le coefficient directeur et b est l'ordonnée à l'origine). L'équation cartésienne s'écrit sous la forme αx + βy + δ = 0. Elle permet davantage de développements. Une troisième façon est de définir une droite par l'un de ses points et par l'un de ses vecteurs directeurs.

Ainsi, pour montrer que deux droites sont parallèles, il suffit que les coefficients directeurs des deux fonctions soient les mêmes et pour trouver en quel point du plan deux droites sont sécantes, il suffit de résoudre un système de deux équations à deux inconnues qui sont l'abscisse et l'ordonnée communes aux deux droites. Enfin, deux droites sont perpendiculaires si le produit de leurs coefficients directeurs est égal à -1.

Par ailleurs, une droite dans un plan ne représente pas forcément la fonction elle-même. Ce peut être une tangente ou une asymptote...

Toutefois, les droites ne sont pas ici des objets d'étude en elles-mêmes mais des outils qui facilitent une étude, parfois abstraite ou parfois très concrète. La page d'introduction à la programmation linéaire montre qu’une problématique réelle d’allocation peut être résolue par un système d’inéquations et être visualisée graphiquement.

Dans un espace à trois dimensions, les droites se définissent comme une intersection entre deux plans, c’est-à-dire que leur expression prend la forme d’un système de deux équations cartésiennes. Si le nombre de dimensions est plus élevé, on est amené à résoudre des systèmes plus volumineux. En l’absence regrettable de logiciel, on peut utiliser la méthode du pivot de Gauss pour en venir à bout.

C’est tout pour cette partie théorique...