Determinación de un plano a partir de tres puntos dados del mismo que no estén alineados

Dados tres puntos de un plano $\pi$, $A(x_A,y_A,z_A)$, $B(x_B,y_B,z_B)$ y $C(x_C,y_C,z_C)$ ( cuyas coordenadas vienen referidas a la base canónica del espacio vectorial afín $\mathbb{R}^3$, nos proponemos describir dicho plano de forma algebraica, esto es, deseamos encontrar, de diversas maneras, unas ecuaciones que lo representen.

Siendo $O(0,0,0)$ el origen de coordenadas, y $P(x,y,z)$ un punto cualquiera de dicho plano $\pi$, se cumple que $\overset{\rightarrow}{OP}=\overset{\rightarrow}{OA}+\overset{\rightarrow}{AP} $     (1), y teniendo en cuenta que $\overset{\rightarrow}{AP}$ se puede expresar como combinación lineal de $\overset{\rightarrow}{AB}$ y $\overset{\rightarrow}{AC}$ ya que estos dos vectores son linealmente independientes al no estar alineados los puntos $A,B$ y $C$; existirán pues dos escalares, $\lambda$ y $\mu$, tales que $\overset{\rightarrow}{AP} = \lambda\,\overset{\rightarrow}{AB}+\mu\,\overset{\rightarrow}{AC}$, y, por consiguiente, podemos escribir (1) de la forma $$\overset{\rightarrow}{OP}=\overset{\rightarrow}{OA}+\lambda\,\overset{\rightarrow}{AB}+\mu\,\overset{\rightarrow}{AC}$$, que es una ecuación vectorial del plano, y también podemos expresar de la forma
$(x,y,z)=(x_A,y_A,z_A)+\lambda\,(x_{B}-x_{A},y_{B}-y_{A},z_{B}-z_{A})+$
      $+\mu\,(x_{C}-x_{A},y_{C}-y_{A},z_{C}-z_{A})$

Esta ecuación vectorial da lugar a tres ecuaciones escalares a las que denominaremos ecuaciones paramétricas de $\pi$, puesto que dependen de los parámetro, $\lambda$ y $\mu$: $$\left.\begin{matrix}x=x_A+\lambda\,(x_{B}-x_{A})+\mu\,(x_{C}-x_{A}) \\ y=y_A+\lambda\,(y_{B}-y_{A})+\mu\,(y_{C}-y_{A})\\ z=z_A+\lambda\,(z_{B}-z_{A})+\mu\,(z_{C}-z_{A})\end{matrix}\right\} \quad \quad (2)$$.

El conjunto de estas tres ecuaciones (2) determinan los parámetros $\lambda$ y $\mu$, una vez fijado el punto $P$, luego bien podemos expresarlo de la forma
$$\left.\begin{matrix}(x_{B}-x_{A})\,\lambda+(x_{C}-x_{A})\,\mu = x-x_A \\ (y_{B}-y_{A})\,\lambda+(y_{C}-y_{A})\,\mu = x-x_A = y-y_A \\ (z_{B}-z_{A})\,\lambda+(z_{C}-z_{A})\,\mu = x-x_A = z-z_A \end{matrix}\right\}$$
el cual ha tener rango igual a $2$, ya que sólo pueden haber dos ecuaciones linealmente independientes; por consiguiente, la matriz ampliada de los coeficientes del sistema $$\left(\begin{array}{cc|c} x_{B}-x_{A} & x_{C}-x_{A} & x-x_A \\ y_{B}-y_{A} & y_{C}-y_{A} & y-y_A \\ z_{B}-z_{A} & z_{C}-z_{A} & z-z_A \end{array}\right)$$ ha de tener rango igual a $2$ ( igual que la matriz de los coeficientes ), luego el único menor complementario de orden $3$ ha de ser nulo, luego podemos escribir que

$$\begin{vmatrix} x_{B}-x_{A} & x_{C}-x_{A} & x-x_A \\ y_{B}-y_{A} & y_{C}-y_{A} & y-y_A \\ z_{B}-z_{A} & z_{C}-z_{A} & z-z_A \end{vmatrix}=0$$

De donde obtenemos una ecuación de tres incógnitas con una variable principal y dos variables secundarias, que también determina el plano $\pi$, y a las que denominamos ecuación cartesiana ( o implícita, o general ) de dicho plano, de la forma $$a\,x+b\,y+c\,z+d=0$$

$\square$

Determinación de una recta en el espacio vectorial afín R^3, dados dos puntos de la misma

Dados dos puntos de una recta $r$, $A(x_A,y_A,z_A)$ y $B(x_B,y_B,z_B)$ ( cuyas coordenadas vienen referidas a la base canónica del espacio vectorial afín $\mathbb{R}^3$, nos proponemos describir dicha recta de forma algebraica, esto es, encontrar de diversas maneras, unas ecuaciones que la representen.

Siendo $O(0,0,0)$ el origen de coordenadas, y $P(x,y,z)$ un punto cualquiera de la recta $r$, se cumple que $\overset{\rightarrow}{OP}=\overset{\rightarrow}{OA}+\overset{\rightarrow}{AP} $     (1), y teniendo en cuenta que $\overset{\rightarrow}{AP} \propto \overset{\rightarrow}{AB}$ -- ambos vectores tienen la misma dirección, luego son dependientes uno del otro --, existirá un escalar $\lambda$ tal que $\overset{\rightarrow}{AP} = \lambda\,\overset{\rightarrow}{AB}$, y, por consiguiente, podemos escribir (1) de la forma $$\overset{\rightarrow}{OP}=\overset{\rightarrow}{OA}+\lambda\,\overset{\rightarrow}{AB}$$ que es una ecuación vectorial de la recta, que, también podemos expresar de la forma $$(x,y,z)=(x_A,y_A,z_A)+\lambda\,(x_{B}-x_{A},y_{B}-y_{A},z_{B}-z_{A})$$ Esta ecuación vectorial da lugar a tres ecuaciones escalares a las que denominaremos ecuaciones paramétricas de $r$, puesto que dependen de un parámetro, $\lambda$: $$\left.\begin{matrix}x=x_A+\lambda\,(x_{B}-x_{A}) \\ y=y_A+\lambda\,(y_{B}-y_{A})\\ z=z_A+\lambda\,(z_{B}-z_{A})\end{matrix}\right\} \quad \quad (2)$$ Despejando el parámetro $\lambda$ de cada una de las tres ecuaciones anteriores, los segundos miembros deberán ser iguales, llegando así a una ecuación de la recta en forma continua $$r\equiv \dfrac{x-x_A}{x_{B}-x_{A}}=\dfrac{y-y_A}{y_{B}-y_{A}}=\dfrac{z-z_A}{z_{B}-z_{A}} \quad \quad(3)$$

El conjunto de estas tres ecuaciones (2) determina el parámetro $\lambda$, una vez fijado el punto $P$, luego bien podemos expresarlo de la forma
$$\left.\begin{matrix}(x_{B}-x_{A})\,\lambda = x-x_A \\ (y_{B}-y_{A})\,\lambda = y-y_A \\ (z_{B}-z_{A})\,\lambda = z-z_A \end{matrix}\right\}$$
el cual ha tener rango igual a $1$, ya que sólo puede haber una ecuación linealmente independiente; por consiguiente, la matriz ampliada de los coeficientes del sistema $$\left(\begin{array}{c|c} x_{B}-x_{A} & x-x_A \\ y_{B}-y_{A} & y-y_A \\ z_{B}-z_{A} & z-z_A \end{array}\right)$$ ha de tener rango igual a $1$ ( igual que la matriz de los coeficientes ), luego los menores complementarios han de ser nulos, así que del orlado de la matriz a partir de algún elemento no nulo de la primera columna, pongamos, sin pérdida de generalidad, que el de la primera fila y primera columna, podemos escribir que

$$\begin{vmatrix} x_{B}-x_{A} & x-x_A \\ y_{B}-y_{A} & y-y_A \end{vmatrix}=\begin{vmatrix} x_{B}-x_{A} & x-x_A \\ z_{B}-z_{A} & z-z_A \end{vmatrix}=0$$

De donde obtenemos un sistema de dos ecuaciones linealmente independientes, que también determinan la recta $r$, y a las que denominamos ecuaciones cartesianas ( o implícitas ) de dicha recta $$r\equiv \left\{\begin{matrix}(x_B-x_A)(y-y_A)-(y_B-y_A)(x-x_A)=0 \\ (x_B-x_A)(z-z_A)-(z_B-z_A)(x-x_A)=0 \end{matrix}\right. \quad \quad (4)$$ Estas dos ecuaciones han de corresponder a las de dos planos cuya intersección es precisamente la recta $r$.

Nota: Démonos cuenta de que estas mismas ecuaciones podemos escribirlas a partir de la doble igualdad de la ecuación de la recta en forma continua (3); y, ciertamente, podríamos escribir una tercera ecuación -- de igual manera que obtendríamos de igualar a cero el tercer menor complementario que se extrae de la matriz ampliada de los coeficientes --, $(y_B-y_A)(y-y_A)-(z_B-z_A)(z-z_A)=0$, pero ésta es una combinación lineal de las otras dos, y, por tanto aporta información redundante, pudiendo prescindir de ella. $\square$

Construcción de una base ortonormal ( que no sea la base canónica ), a partir de dos vectores dados

Se expone en esta grabación un ejercicio de vectores en R^3 en el que, dados dos vectores, se dan dos condiciones para hallar un conjunto de vectores que deben cumplir dos condiciones en relación con los datos, y, para hallarlos, utilizaremos el producto escalar y el producto mixto.

Un ejercicios de análisis de un sistema de ecuaciones lineales, en función de los valores de un parámetro, y resolución para determinados valores del mismo para los cuales el sistema es compatible

Ejemplo de resolución de una ecuación con matrices