El producto escalar en R3

Si P = (a, b, c) y Q = (d, e, f), entonces el producto escalar entre P y Q, que se simboliza con P punto, es, por definicin, el nmero real ad + be + cf. Q, y que se suele llamar tambin producto

As, por ejemplo, (3, 2, -1)

(-4, 5, 3) = -5.

Propiedades de la norma de un vector

Como ya se ha visto, la norma del vector (a, b, c) es el nmero real no negativo que expresa la medida de la distancia desde el punto correspondiente hasta el origen. Tambin se le llama mdulo.

(a, b, c) = La norma de un vector cumple con las siguientes propiedades: P 0 P = -P P + Q |P + |Q

Las dos primeras se demuestran directamente, a partir de la definicin de norma. La demostracin de la tercera, que se llama desigualdad triangular, se har ms adelante.

Distancia entre dos puntos

El concepto de norma de un vector se puede aprovechar para determinar la distancia entre dos puntos, P, Q. Como [PQ] = Q - P, la medida de la distancia entre P y Q es, precisamente |Q P|. De modo que si P = (a, b, c) y Q = (d, e, f) entonces, la distancia entre P y Q est dada por

PQ = Se deduce fcilmente una versin de la frmula anterior (en R3) para puntos referidos a un sistema de coordenadas cartesianas ortogonales en un plano (R2), o para puntos referidos a un sistema de abscisas en una recta (R). Tambin se puede deducir fcilmente una versin para Rn.

Propiedades del producto escalar

A partir de las definiciones dadas para el producto escalar y para la norma de un vector, se pueden demostrar las propiedades siguientes del producto escalar:

P2 = P

(P + Q)

R = (P

Q) + (P

R)

(rP)

Q=P

(rQ) = r(P

Q ), para cualquier nmero real r.

Q=Q

|P Q|2 = |P|2 2 (P

Q) + |Q|2

Estas propiedades son vlidas, en general, para Rn.

Con base en las propiedades anteriores, se puede dar significado geomtrico al producto escalar. En efecto, si se consideran los puntos A, B, C (no colineales, para mayor claridad), se cumple, en virtud la ley de los cosenos (vase Knol sobre razones trigonomtricas), y teniendo en cuenta que CB = AB AC,

|CB|2 = |AB|2 2|AB||AC|cos + |AC|2, donde es la medida del ngulo formado por los rayos AB y AC. Pero, teniendo en cuenta una de las propiedades demostradas para el producto escalar, hay otra manera de expresar |CB|2, teniendo en cuenta que CB = AB AC:

|CB|2= |AB|2- 2(AB

AC) + |AC|2.

Igualando las dos expresiones obtenidas para |CB|2, se obtiene:

(AB)

(AC) = |AB||AC|cos .

Se justifica, por tanto, adoptar como definicin de cos , incluso para Rn, la siguiente:

cos = (AB)

(AC) /|AB||AC|.

Desigualdad de Schwarz- Buniakowsky

Por propiedades estudiadas en la trigonometra, se sabe que cos 1. De modo que

(AB)

(AC) |AB||AC|.

El resultado anterior se denomina desigualdad de Schwarz-Buniakowski. La siguiente demostracin hace que este resultado sea vlido incluso para Rn. Si AB es el vector nulo, la desigualdad se cumple trivialmente. Supongamos que A B, o sea que AB no es el vector nulo. Entonces, para cualquier nmero real x, se cumple:

xAB + AC|2 0, o sea, |AB|2x2 + 2x(AB)

(AC) + |AC|2

0.

Como esta desigualdad se cumple para todo nmero real x, el discriminante del polinomio cuadrtico, en x, debe ser negativo: 4[(AB) |AB| . |AC| < 0.
2 2

(AC)]2 - 4

De esta ltima desigualdad se obtiene la de Schwarz-Buniakowsky, transponiendo el segundo trmino, simplificando y extrayendo raiz cuadrada. El resultado que se acaba de obtener, se puede usar para demostrar la desigualdad triangular, de una vez, para Rn.

|P + Q|2 = |P|2 + 2(P

Q) + |Q|2 |P|2 + 2P

Q| + |Q|2 |P|2 + 2|P||Q| + |Q|2 = (|P| + |Q|)2.

En resumen, |P + Q|2 (|P| + |Q|)2, de donde se obtiene la desigualdad triangular.

Condicin de ortogonalidad
Se dice que dos vectores son ortogonales, cuando sus direcciones son perpendiculares. Este concepto se puede extender para Rn, usando un criterio general, que depende de la definicin, tambin general, que se dio para cos :

Los vectores P y Q son ortogonales, ssi, cos = 0. Simblicamente, P

Q, ssi, P

Q = 0.

A partir de la definicin de ortogonalidad, se pueden demostrar las siguientes propiedades:

Si P

Q, entonces Q

P ssi, P es el vector nulo

Si P

QyP

R, entonces, P

mQ + nR, donde m, n son nmeros reales cualesquiera.

En el caso de que P, Q, R sean vectores de R2, se demostrar ms adelante, que si P

Q, y Q

R entonces P y Rtienen la misma direccin.

Dependencia lineal
El concepto de dependencia lineal se puede definir, en general, en cualquier espacio vectorial. Se comenzar por definir el concepto de combinacin lineal. El vector P es combinacin lineal de los vectores Q y R, si existen nmeros reales q, r, tales que P = qQ + rR. As, por ejemplo, A = (-8, -1, 13) es combinacin lineal de B = (1, -3, 4) y C = (-2, 1, 1), ya que A = 2B + 5C. Un vector puede ser combinacin lineal de dos o ms vectores. Se dice que los vectores A1, A2, Ak son linealmente dependientes, si por lo menos uno de ellos se puede expresar como combinacin lineal de los dems. Por el contrario, si ninguno de los vectores dados se puede expresar como combinacin lineal de los dems, se dice que dichos vectores son linealmente independientes. La independencia lineal ocurre cuando al expresar el vector nulo como una combinacin lineal de los vectores dados, los coeficientes reales (escalares) son todos iguales a cero. Por ejemplo, los vectores F = (2, -3) y G = (1, 5), son linealmente independientes, ya que fF + gG = (0, 0) implica, necesariamente, que f = g = 0. Lo anterior significa tambin que no se puede expresar a F como combinacin lineal de G o sea que no existe nmero real alguno, t, que cumpla con F = tG Por la misma razn, tampoco se puede expresar a G en trminos de F.

Generadores de un espacio vectorial

Decir que un conjunto de vectores, {A1, A2, An} genera un espacio vectorial, significa que cualquier vector (elemento de dicho espacio) se puede expresar como combinacin lineal de los vectores del conjunto nombrado.

Base de un espacio vectorial

Un conjunto de vectores puede ser o no linealmente dependiente y puede o no generar un espacio vectorial. Pero cuando un conjunto de vectores linealmente independientes genera un espacio vectorial, se dice que es una base de dicho espacio vectorial. Se dice una base, porque en un espacio vectorial puede haber muchas bases diferentes. Todas ellas se caracterizan por tener el mismo nmero de elementos (este es un teorema del lgebra lineal) y tal nmero de elementos es lo que se llama la dimensin del espacio vectorial. Haciendo referencia especficamente a R3, la base ms importante (base cannica) de este espacio vectorial est constituida por tres vectores que se simbolizarn con I, J, K (en la mayor parte de los libros se utiliza esta designacin, pero con letras minsculas, en negrilla; aqu se usar una notacin coherente con la que se ha venido usando). Estos vectores son: I = (1, 0, 0); J = (0, 1, 0); K = (0, 0, 1). Corresponden, en el sistema de coordenadas cartesianas ortogonales, a los puntos unidad de cada uno de los ejes coordenados: x, y, z, respectivamente. Estos vectores son linealmente independientes, como puede verificarse. Por otra parte, generan efectivamente a R3. Sea, en efecto, cualquier terna ordenada de nmeros reales: (a, b, c). Es evidente que (a, b, c) = aI + bJ + cK. El resultado que se acaba de obtener implica que R3 es un espacio vectorial de dimensin 3 y que, por tanto, cualquier otra base debe tener tres elementos. Es fcil deducir la generalizacin para Rn y aplicarla luego al plano y a la recta, como espacios vectoriales de dimensiones 2 y 1, respectivamente.

El producto vectorial en R3

El producto vectorial es una ley de composicin interna en R3, que se puede definir, formalmente, como un determinante de orden 3, en el que la primera fila est constituida por los vectores I, J, K. Si A = (a1, a2, a3) y B = (b1, b2, b3) entonces, el producto vectorial entre A y B, llamado tambin producto cruz est dado por

Esta definicin se puede expresar tambin as: AB = (a2b3 - a3b2, a3b1 - a1b3, a1b2 - a2b1) Las propiedades de los determinantes y la definicin dada, permiten demostrar las siguientes propiedades del producto vectorial: AB = - BA A(B + C) = (AB) + (AC) Para todo nmero real r, r(AB) = (rA) B = A (rB)

(AB), B

(AB)

Una vez demostrado que AB es un vector ortogonal a A y tambin a B. Pero, cul es su orientacin?. Para responder a esta pregunta, se dar la siguiente regla: si A gira hacia la posicin de B, siguiendo la trayectoria del menor de los desplazamientos rotacionales posibles, el vector AB tendr el sentido del avance de un tornillo de rosca derecha. Para darle significado geomtrico al producto vectorial, considrense los vectores AB y AC que forman un ngulo de medida , menor que la de un ngulo llano. Si se completa un paralelogramo, en el cual B, A, C son tres de los vrtices yh la medida de la altura desde B hasta la recta que contiene al lado AC, se puede expresar la medida del rea de este paralelogramo por medio de: m = |AC|h = |AC||AB|sen .

Esta frmula se puede transformar teniendo en cuenta que:

por una parte, sen2 = 1 - cos2 ; adems, cos = AC

AB /AC||AB.

Entonces, haciendo las sustituciones adecuadas se llega al siguiente resultado:

m=

Ahora bien, si AB = (a1, a2, a3) y AC = (b1, b2, b3), entonces se puede verificar que m = AB AC. Es decir, la medida del rea del paralelogramo mencionado es igual, numricamente hablando, a la norma del producto vectorial entre AB yAC. El producto mixto en R3 El producto mixto, llamado tambin producto escalar triple, es una operacin ternaria, o sea que intervienen en ella tres vectores; a cada terna de

vectores de R3, le corresponde un nmero real que se obtiene as: [ABC] = A

(B C)

Segn esta definicin, se efecta el producto escalar entre el primero de los vectores de la terna y el resultado del producto vectorial entre el segundo y el tercer vector dados. La definicin dada se puede expresar de una manera ms fcil de recordar, como se ver a continuacin. Si A = (a1, a2, a3), B = (b1, b2, b3), C = (c1, c2, c3). El producto triple, [ABC], se puede expresar as:

Es decir,

Por consiguiente, el determinante anterior sirve como definicin alternativa del producto triple, o mixto, con la ventaja de que se recuerda ms fcilmente y adems, las propiedades de esta operacin se deducen de propiedades conocidas para los determinantes. Una de las propiedades del producto escalar triple, establece que cualquier permutacin cclica de los factores deja inalterado el resultado: [ABC] = [CAB]

= [BCA]; es decir, A

(B C) = C

(A B) = B

(C A).

Otra propiedad permite intercambiar los signos de operacin, sin que se altere el resultado: A El producto mixto se puede interpretar geomtricamente, como se ver a continuacin.

(B C) = A

(B

C)

Dados los vectores AB, AC, AD, no situados en un mismo plano, para mayor claridad, o sea que se pueden considerar como aristas concurrentes de un paraleleppedo, del cual A es un vrtice. Si se tiene que la medida (menor que la de un ngulo llano) del ngulo determinado por [AB] y [AC] es y que la medida (no mayor que la de un ngulo recto) del ngulo determinado por [AD] y la direccin de [AB] [AC], es , entonces se puede calcular la medida del volumen del paraleleppedo mencionado antes, teniendo en cuenta que la medida del rea de la base est dada por [AB] [AC] y que la altura, con respecto al plano de la base, est dada por [AD] cos .

Finalmente, teniendo en cuenta que cos = (AB AC) = AB AC)

AD)/ AB AC AD, se puede expresar el volumen del paralelippedo, as: v

AD , o sea, como el valor absoluto del producto mixto entre los vectores [AB], [AC], [AD].

Ejemplos de aplicacin
Se puede aplicar el resultado anterior para resolver problemas como los de los ejemplos siguientes. Ejemplo (1). Hallar el volumen de un tetraedro cuyos vrtices son los puntos A, B, C, D. Solucin: el volumen del tetraedro es igual a 1/3 del volumen de un prisma triangular que tenga como base el tringuloABC y por altura, la distancia desde D al plano de la base. Por otra parte, el volumen del prisma triangular es igual a la mitad del volumen de un paraleleppedo, cuya base es un paralelogramo descomponible en dos tringulos congruentes con ABC. Entonces, la medida del volumen buscado est dada por

v = (1/6)(B - A) (C - A)

(D - A)

Ejemplo (2). Hallar la distancia desde el punto P hasta el plano que contiene a los puntos no colineales A, B, C. Solucin: la distancia buscada es la altura h, (con respecto al plano de A, B, C) del paraleleppedo del cual son aristas concurrentes los segmentos, AB, AC, AP. De modo que si se divide la medida del volumen de dicho paraleleppedo por la medida del rea de la base, se obtiene: h = (B (P A)/(B - A)(C A).

A)(C - A)

Lista completa de artculos del mismo autor, en http://hacmatelem.blogspot.com