1

UNIVERSIDAD CAECE MATEMTICA INTEGRADA

MATERIAL PARA EL AULA: CONSERVACIN DE LA EQUIPOLENCIA
POR PROYECCIN PARALELA
Texto de Csar A. Trejo y Jorge Bosch (1980), reordenado por Jorge Bosch (2002)

NOTA PRELIMINAR. Este apunte tiene contenido y estilos esencialmente didcticos, como para
ser adaptados a la enseanza media, pero las demostraciones se realizan con todo rigor. El profesor
que desee aplicar este material a su trabajo en el aula debe decidir si lo desarrolla ntegramente o si
omite alguna demostracin.
Por brevedad, paralelogramo significar en este texto paralelogramo ordenado.
1. Enunciado del teorema de conservacin de la equipolencia
Sean r y s rectas secantes (Figura 1). Como vamos a considerar proyecciones sobre r segn s ,
llamaremos eje de proyeccin a la recta r , y recta proyectante a la recta s . Consideremos ahora los
vectores equipolentes entre s, AB y CD . O sea que AB # CD . Proyectemos AB sobre r segn s ,
obteniendo A' B ' ; y proyectemos CD sobre r segn s , obteniendo C ' D' . En smbolos, se tiene:
AB # CD

(1)

Siendo p la proyeccin sobre r segn s :

( )
p (CD ) = C ' D '

p AB = A' B'

(2)
(3)

La pregunta que nos planteamos ahora es sta: Resultan equipolentes entre s los vectores A' B ' y
C ' D' ? Como stos son proyecciones de vectores equipolentes, AB y CD , la pregunta puede
reformularse as: Son equipolentes entre s las proyecciones de vectores equipolentes?. O de este
otro modo an: Si se proyectan vectores equipolentes, se obtienen vectores equipolentes?. La
respuesta es afirmativa, y como se trata de un hecho muy importante vale la pena destacarla:
TEOREMA
Sean r y s dos rectas secantes. Si se proyectan sobre r segn
s dos vectores equipolentes entre s se obtienen vectores
equipolentes entre s.
Ss

B
C' D'

rr

A ' B'

Figura 1
Conservacin de la equipolencia por proyeccin paralela
Refirindonos a las frmulas (1), (2) y (3), podemos establecer simblicamente esta propiedad, as:
AB # CD p AB # p CD ,

( ) ( )

2
frmula que se lee as:
AB equipolente a CD implica que la proyeccin de AB es equipolente a la proyeccin
de CD
(sobreentendindose que la proyeccin de que se trata es una proyeccin paralela).
Dicho de otra manera: si se parte de una equipolencia como la frmula (1) y se aplica una
proyeccin paralela, se obtiene una equipolencia: p AB # p CD .
Se ha conservado la equipolencia. Por esto este teorema se expresa en forma abreviada as:

( ) ( )

La proyeccin paralela conserva la equipolencia de vectores.

En la Figura 1 la equipolencia de AB con CD es evidente pues se ha dibujado el correspondiente
paralelogramo. Pero no es tan evidente la equipolencia de A' B ' con C ' D' , sobre todo teniendo en
cuenta que estos vectores han resultado entrelazados. Se recomienda al lector que haga por su
cuenta un dibujo parecido al de la Figura 1 y luego trate de verificar la equipolencia de A' B ' con
C ' D' : para ello deber tratar de construir dos paralelogramos entrelazados; si resulta posible
construir tales paralelogramos, los vectores en cuestin son equipolentes. Se invita al lector a hacer
tambin otros dibujos relativos a este teorema; por ejemplo, de manera tal que los vectores A' B ' y
C ' D' no resulten entrelazados. Pero, por ms que el lector compruebe la validez de esta propiedad
en muchos casos, podr caberle la duda de que en otros casos el vector A' B ' no resulte equipolente
al vector C ' D' . La nica manera de eliminar por completo esta duda consiste en realizar una
demostracin. Si demostramos que de la frmula AB # CD se deduce la frmula p AB # p CD ,
se acabaron las dudas: es imposible que se presente un caso de vectores equipolentes cuyas
proyecciones paralelas no lo sean. Esta validez universal, que abarca a todos los casos posibles
(aunque sean infinitos), es la gran ventaja de las demostraciones. Lamentablemente, a veces ciertas
demostraciones no son muy fciles y por eso se suprimen: pero conviene que el lector sepa que esas
demostraciones existen, y es la existencia de ellas la que nos da la seguridad de que lo que estamos
afirmando es verdadero. Todo enunciado caratulado como TEOREMA requiere una demostracin:
que la ofrezcamos o no depender de las dificultades que esa demostracin presente. Pero el lector
puede tener la conviccin de que, cada vez que se le presenta un enunciado caratulado como
TEOREMA, la demostracin existe aunque no se la ofrezca en el texto.

( ) ( )

La demostracin de este importante teorema sobre conservacin de la equipolencia se obtiene en

varios pasos.
2. Primer paso
Consideremos el caso de la Figura 2: los vectores dados, AB y CD , yacen en rectas paralelas a la
recta proyectante. (Aceptaremos por convencin que si los vectores dados son ambos nulos estn
tambin en este caso).
C

Ss
A ' B'

D
C' D'

rr

Figura 2
Vectores paralelos a la recta proyectante

Partimos entonces de la equipolencia

AB # CD
pero sabiendo que en este caso los vectores en cuestin yacen en rectas paralelas a s . Como puede
apreciarse en la Figura 2, las proyecciones resultan ser vectores nulos. Y entonces, en virtud de la
definicin de equipolencia para vectores colineales, estas proyecciones resultan equipolentes entre
s:
A' B' # C ' D' o sea p AB # p CD
Luego, vemos que en este caso se cumple el enunciado del teorema de conservacin de la
equipolencia.

( ) ( )

3. Segundo paso
Consideremos el caso de la Figura 3: Los vectores dados, AB y CD , son no nulos y yacen en
rectas paralelas al eje de proyeccin.
ss

C
A

ss
A

B
rr

rr
A

A= B

C= D

Figura 3
Vectores paralelos al eje de proyeccin
Partimos de la equipolencia (en ambos casos de la Figura 3):
AB # CD
pero sabiendo que ahora los vectores en cuestin yacen en rectas paralelas a r .
Se ve fcilmente que en este caso cada proyeccin es equipolente al vector que se proyecta, o sea:
A' B ' # AB
y
C ' D' # CD
y como ya sabemos que AB # CD , resulta que A' B' # C ' D' . Luego: p AB # p CD .
Vemos as que tambin en este caso se cumple el enunciado del teorema de conservacin de la
equipolencia.

( ) ( )

Hemos visto dos casos particulares que pueden caracterizarse brevemente as: casos en que los
vectores son ambos paralelos a alguna de las rectas dadas (que incluye el caso en que los vectores
dados son nulos)

4. Tercer paso. Vectores no nulos y no paralelos a r ni a s

Como ya hemos visto en 2 y 3 los casos particulares en que los vectores yacen en rectas paralelas a
alguna de las dadas (incluido el caso de vectores nulos) podemos abordar la situacin en que se
cumple: AB # CD , siendo ambos no nulos y siendo sus rectas de accin no paralelas a r ni a s .
Dentro de esta situacin distinguiremos a su vez tres casos, a los que llamaremos a, b y c , que
iremos demostrando sucesivamente.

Caso a del Tercer paso. (Figura 4). Los vectores dados, AB y CD , no son colineales, y adems la
recta que une los orgenes, AC , no es paralela a r ni a s .

4
Lo que se supone cierto en un teorema se llama hiptesis; aqu tenemos que una parte de la
hiptesis es la siguiente:
AB # CD
y como no son vectores colineales, deducimos que ACDB es paralelogramo.
Se traza por A' la paralela a AC , que corta a CC ' en E ; se traza por B' la paralela a BD , que
corta a DD' en F . Queda as determinado el vector auxiliar EF , que constituye la clave de la
demostracin, pero del cual todava no sabemos ni siquiera si es paralelo a r. Queremos probar que
EF # A' B' ; para ello empezaremos por demostrar que A' E es equipolente a B' F , para lo cual
daremos una vuelta, pasando de A' E a AC , de ste a BD , y de ste a B ' F . Lo hacemos as:
A' E # AC por ser A' ECA paralelogramo, de acuerdo
con el trazado de las rectas que son sus lados.
B
Ss
A

D
C

rr

Figura 4
AC # BD por ser ACDB paralelogramo (pues AB # CD)
BD # B' F por ser BDFB' paralelogramo, de acuerdo con el
trazado de las rectas que son sus lados.
Por transitividad, el primero de estos vectores es equipolente al ltimo, o sea
A' E # B' F ;
luego A' EFB' es paralelogramo, de donde se deduce:
EF // r
(1)
y
A' B' # EF
(2)

De (1) y de las construcciones realizadas se deduce que C ' D' FE es paralelogramo; luego
EF # C ' D' .
(3)
De (2) y (3), por transitividad de la equipolencia, se deduce:
A' B' # C ' D'
que es lo que queramos demostrar. O sea que tambin en este caso los vectores equipolentes AB y
CD tienen proyecciones equipolentes A' B' y C ' D'
Caso b del Tercer paso. (Figura 5). Los vectores dados, AB y CD , son colineales. Como adems
estamos suponiendo, a lo largo de toda este Tercer paso, que los vectores dados son no nulos y que
estn en rectas de accin no paralelas a r ni a s , tomamos estos vectores colineales de la Figura 5
de modo que no sean paralelos a r ni a s .

ss

B
A

F
E
A

rr
D

Figura 5
Trazamos por A una recta distinta de AC y que no sea paralela a r ni a s ; esta recta corta a CC '
en E (Por qu?). Por E trazamos la paralela a CD y obtenemos el paralelogramo EFDC .
Entonces:
CD # EF
(4)
Pero por hiptesis es
AB # CD
(5)
De (5) y (4) se deduce, por transitividad:
AB # EF
Luego los vectores AB y EF estn en las condiciones del Caso a, y entonces sus proyecciones son
equipolentes (en virtud de que el Caso a ya ha sido demostrado), es decir:
A' B' # C ' D'
que es lo que queramos demostrar.
Caso c del Tercer paso. (Figura 6 a y b). Los vectores dados, AB y CD , no son colineales pero la
recta que une sus orgenes, AC , es paralela a r o a s .
Tenemos por hiptesis, como siempre:
AB # CD
(6)
Si la recta que une los orgenes, AC , es paralela a la recta proyectante s , como en la Figura 6b, las
proyecciones A' B' y C ' D' son equipolentes porque coinciden (recordar la reflexividad de la
equipolencia). Pasamos entonces a examinar el caso en que la recta AC es paralela al eje de
proyeccin, r . (Figura 6a).
En la paralela a s por C se elige otro punto, E , que no est alineado con A y B .
Se traza por E la paralela a CD , que determina el punto F como indica la figura.
Queda determinado el vector EF , cuya proyeccin es tambin C ' D' .
D
C

F
Ss

Ss

D
B

rr

rr
A

A=C

Figura 6

B=D

Por construccin, CDFE es paralelogramo, luego

CD # EF .
(7)
De (6) y (7), por transitividad:
AB # EF .
Entonces los vectores AB y EF estn en las condiciones del Caso a, que ya ha sido demostrado.
Luego, sus proyecciones son equipolentes, o sea:
A' B' # C ' D' ,
que es lo que queramos demostrar.
Observacin: Faltara un detalle, a saber, aclarar qu sucede si los vectores equipolentes AB y CD
(nulos o no) coinciden. Haga el lector la figura: se ver que, si A = C y B = D , entonces
A' = C ' y B' = D' . Luego, las proyecciones A' B' y C ' D' tambin coinciden, y por la reflexividad de

la equipolencia se tiene: A' B' # C ' D' .

Con esto queda probado el teorema de conservacin de la equipolencia por proyeccin paralela, en
todos los casos.
5. Ejercicios
( i ) Sean r y t rectas paralelas, o sea r // t , sea s una secante a ambas, y sean AB y CD vectores
equipolentes, es decir AB # CD . Proyectemos AB sobre r segn s y llamemos A' B' al vector as
obtenido; proyectemos CD sobre t segn s y llamemos C ' D' al vector as obtenido. Hacer la
figura y demostrar que A' B' # C ' D' .
( ii ) Dadas r y s secantes, dibujar dos vectores AB y CD que no sean equipolentes entre s, pero
cuyas proyecciones sobre r segn s resulten equipolentes entre s.
( iii ) Dadas r y s secantes, dibujar sobre r dos vectores no nulos AB y CD , equipolentes entre s.
Cules son sus proyecciones sobre r segn s ? Son equipolentes entre s estas proyecciones?
Por qu? Qu se puede decir de sus proyecciones sobre s segn r ?
( iv) Demostrar que, si AB # BC , los puntos A, B y C estn alineados. Indicacin: Si AB es nulo,
el resultado es obvio. Si AB no es nulo, suponer que C no pertenece a la recta AB y considerar las
proyecciones sobre AB segn una recta secante cualquiera.
( v ) Sean u, v, w , rectas paralelas entre s, es decir: u // v // w , y sea s una secante. Tomemos un
vector AB y llamemos A' B' a su proyeccin sobre u segn s , llamemos A' ' B ' ' a su proyeccin
sobre v segn s , y A' ' ' B' ' ' a su proyeccin sobre w segn s . Qu se puede decir de
A' B ', A' ' B' ' y A' ' ' B ' ' ' ? Justificar la respuesta.
( vi ) Realizar las proyecciones sobre r segn s de los vectores AB y CD indicados en la figura, y
comprobar, mediante la construccin de adecuados paralelogramos, que dichas proyecciones son
equipolentes entre s. (Lo mismo para las dos figuras).

ss

A
C

B
D
rr

ss

D
er

( vii ) En la figura siguiente, qu se puede afirmar de los vectores OA y AB , y por qu?

O
A
B

APLICACIONES GEOMTRICAS
(1) Propiedad combinatoria de la equipolencia
Veamos ante toda una propiedad combinatoria muy sencilla en el caso de vectores equipolentes no
alineados (y por tanto no nulos).
Sea:
AB # CD (1)
siendo estos vectores no alineados (y por tanto no nulos; ver Figura 7).
B
A

D
C

Figura 7
En virtud de las hiptesis que acabamos de establecer (vectores equipolentes no alineados)
ABDC es un paralelogramo. Fijmonos ahora en los vectores AC y BD : cmo son? Son
tambin equipolentes, pues ACDB es paralelogramo! Es decir
AC # BD
(2)
Se ve entonces que de la frmula (1) se deduce la frmula (2); o sea que la frmula (1) implica la
frmula (2). Esta implicacin se escribe as:
AB # CD AC # BD
(3)
La implicacin (3) constituye una propiedad combinatoria de la equipolencia, porque para pasar del
antecedente al consecuente (es decir, para pasar de la frmula (1) a la frmula (2) hay que combinar
las mismas letras de otra manera. La cuestin es ver ahora si la misma propiedad combinatoria (3)
contina valiendo en el caso en que los vectores dados sean colineales. Tomemos, pues, dos
vectores en estas condiciones y que sean no nulos. Tal como muestra la Figura 8.

8
E

rr
A

Figura 8
Suponemos como antes
AB # CD
(4)
Tenemos que aplicar la definicin de equipolencia para vectores no colineales. Como hemos
supuesto que nuestros vectores AB y CD no son nulos, debe existir un tercer vector, EF , no

colineal con ellos y equipolente a ambos. Por ser EF equipolente a AB y a CD , existen los
paralelogramos indicados en la figura. Considerando el paralelogramo ECDF se obtiene la
equipolencia:
EC # FD
(5)
Proyectemos estos dos vectores sobre r segn la recta EA . Veamos:
Trazando paralelas a EA y cortando con r , se obtiene que
E se proyecta en A
AC es proyeccin de EC
C se proyecta en C
F se proyecta en B
BD es proyeccin de FD
D se proyecta en D
Entonces, llamando p a la funcin proyeccin se tiene:

( )

p EC = AC

( )

p FD = BD

Como EC es equipolente a FD en virtud de (5), la conservacin de la equipolencia por proyeccin

paralela nos permite escribir que
AC # BD
(6)
De (4) hemos deducido (6); luego, vale la implicacin:
AB # CD AC # BD ,
y sta es la misma propiedad combinatoria establecida por la frmula (3), aplicada ahora a vectores
colineales y no nulos. Finalmente, si AB y CD son ambos nulos (y por tanto equipolentes entre s),
puede ver el lector, haciendo una figura, que el vector AC resulta el mismo que el vector BD ;
luego, AC # BD y entonces tambin en este caso se cumple la propiedad combinatoria de la
equipolencia. Queda as demostrada esta propiedad en todos los casos posibles.
(2) Punto medio

DEFINICIN
Se dice que M es punto medio del vector AB si AM # MB

Se puede demostrar que, si AB es no nulo, el punto medio M pertenece a la recta AB (Figura 9a).
Para efectuar esta demostracin conviene tener en cuenta el ejercicio (iv) de 5. Tambin se puede
probar que, si AB no es nulo, M es distinto de A y de B .
A=B=M

B
M
A

Figura 9b

Figura 9a

Es evidente que M es tambin punto medio del vector BA , ya que se puede demostrar que
BM # MA . Si el vector AB es nulo, ello quiere decir que A = B (los puntos A y B coinciden). En
tal caso el punto medio M tambin coincide con A pues (Figura 9b) se tiene: AM # MB (ambos
nulos).

DEFINICIN
Si M es punto medio de AB , cada uno de los vectores AM y MB se llama
mitad de AB ; AM es la primera mitad de AB , y MB es la segunda
ATENCIN: M es punto medio de AB y de BA ; pero AM es mitad de AB y no es mitad de BA .
Las mitades de BA son BM y MA . (Coinciden con las de AB slo si ste es nulo).
No es conveniente, a esta altura de los conocimientos, introducir en la mente de los alumnos dudas
acerca de la existencia y de la unicidad del punto medio. En otra nota para profesores se har una
exposicin detallada de esta delicada cuestin axiomtica. En lo que sigue aceptaremos
implcitamente que el punto medio existe y es nico.
Ya vimos que la proyeccin paralela conserva la equipolencia: conservar tambin el punto
medio?. Investiguemos: en la Figura 10 se ha llamado M al punto medio de AB . Proyectemos
sobre r segn s : se obtienen el vector A' B' y el punto M ' . Es M ' punto medio de A' B ' ?
B

ss
A
rr
A

Figura 10
Conservacin del punto medio por proyeccin paralela
Veamos:

10
AM # MB por ser M punto medio de AB .
Luego, como la proyeccin paralela conserva la equipolencia, se tiene:
A' M ' # M ' B'
y entonces, por definicin de punto medio, M ' es punto medio de A' B' . En consecuencia hemos
demostrado lo siguiente:

Si M es punto medio de AB , y si M ' , A' , B' son las respectivas

proyecciones de M , A y B sobre r segn s , entonces M ' es punto medio
de A' B'

Dicho ms brevemente:

La proyeccin paralela conserva los puntos medios.

Ahora estamos en condiciones de emprender la construccin del punto medio de un vector fijo. Si el
vector dado es nulo el punto medio queda automticamente marcado, segn se vio en la Figura 9b.
Si el vector dado AB es no nulo se procede como indica la Figura 11. Se toma un punto H que no
pertenezca a la recta AB y queda as determinado el vector no nulo AH . Se construye a
continuacin el vector HK equipolente a AH , es decir AH # HK , cosa que sabemos hacer.
Entonces H es punto medio de AK (por definicin de punto medio). Se traza la recta BK y se
proyecta todo sobre la recta AB segn BK .
K
H
M
A

Figura 11
A se proyecta en A
AK se proyecta en AB
K se proyecta en B
H se proyecta en M

Como la proyeccin paralela conserva los puntos medios y H es punto medio de AK , resulta que
M es punto medio de AB . Queda as construido el punto medio del vector AB .
Observacin sutil: Pudimos trazar la recta KB y proyectar todo segn ella sobre AB , gracias a que
K no coincidi con A . Y cmo estamos seguros de que K no puede coincidir con A ?. Estamos
seguros porque esto puede demostrarse a partir de un postulado de existencia y unicidad del punto
medio, que no hemos establecido en forma explcita. La cuestin se aclara en forma completa en
una Nota para profesores.
(3) Diagonales de un paralelogramo

11

Llamamos rectas diagonales de un paralelogramo a las que unen vrtices que no pertenecen a un
mismo lado. As, por ejemplo, en la Figura 12 la recta AC es diagonal porque une los vrtices
A y C , que no pertenecen a un mismo lado del paralelogramo ABCD . La recta BD tambin es
diagonal, y no hay ninguna otra diagonal. La recta diagonal AC da lugar a dos vectores diagonales:
AC y CA ; y la recta diagonal BD da lugar a otros dos vectores diagonales: BD y DB . Ms
formalmente: se llama vector diagonal del paralelogramo ABCD a todo vector determinado por dos
vrtices del paralelogramo que no pertenezcan a un mismo lado. Es intuitivamente evidente que las
rectas diagonales de un paralel*ogramo siempre se cortan (o sea que son secantes) pero la
demostracin de este hecho es delicada y por eso la omitimos. Tambin habr una nota especial
para profesores al respecto. Aceptemos, pues, que las rectas diagonales AC y BD se cortan en el
punto M . Demostraremos que este punto M es punto medio de los vectores diagonales; es decir
que M es punto medio de los vectores AC y BD , de lo cual se deduce que M es tambin punto

medio de CA y DB . Cmo demostramos que M es punto medio del vector diagonal AC ?

Veamos:
D
A
M

C
B

Figura 12
Llamemos M al punto de interseccin de las rectas diagonales. Sabemos que, por definicin de
equipolencia, es AB # DC . SI proyectamos estos vectores sobre AC segn la recta BD ,
obtenemos vectores equipolentes.

A se proyecta en A
AB se proyecta en AM
B se proyecta en M

.
Luego AM # MC
D se proyecta en M

DC se proyecta en MC
C se proyecta en C

Y entonces, por definicin de punto medio, M es punto medio de AC . En forma anloga se

prueba que M es punto medio de BD . Queda automticamente probado que M es punto medio de
CA y de DB , porque los vectores recprocos entre s tienen el mismo punto medio.
Pregunta: Si nos presentan la situacin recproca, a saber, que las rectas AC y BD se cortan en el
punto medio de los vectores AC y BD , podemos asegurar que aquellas rectas son diagonales de un
paralelogramo ABCD ? La respuesta es afirmativa y expondremos la demostracin usando
elementos de lgebra vectorial correspondientes al Captulo 1. Sean (ver Figura 12):
AM # MC
y
BM # MD
(1)
Construyamos:
BM ' # MC
y AM ' ' # MD
(2)
De estas equipolencias se deduce, por definicin de suma:

12
BM + BM ' = BC

AM + AM ' ' = AD

(3)

De (1) y (2) se deduce:

(4)
BM # A' M ' ' y BM ' # AM
De (3) y (4), aplicando a la traslacin TAB el Teorema 9 de 1.4., se deduce:
BC # AD ,
y en consecuencia ABCD es un paralelogramo, como queramos demostrar.
M
A

D
M

C
M

Figura 12
(4) Base media de un tringulo
Dados tres puntos no alineados A, B, C (Figura 13) se llama tringulo ABC a la figura formada por
las rectas AB, BC y CA . Estas rectas se llamas lados del tringulo, o bien rectas laterales del
mismo. Se llaman lados vectoriales del tringulo ABC los vectores.
AB, BA, BC , CB, AC y CA
Los puntos A, B y C se llaman vrtices del tringulo ABC .
C
M

A
L

Figura 13
DEFINICIN
Sea ABC un tringulo y sean M y N los puntos medios de CA y CB
respectivamente. (ver figura 13). Se llama base media vectorial
correspondiente al lado vectorial AB , en el tringulo ABC , al vector MN
Obsrvese que, de acuerdo con esta definicin, la base media vectorial correspondiente al lado
vectorial BA es el vector NM . Anlogamente, la base media vectorial correspondiente a CA es
NL (pues demostraremos que L es punto medio de AB ), y la base media vectorial correspondiente
a AC es LN . Queda para el lector la tarea de dibujar y establecer las bases medias vectoriales
correspondientes a CB y BC .

TEOREMA

13
En todo tringulo, cada base media vectorial es equipolente a una mitad
del lado vectorial correspondiente.

Nos referiremos a la Figura 13. Hagamos de cuenta que tenemos solamente los puntos A, B, C y las
rectas determinadas por ellos. Construyamos el punto medio M y consideremos
el vector CA y su punto medio M ;
Proyectemos sobre la recta BC segn la recta AB . Se obtienen, en virtud de la conservacin del
punto medio:
el vector CB y su punto medio N
de donde se deduce ya que
MN es base media correspondiente al lado vectorial AB .
Proyectemos CB y su punto medio N sobre AB segn la recta AC . Se obtienen, por la
conservacin del punto medio:
el vector AB y su punto medio L .
Luego,
AL es una mitad de AB .
(1)
Pero al proyectar M sobre N (paralelamente a AB ) se ha trazado
MN // AB
(2)
y al proyectar N sobre L (paralelamente a AC ) se ha trazado
NL // AC
(3)
De (2) y (3) surge que ALNM es paralelogramo; luego
MN # AL
(4)
y como AL es una mitad de AB en virtud de (1), y MN es base media segn hemos demostrado,
la frmula (4) prueba que la base media vectorial MN es equipolente a una mitad del lado vectorial
correspondiente, tal como desebamos demostrar.
Obsrvese que la equipolencia (4), como toda equipolencia entre vectores no nulos, implica que los
vectores en cuestin son paralelos y, desde el punto de vista intuitivo, son superponibles: si se
pudiera trasladar fsicamente el vector MN sobre la recta AB se vera que puede hacerse coincidir
con AL . Con el lenguaje ms tcnico de 1.4. se puede decir que AL es el trasladado de MN al
punto A .
Se puede demostrar tambin el teorema llamado recproco del anterior, a saber:
Si M y N son puntos de las rectas AC y BC respectivamente, y si MN es equipolente a una
mitad de AB , entonces MN es la base media vectorial de ABC correspondiente al lado vectorial
AB .