Droites et plans de l'espace/Paire d'équations d'une droite de l'espace
Droite définie par deux équations
[modifier | modifier le wikicode]Supposons par exemple non colinéaires (le raisonnement serait le même dans le cas non colinéaires et dans le cas non colinéaires, et l'hypothèse non colinéaires garantit qu'on est dans au moins l'un des trois cas).
Alors, le nombre est non nul, ce qui permet de transformer le système des deux équations en une représentation paramétrique de droite :
Paire d'équations d'une droite
[modifier | modifier le wikicode]Notons les coordonnées de et choisissons deux solutions non colinéaires, et , de l'équation (par exemple, si , on peut choisir et ; si ou , on peut faire des choix similaires).
Posons ensuite . Ainsi, tout point de a pour coordonnées une solution de car .
De même, pour , tout point de a pour coordonnées une solution de .
La droite est alors incluse dans (donc égale à) la droite définie par ces deux équations.