ALGEBRA VECTORIAL Y GEOMETRIA EUCLIDIANA

JOSE ALONSO SALAZAR CAICEDO

Trqbajo presentado como requisito

parcial para o b t e n e r la promoción a

profesor asociado.

UNIVERSIDAD NACIONAL DE COLOMBIA

SECCIONAL M A N IZALES
FACULTAD DE CIENCIAS Y ADMINISTRACION
1992
 i

% 1. INTRODUCCION

L a s leyes del Algebra V e c t o r i a l asociadas a l c o n j u n t o de los s e g m e n t o s

dirigidos del plano ( o del e s p a c i o ) , en conexión con u n p r o d u c t o i n t e r i o r ,

p e r m i t e n d e m o s t r a r una g r a n v a r i e d a d d e proposiciones y t e o r e m a s de [a

G e o m e t r í a Clásica Euclidiana, utilizando procedimientos y técnicas

relativamente simples.

Desde u n p u n t o de v i s t a d i d á c t i c o y p e d a g ó g i c o , surge el p r o b l e m a d e

e x a m i n a r h a s t a c¡ué p u n t o es posible r e c u p e r a r g r a n p a r t e d e l a r s e n a l

d e ideas - f r u c t í f e r a s que p r o p o r c i o n a b a n a o t r a s g e n e r a c i o n e s textos

de G e o m e t r í a M é t r i c a y q u e hoy por hoy se h a l l a n s e p u l t a d o s b a j o los

e s c o m b r o s de la l l a m a d a "Matemática Moderna'1 .

En las p á g i n a s g u e s i g u e n m o s t r a m o s a t r a v é s de u n e j e m p l o - l a carac-

t e r i z a c i ó n V e c t o r i a l d e l O r t o c e n t r o d e un t r i á n g u l o — g u e es p o s i b l e

escoger u n s e n d e r o , e n t r e los m ú l t i p l e s e x i s t e n t e s , q u e i l u m i n a d e

manera s i m u l t á n e a varios aspectos de una m i s m a s i t u a c i ó n , a l t i e m p o

g u e nos c o n e c t a con u n a r a m a f a s c i n a n t e de la M a t e m á t i c a : £1 A n á -

lisis Vectorial.
 u

PRELIMINARES

A s u m i r e m o s por p a r t e del l e c t o r , conocidas las propiedades e s e n c i a l e s de

las operaciones suma y m u l t i p l i c a c i ó n por u n e s c a l a r en el c o n t e n t o d e l

A l g e b r a V e c t o r i a l . S i n e m b a r g o , h a r e m o s un l i s t a d o d e ellas c o n el p r o -

p ó s i t o d e u n i f i c a r la t e r m i n o l o g í a y la n o t a c i o n u t i l i z a d a s a lo l a r g o del

artículo.

U n v e c t o r en el p l a n o se r e p r e s e n t a m e d i a n t e un s e g m e n t o d i r i g i d o (Fig.1).

Figfl)

i
U n v e c t o r de origen A y e x t r e m o B se s i m b o l i z a por A B , y cuando no

es necesario e s p e c i f i c a r los p u n t o s A ^ B por rri u o t r a l e t r a m i n ú s c u l a

olel a l f a b e t o c a s t e l l a n o con s u c o r r e s p o n d i e n t e f l e c h a e n c i m a .
 iii

La longitud, módulo o n o r m a del vector m coincide c o n la l o n g i t u d del

s e g m e n t o A8 de la g e o m e t r í a a n a l / t i c a y se d e s i g n a por | A B Í ó lc|.

S i A y B son de c o o r d e n a d a s , y<) , , y*), i-espectivamente,

r e s u l t a claro que

i ÁB ) = (ATcf + ÍA-yf

- (xz-xi f + (ijz-yi)2

= Icl2.

El Sentido d e l v e c t o r AB es el de A h a c i a B y s u dirección v i e n e
i n d i c a d a por el á n g u l o de i n c l i n a c i ó n -J2_ d e la r e c t a q u e p a s a p o r los

puntos A y B.

Igualdad. Dos v e c t o r e s A B y CD s o n i g u a l e s Si c o i n c i d e n e n l o n g i -
t u d , s e n t i d o y d i r e c c i ó n . E n t a l caso los p u n t o s A , B , C y D s o n los

vértices de u n p a r a l e l o c j r a m o (Fig.2).

Fig.(2)
 iv

D a d o u n vector A B en el plano existe u n ónico v e c t o r O C igual al vector

A B t a l que el punto 0 coincide con el o r i g e n óe c o o r d e n a d a s . E s t a c a r a c -

terística f u n d a m e n t a l permite efectuar l a t r a d u c c i ó n analítica, Cfig.3)

ÁB = OC
= "c

= (x.y)

Diremos que OC = c es el v e c t o r posición a s o c i a d o a l v e c t o r Á S .

Aquí I c I 2 = X2- + y z , t a n = -y / x , x ^ o.

Suma. Dados dos v e c t o r e s AB y EF , s i e m p r e es p o s i b l e c o l o c a r l o s

de t a l f o r m a cjue el o r i g e n d e u n o d e e l l o s coincida c o n el e x t r e m o del

otro (Fig.4)
 V

Fig. (4)

E n t a l caso de-finimos la s u m a de A B y E F por

^B + EF = ÁB + BF'

= Á F

D e o t r o l a d o si A § = "c « ( x . y ) ; AF' = ( y ' ) = "3 , u s a n d o

hechos d e la g e o m e t r í a e l e m e n t a l resulta

c-t-cl — (x + x\ y + y')
= 3" + c ,

Como t a m b i é n es p o s i b l e l l e v a r los v e c t o r e s AB y EF a un origen

común A la s u m a v e c t o r i a l no eS o t r a c o s a q u e l a c o n o c i d a "Ley

del Paralelogramo11.
 vi

Multiplicación por un escalar. D a d o s el v e c t o r c y el e s c a l a r ~K

(número real) definimos Xc como el v e c t o r c u y a l o n g i t u d es l"Xl

veces la l o n g i t u d d e C y c u y o s e n t i d o es i g u a l u o p u e s t o a l d e C

según sea \ > o o' A<0 ( Fig. 5 ) . Los v e c t o r e s C y Xc t i e n e n la

misma dirección si X ^ O (son paralelos).

De la f i g . se desprende que Xc = ( X x , .

<m ^ —^

Dados los v e c t o r e s C - (x,tf), d = ( y'), e =• C X M , y ) y los esca-

lares 0£. , J3 , son v á l i d a s l a s leyes v e c t o r i a l e s

(Si) c + el =• cí + c C c o n m u t a t i v i d a d p a r a la s u m a )

(S2.) (c + d ) + e = "c+(d+~e) (asociatividad)

(53) Existe un vector t a l que c + Í7 =: ^ p a r a t o d o v e c t o r ~c.

(54) Para c a d a C hav u n v e c t o r lu t a l que c + co - K¡

 vii

Es f á c i l constatar c|ue Jj = ( 0 , 0 ) y u> = í - X , - i / ) ; es el v e c -

t o r nulo y a d o p t a m o s el c o n v e n i o o¡ue q carece d e d i r e c c i ó n y s e n -

tido ; uü es e l opuesto del v e c t o r ~C .

(Mi) 06 ( Z + cí ) ~ OLc + a c í ( d i s t r i b u í i v i o l a d r e s p e c t o a ¡a suma

vectona I ).

(M2) (OC + J3 ) C — OCc + fìc ( d i s t r i b u t ì v i d a d r e s p e c t o a la

Suma e s c a l a r ) .

(ivb) (OLji) c = a í j 3 c ) = J3(ac) íasociatividad respecto de

la m u l t i p l i c a c i ó n escalar ) .

ClVU) 1c = C .

L
d c

Y' Y

-e-jy'

X1 0 X

Fig.(6)

E l ángulo -9- e n t r e dos v e c t o r e s ~c y d (de origen común O ) viene

dado por la expresión (Fig. 6 )

x x 1 "i- y t f
eos -e- =
( x 1 + ^)i/z(%,z + y 1
) V z
 vii i

q u e se o b t i e n e d e la identidad

C o S (<j>i - 4>Z ) = Cos COS <4>Z + S e n S e n 4>z

El n u m e r a d o r d e ( * ) es e l producto interior, producto escalar o

producto punto de los v e c t o r e s c y d y se n o t a por

c - d = XX' + yy

El p r o d u c t o e s c a l a r g o z a d e l a s s i g u i e n t e s p r o p i e d a d e s :

(Ei) c d = lcll3lCos-e-

(Ez) c -d - d • c (conmutatividad )

(E3) c C3 + e ) = c • d + "c-"e (distribuí ividad )

(E4) c(ot3) = QL(c-d) = c ( a d ) (homogeneidad)

(Es) c •d 4 Iclldl ( Cauchy - Schwartz).

Obse'rvese que Ic\2 ~ ~c -~c

Diremos que c y d son perpendiculares s i -©- = jr/2 . Por

e s o ~c es p e r p e n d i c u l a r a ol s i y s o l o s i "c - d = 0

D i r e m o s q u e ~C e s p a r a l e l o a d si hay u n e s c a l a r J3 ^ o tal que

c = (-e = o o' -6- = j t , pues Cos - © - = • - i ).

 ix

De dos vectores c y ol no paralelos y p e r t e n e c i e n t e s al p l a n o c a r -

tesiano OX.y diremos que f o r m a n una base p a r a e l p l a n o . E n lo

sucesivo haremos énfasis en el

TEOREMA i . Si Z y "3 f o r m a n u n a b a s e p a r a el p l a n o y e es

cualquier v e c t o r no nulo entonces existen escalares , J^t. , no

simultáneamente nulos tales que

e = iC + J X z d

Dicho de o t r o m o d o ; e es u n a c o m b i n a c i ó n l i n e a l d e los v e c t o r e s

C y "3.

TEOREMA 2. Supóngase que C y cí f o r m a n una base y c^ue

a d e m a s se s a t i s f a c e la i g u a l d a d vectorial

entonces

= JA a. = O

L a base c a n ó n i c a p a r a el p l a n o e s t á f o r m a d a por los vectores

t = H,0) ; j — C0,0 y , vale la descomposición (Fig.7)

 %

(% t y) = (%,o) + (o,•y)
= % (1,0) + y(o(1)

= xí + y f

L o s conceptos y proposiciones precedentes se g e n e r a l i z a n sin d i f i -

cultad al e s p a c i o e u c l i d i a n o t r i d i m e n s i o n a l . No o b s t a n t e , es b u e n o

o b s e r v a r que l a d i r e c c i o ' n d e u n v e c t o r e s t á d e t e r m i n a d a p o r d o s á n -

gulos d i r e c t o r e s c u a l e s q u i e r a d e los t r e s p o s i b l e s . ( F i q . 8 )
 xt

Ue t r e s vectores no nulos y n o c o p l a n a r i o s del e s p a c i o - t r i d i m e n s i o -

nal a i r e m o s que f o r m a n u n a b a s e . Los vectores ' l = (4,0,0)J -

(0,-1,0); k = (0,0/1), f o r m a n la b a s e c a n ó n i c a . S u b s i s t e n " t e o r e m a s a n á -

logos a los e n u n c i a d o s a n t e r i o r m e n t e y ademas conviene r e s a l t a r :

TEOREMA 3. Si C, d y f son vectores coplanares y C n o es

paralelo a d, entonces f se puede e s c r i b i r como una c o m b i n a c i ó n

lineal d e c y d , i. e . e x i s t e n e s c a l a r e s , JA?, t a l e s que

f = + .

Dados los v e c t o r e s C - , d = f x ' ^ ' . z 1 ) , e l producto

vectorial d e C y d ( e n ese o r d e n ) es el v e c t o r e^ d a d o por l a - f ó r -

mula

VS A A.
1 k
J
C X d — X Z
y
y Z1

A X z A X y
x
V 1 - J +
y ^ X' T: x y

~j producto v e c t o r i a l (cruz o externo) obedece a las siguientes

reglas :
 xii

=
(Vi) c x d O si y solo si c y d son paralelos

(V2) C * 3 =-oí x ~c (anticonmutatividad )

(V3) Oí ( c x 3T) = Q¿c x d ^ c x OLd (homogeneidad )

(V4) c*x(d+f) = cxd + (distriJoutividad)

2 2
(V5) | a x £ T = ISiNtí - (a-£) (Lagrange)

(Ve) c x d

es perpendicular al plano f o r m a d o por C y d , i.e.

( e x d)-C = 0 , ( c x d )• d = O
D e C Vs) se i n f i e r e

le x 3 ! = \t\IcN Sen-0-

lo cual quiere decir que | cTx cf ¡ r e p r e s e n t a el área del p a r a l e l o -

gramo -formado por C y d (Fig.9)

C c

Fig.(9)

El producto m i x t o délos vectores "(T = ( t C , x ¡ j . z ) ; d = C^c\lj\x,);

f = ( tC\ - e n ese o r d e n - es el n ú m e r o r e a l ( c x d ) ' f ,

 XtU

d a d o p o r el d e t e r m i n a n t e

x y Z.

(t * 3)-f = X1 lj' 21'

** y" x'1

E s c o n v e n i e n t e d e s t a c a r el c a r á c t e r cíclico del producto mixto asi,

( c x d }•? = ( d x f ) - c = (f xc)-d .

U n a de las o p e r a c i o n e s más i m p o r t a n t e s del a n á l i s i s v e c t o r i a l

lo j u e g a el producto

C X ( ^ Í ) = (c-?)d - Cc-3)? ,

llamado oloble (o t r i p l e ) producto vectorial.

Claramente c x ( d x f ) ^ ( c x d l ^ f ( en g e n e r a l )

pues,

( c x d ) x f = - £ ? x ( * x d)}

= - £ C f - d ) c - (?• c }

= (f c ) d - ( ? d ) t
 i

§ 2. D I V I S I O N DE U N S E G M E N T O EN UNA R A Z O N DADA

S e a n O, A , B t r e s p u n t o s no a l i n e a d o s del espacio tridimensional.

U n p r o b l e m a clásico de ¡a G e o m e t r í a E l e m e n t a ! , consiste en d e t e r m i n a r

un punto P p e r t e n e c i e n t e a l a línea c¡ue p a s a p o r A y B , de t a l s u e r t e

o)ue :

d o n d e AP_y PB son las d i s t a n c i a s d i r i g i d a s d e s d e A h a c i a P y d e s d e P

hacia B respectivamente.

Si 0 coincide con el o r i g e n del s i s t e m a c o o r d e n a d o — g u e s u p o n e m o s

cartesiano — y a , ~r, lo , son los v e c t o r e s p o s i c i ó n correspondientes

a los puntos A, P( B, respectivamente, la r e l a c i ó n ( 1 ) se v e r i f i c a

s e g ú n la i g u a l d a d vectorial
 z

ÁP = XPB

r - a = >(b -"r )

r - a = Xb - Xr

7 - a + x b (X ^ -1)
1 + x

_ moi ± nb ( m -n ) (2)
m + n

Obsérvese Cjue X es positivo si los puntos A , P , B soportan la rela-

ción de s e p a r a c i ó n A - P - B , como e n la -fie). ) . D e otro m o d o "X

es n e g a t i v o . Si X = 1 , P es el p u n t o m e d i o del s e g m e n t o AB.

3 3. CARACTERIZACION DEL ORTOCENTRO DE UN TRIANGULO OAB

Consideremos ahora el triángulo OAB . (Figs. 2.1 y 2.2)

S e a P el p i e d e l a perpendicular bajada desde O al lado AB y

n o t e m o s por Á B = b - a = t . Para l a f i g . ( 2 . 1 ) y ^ - c < o ,

pero p u e d e n p r e s e n t a r s e o t r a s p o s i b i l i d a d e s .( Fig. 2 . 2 )
 3

Resulta :

AP _ | 3 I Cosa _ l a i l e i Cos oc _ __ a-e

PB iìoJ C o s | £ l l ? I C o s J * b-c

y por e n d e , t e n i e n d o e n m e n t e ( 1 ) y (2.) '.

rP =
(S-c )3 - (cí-£)b
LT
b -c - a •t

c x ( a x H" )
c- ( £ - 5 )

cT A ( a xÉ )
(4)

De m a n e r a a n á l o g a , si Q y T son los pies d é l a s o t r a s d o s perpendi-

culares ( Figs. 3 . 1 y 3.2)

 4

Los vectores p o s i c i ó n a s o c i a d o s son, r e s p e c t i v a m e n t e ,

? — X ( C X-3) - É x (a x & ) { n 1
z j
^ - r w " isi

__ a x C-"c X -lo } a X ( a xfc) ,r \

Ct - 1 J
- ¡SI* " Í 3 F

Nuestro propósito c e n t r a l es c a r a c t e r i z a r el p u n t o H d e i n t e r s e c c i ó n

d e las a l t u r a s O P y AGt, , del t r i á n g u l o O A B , desde un p u n t o d e

vista vectorial. (Fig.4)

Fig.(4)

D a d o q u e los v e c t o r e s fp y r^ e s t á n l o c a l i z a d o s en el p l a n o f o r m a d o

por a y b , e x i s t e n e s c a l a r e s OCa , 0Cz , no s i m u l t á n e a m e n t e nulos,

tales que
 oc-i Pp + ocz r ^ = a

que corresponde a la suma vectorial derivada del triángulo O A H

Al s u s t i t u i r (4) y (5) en (7), obtenemos

{ .1 c r
O

Lo cual da origen ai s i s t e m a ole ecuaciones lineales

c b a-i - ocz •&. 1

Icl2
-y
c-a 0C1 + b-a 0f2 = 0
1
Icl P
V.

l l determinante del sistema (9) es

c-b

A le
-c-a

a • a a • b

cr |b
b- b
 r ( a , jo) /.
isi 2
n

'
(10)

donde f (a,ET) denota el d e t e r m i n a n t e de G R A M . (Observación 1 )

Del sistema es claro o¡ue

-1

a • b
A a i
a b i£l2
(11)
o
lì?

En consecuencia, la incognita Odi viene d a d a por

Aoc-i __ l c f l 2 a - l o
OCi = (12)
A r(3,£)

Por últ imo, el vector OH está representado porla -formula vectorial

oh = oci T> = h P ,

Esto e s ,

(13)

2
OBSERVACION 1 : r ( a / £ ) - lalMSì - = (a x £ ) \
 7

es la c o n o c i d a i d e n t i d a d d e L a g r a n g e ; por e s o u n a f ó r m u l a más

c a r a c t e r í s t i c a , e n v i r t u d d e la s i m e t r í a y d e l a c o n j u g a c i ó n d e i o s

productos básicos del Alg-ebra V e c t o r i a l la proporciona la igual-

dad vectorial

a • b
ex ( Í X Í ) (14)
la X £ls

O B S E R V A C I O N 2 i Los vectores r^ , ~Tp son no co linea les e n vir-

tud de la a f i r m a c i ó n

fe, X fp ^ 0

En efecto,

I
Ta A r,
q X -P - - ¡ p í l 12

donde 01= a X b .

Utilizando de m a n e r a adecuada las i d e n t i d a d e s v e c t o r i a l e s , la

expresión entre llaves puede f á c i l m e n t e reducirse ai vector :

 8

por consiguiente,

r — r fa.É") J -zL 0
2 d
* ~ lei " ^

( c . t>. (10), (11), ( 1 2 ) )

P R O P O S I C I O N 1. E n t o d o t r i á n g u l o O A B las a l t u r a s O P , A Q ,

3?, se c o r t a n en un ú n i c o p u n t o H (el O r t o c e n t r o d e l t r i á n g u l o ) .

•—w
C

Fig.(S)

Hemos visto que OP , e n c u e n t r a a AQ e n H . S u p o n g a m o s que BT

i n t e r s e c t a a OP en un p u n t o H' ^ H . CFig.5 )

C a l c u l e m o s e n p r i m e r t é r m i n o el v e c t o r BH* a la luz: d e l a f ó r m u l a
 9

(14) y ole loi correspondencia.

a <r

c f -> + a

Lueao

BH' = ' ' f i ' t F (3)x(-£x(-?))

I bXCI

ib x el

= _ Í l r - a ) í ( a ^ ) (16)
(3

A continuación, introduzcamos las designaciones

a -IT — *, b • c" == X2. ; — J — — — , a oi

2
lax^l

y hallemos la d i f e r e n c i a

O H ~~ B H ' - ^ D i C c x c O - A z f ó x S í ) }

= ÍXic - A z a ) X cí
 10

Pero

X
Ai c - Aza = b x ( c x a ) = b ( b x a ) = - b x d

d xb.

Por eso,

1
OH-BH = " X 3 Í 3 x b ) x d /

= - (3-"3) b]
= b (!) (17)

Esto es,

OH - BH* = OB

OH - OB = BH'

BH = BH1

H = H* (absurdo) (18)

[ A estas a l t u r a s el lector s e g u r a m e n t e sentirá nostalgia por la

b e l l a \¡ e l e g a n t e d e m o s t r a c i ó n d a d a por E u c l i d e s , cjue v e r s a

s o b r e la u n i c i d a d d e l o s p u n t o s NOTABLES de un t r i á n g u l o .

Damos nuestras más sinceras disculpas .

 11

Hemos así demostrado:

TEOREMA 1 i L a s a l t u r a s de t o d o t r i a n g u l o d e v é r t i c e s O,

A, B están c a r a c t e r i z a d a s por la i g u a l d a d v e c t o r i a l ( 1 4 ) , donde

OH = i h p ( o r t o c e n t r o ) , es el p u n t o c o m ú n a las t r e s a l t u r a s .

GENERALIZACION. E n dimensiones s u p - e r i o r e s n o es p o s i b l e

asociar con los d o s v e c t o r e s a y b , un t e r c e r v e c t o r a X b

hacia afuera del plano g e n e r a d o por a y b , de u n a manera

geométrica, es d e c i r , m e d i a n t e una c o n s t r u c c i ó n c^ue d e t e r m i n a

a " a x b " de modo único y no c a m b i a bajo movimientos rígidos.

( ver L 2 3 ) .

& 4. CARACTERIZACION VECTORIAL DEL BARICENTRO ,

CIRCUNCENTRO E INCENTRO DE UN TRIANGULO OAB

Por u n p r o c e d i m i e n t o completamente similar al u t i l i z a d o en el §3,

e s t a m o s e n c o n d i c i o n e s de p r o b a r las s i g u i e n t e s proposicion-es y

corolarios :

«i

PROPOSICION 4.1. El p u n t o U de intersección de las m e d i a t r i c e s

L1 y Lz , v i e n e d a d a por la f ó r m u l a

OU = T3p = í ( a + lo - "ffp) (19)

 12

donde h p e s el O r t o c e n t r o ( F i g . <oS )

Fig.í6.1) Fig. í6.2)

Demostración *. O b s e r v e m o s p r i m e r o la -fig. (6.2) . Los vectores

Si y Sz s o n p a r a l e l o s a los v e c t o r e s T p y "jv, r e s p e c t i v a m e n t e . Esto

s ' i q n i f i c a que e x i s t e n e s c a l a r e s ói y ¿>z tales que

Si = ¿h Tp
=
Sz ¿zTc,

Además son v á l i d a s las ecuaciones

V Ó1?P + j C - B (19.1)
Upt ¿*r«, - ^ b (m)

Al restar m i e m b r o a m i e m b r o (19.1) y (19.2) y sustituir (4)y(5)j

luego de e f e c t u a r las o p e r a c i o n e s p e r t i n e n t e S j o b t e n e m o s la c o m -

binación lineal entre los v e c t o r e s 3T y lo d a d a por

 13

ò + l m )
( U + t - M ' w =*•

El s i s t e m a a s o c i a d o c o n ( 1 9 . 3 ) es

lei3

W ( c a ) - W2 v(a ' t )
il?! -

(19.4)

c •b - b • b
_J

c •a a•b

rea,?)
I b I 2 I c I2

De o t r a p a r t e , el d e t e r m i n a n t e asociado con la i n c o g n i t a OCi es

J_
z -1
1
[ q
"b \ Mg5)
A i i
a • b
0
Ibi5
 14

De (19.4) y (19.5) escribimos

¿1 6 J_ a •b leí
A 2 rT37£)

F i n a l m e n t e de (19.1) encontramos c¡ue

^ ía + b ) - ?p

j- (a + b) - \ hp

PROPOSICION 4 . Z . El punto I d e i n t e r s e c c i ó n de las bisectrices

ONi v ANs. del t r i á n g u l o OAB, v i e n e d a d o por la f ó r m u l a (Fjg.7)

 15

lióla + l a I lo
OI = tP =
/
tai + l£l + lcl
o

{ a + b } (20)
f

Aquí,

f = Ia t IÉI

(T = la I + líf i + es el p e r í m e t r o del t r i á n g u l o OAB.

Demostración : Con relación a l a f i g . ( 7 ) , un v e c t o r apropiado

e n la d i r e c c i ó n y s e n t i d o del v e c t o r ONi, es

Cu = a + b . (20.1)

A p a r t i r del t r i á n g u l o OAI se d e d u c e inmediatamente cjue e x i s -

ten escalares , ~E,z } t a l e s c j u e

3 + j i ( e - a ) = ? * ( a + fc). ízo.z)

Si a h o r a empleamos las definiciones

 16

La ecuación (20.2) implica l a c o m b i n a c i ó n lineal

C-<-ìV, + ~k¡ ) * - * +1)3 I?!5" ì.m-i 4 * ='5 (20.4)

Pronpdiendo a c o n t i n u a c i ó n como e n las p r o p o s i c i o n e s (4.2) y (4.1)

se o b t i e n e el r e s u l t a d o deseado.

PROPOSICION 4.3. El p u n t o G d e i n t e r s e c c i ó n d e las m e d i a n a s O M i

y AM2 d e l t r i a n g u l o OAB viene d a d o p o r !a f ó r m u l a ( Fig. 8 )

06 - gp = j (a + 1 ) (21)

Fig. (8)

Demostración. A p a r t i r de la r e l a c i ó n (2) y tomando "X - 1 se c o n -

sigue OMi = \ ( a +1o) y AM2 - 2 ( c ' - a ). Sean

06 - JAa O M 1
 17

\6 = _Az AMz

Ahora la proposición resulta evidente de la combinación l i n e a l ,

3 + = ( £ - 2 3 )

COROLARIO 1. Las m e d i a n a s de t o d o t r i á n g u l o d e v é r t i c e s O, A , B ,
sstán c a r a c t e r i z a d a s p o r la e x p r e s i ó n ( 2 1 ) s d o n d e G , el BARICENTRO,

es el p u n t o c o m ú n a l a s t r e s medianas.

COROLARIO 2 . Las b i s e c t r i c e s de t o d o t r i á n g u l o de vértices O, A ,

B, están c a r a c t e r i z a d a s por l a e x p r e s i ó n ( 2 0 ) , d o n d e I , el I N C E N -

TRO, es el p u n t o c o m ú n a l a s t r e s b i s e c t r i c e s .

COROLARIO 3. Las m e d i a t r i c e s de t o d o t r i á n g u l o d e v é r t i c e s 0,

A , B , e s t á n c a r a c t e r i z a d a s por la e x p r e s i ó n (19), donde U , el CIR-

C U N C E N T R o , es e l p u n t o c o m ú n a l a s t r e s m e d i a t r i c e s .

Los c o r o l a r i o s 1>2_y 3 son consecuencia i n m e d i a t a de las propo-

siciones 4.1 , 4.2 y 4.3.

COROLARIO 4 . ( Euler, 1707 - 1 7 f í 3 ) . En todo triángulo de v é r t i -

ces 0,A,B, los t r e s p u n t o s n o t a b l e s H.G.U, pertenecen a una

misma recta y además

 32

HG = 2 6 U (22)

En e f e c t o , a p a r t i r d e (14) y (19) se o b s e r v a que

gP - h P = 2 ( Up - g p )

COROLARIO 5. Si dos vectores d e l a t e r n a Up . g p , hp son i g u a -

les, e n t o n c e s Üp = g p = hp ( F i g . 9.1 )

Fig. (9.1)

Demostración. O b v i o a p a r t i r del corolario 4 .

COROLARIO 6. (Silvester, 1814-1897). En todo triángulo el

vector q u e v a d e l c i r c u n c e n t r o a l o r t o c e n t r o es i g u a l a l a s u m a d e

los t r e s v e c t o r e s g u e v a n d e l c i r c u n c e n t r o a l o s v é r t i c e s (Fig.9.2)
 IV
o

Ficj. (9.2)

Demostración. C o n s i d é r e s e el g r u p o d e r e l a c i o n e s

ÜA = a - Up = " Uq

ÜB = £ - Up = - Ut

ÜO - ~ Up (23)
QH = Kp - Up

Kp = a + b - 2 Up .

( A g r a d e z c o a l Profesor E m é r i t o A . C h a v e s , el h a b e r m e comunica-

do el enunciado a n t e r i o r hace algún t i e m p o ) .

COROLARIO 7. E n t o d o t r i á n g u l o de v é r t i c e s 0 , A , B , l a s u m a
—¥ ~> —*• .
d e los v e c t o r e s n¡ 0 , h«j , h t (Fig. iO) e s t a r e l a c i o n a d a c o n la s u m a
- f

de los vectores U P , Uq , U t por la identidad,

 c

Fig. ( 1 0 )

E uk = 4 E h (Z4)

d o n d e el índice k recorre el c o n j u n t o £ p.cj, t } t

Demostración. C o n s i d é r e s e el g r u p o d e r e l a c i o n e s

Ü p = \ ( a + b - )

Uq - \ C c - a - h q )

= ± ( £ - 2 ?

Ü t = - ^ ( - c - b - ht)

r 3 - 2 ? - ht)
 21

PROPOSICION 4.4. E n todo triángulo de vértices O.A.B, los

vectores rp , ft están e n l a z a d o s con los vectores Ü p , U^ ,

U-t por las i d e n t i d a d e s :

2üt
rt + r, •r (25)
\z\z l u r

2ut (25.1)
rP + r^ - •r
isi* iei2

2Uq
rP + rt - - -r (25.2)
l a l 2 le"

2 2
( r = r ( a , £ ) - l a x £ l - t i l )

Demostración.

rt + r«, a x d — 3
la I f F * * "

2
— i £ i a - iarrí j x d ug)

De o t r a p a r t e ,

a + b x d = l£l2a - i a l x b -(a-í)c

- lSri 2 U = a xd + Sxd + (3-1?)?

 22

Lueqo el miembro derecho de (26) se puede escribir asi

[ a xd + * d - (a -lo ) c } * ol (27)

Pero a su v e z ,

( a x "d ) x d = - P a

(S x oí) * cí = - r " E

l ^ c r hP

Sustituyendo én ( 2 7 ) queda e s t a b l e c i d a ta p r o p o s i c i ó n . A n á l o g a -

m e n t e se d e m u e s t r a n (25.1) y (25.2) .

Lema 1
¡2 _ 1 C t2"
,u
pl 4 Sen 1 /«

(28)
!
z
í lai
lutl
4 Sen2J$

Demostración . Simplifíquese la expresión

lau* = i T Í ^ + ' S - K J r
 23

v ténqase en cuenta el

— ^

Lema 2. E n el t r i á n g u l o 0 A B , con Y agudo, la l o n g i t u d d e h p es

c cot r , (29)

que se obtiene a partir de

la • b
I h J = c | l a x~E

l a • £1
le
la x £ l

COROLARIO 8 .

iQ P i = m q i = luti (30J

Inmediato a oartir déla ley délos senos y de (28)

D D c
™^ JC10N 4-.5. En t o d o t r i á n g u l o de v é r t i c e s O , A , B , si R

es el r a d i o d e l a c i r c u n f e r e n c i a c i r c u n s c r i t a , v a l e l a identidad

z
4R(T P + r^ + ? t ) - -Clcl U p t lar^Ut + i^Uc,} (31)
 24

Demostración. A l s u m a r lado a l a d o a l a d o l a s i g u a l d a d e s (25) ,

(25.1) y ( 2 5 2 ) se llega a la c o r r e l a c i ó n :

2 ( ? p + V r t ) = - 2 [ s e n 2 y üp + S e n 2 / u t + Sen^OCUcj}

U t i l í c e s e a h o r a el l e m a 1 j u n t o c o n la i d e n t i f i c a c i ó n lUpl - R

para o b t e n e r ( 3 1 ) .

PROPOSICION 4 . 6 . En t o d o t r i á n g u l o de vértices O.A,B, es

válida la i d e n t i d a d í s u p o n e m o s gue 0L,j3, ¡T s o n á n g u l o s a g u d o s )

el hp - Ibl he, + la I h t = 2 b xd (32)

y , en particular,

|C| hp - | S | he, + |a| h t I = Z|b| (33)

Demostración. C o n s i d e r e m o s el g r u p o d e igualdades

hc - c xd |hp| - cCot X

w —y w
r
(A) hq - b x d (B) Ihal - bCota
a •c

r ht z a x d lhtl -aCotJ3
S-c
 25

Sumanao miembro a miembro en ( A ) se i n f i e r e c¡ue

P he 2 b d
t mtìCost ~ laifclCosCX > + l^lCosJB h t } = *

o•

De (B) \j a c u d i e n d o a la ley d e los senos

lai _ USI _ lei

S e n J3 SenCX Sen ¡T

:onc luimos

lo c u a l p r u e b a la proposición.

Nota •final. El a u t o r no t i e n e c o n o c i m i e n t o de libros y artículos a nuestro alcance

en donde a p a r e z c a n c o n s i g n a d a s las f o r m u l a s e i d e n t i d a d e s correspondientes a los

recuadros (14), H 9 ) , (¿4), (25), (25.^,(25.2), (31 ), (32) y (33). La c a r a c t e r i z a c i ó n

del incentro ( 2 0 ) , se e n c u e n t r a e n C 3 l . D o y m i s a g r a d e c i m i e n t o s al profesor

DIEGO CHAVES , quien me proporcionó el t e x t o .

 26

BIBLIOGRAFIA

EO APOSTOL, T . Calculus. Vol. I , Ed. Reverte.

L2H COÜRANT, J o h n . I n t r o d u c c i ó n al Cálculo y al A n á l i s i s Matemático.

Vol. I I , Limusa.

C3H 6USIATNIK0V, P. ; REZNICHENKO, S. A l g e b r a V e c t o r i a l en Ejemplos

y Problemas. M i r \ Moscú.

M MOISE, E. E l e m e n t o s de G e o m e t r í a Superior. C.E.C.S.A.

H5U PUIG, P. P. Curso d e G e o m e t r í a M é t r i c a . Tomo I . Madrid.

C6] SANTALO, L . A . Vectores y Tensores con sus Aplicaciones. E n d e b a .

Buenos A i r e s .