Investigacin y Docencia o

por Nstor Aguilera e

El baricentro y la divisin o en dos partes de igual area

1. El baricentro y posibles concepciones falsas

Quizs el lector se haya preguntado alguna vez por qu en la escuela se a e habla slo de baricentro de un tringulo y no de un cuadriltero o pentgono? o a a a Una de las razones es que el concepto de baricentro o centro de gravedad de una gura plana involucra la idea de momento (de primer orden), a su vez relacionada con la idea f sica de palanca, que se introduce mucho despus que el e baricentro de un tringulo en la escuela. a Sin embargo, es usual motivar la denicin de baricentro del tringulo dando o a un argumento como: si suspendemos al tringulo por uno de sus vrtices (pina e chando un aller, por ejemplo), la posicin de equilibrio del tringulo es tal o a que la vertical que pasa por el vrtice elegido debe contener al baricentro y por e lo tanto, esta vertical debe separar al area del tringulo en dos partes iguales, a de donde se deduce que la vertical contiene a la mediana por el vetice. r Hemos enfatizado en letras cursivas una deduccin que no es nada sencilla. o El tringulo tiene la propiedad que la mediana est contenida en la recta por el a a baricentro y el vrtice correspondiente, pero, como veremos ms adelante, hay e a rectas que dividen al tringulo en dos partes de igual area que no contienen al a baricentro. Para peor, y an cuando no hayamos hecho la motivacin f u o sica que comentamos, esta idea incorrecta de que el baricentro est denido por la divisin a o en partes de igual area se ve reforzada por el uso que le damos en geometr a elemental al baricentro del tringulo: prcticamente lo unico que usamos es esta a a propiedad, y dif cilmente se consideran propiedades f sicas del baricentro del tringulo. a De ms est decir que luego pueden haber dicultades para la comprensin a a o de las propiedades del verdadero baricentro de otras guras planas, aunque el verdadero baricentro del tringulo coincide con la interseccin de sus mea o dianas. Por supuesto, podemos pensar en darle otro nombre en geometr elea mental, algo como medianacentro, pero despus de un momento de reexin e o parece que es ms conveniente llamar a las cosas por su nombre, so pena de a traer otras dicultades en el aprendizaje. Para resumir,

Pg. 2 a

El baricentro. . .

Es errneo decir que el baricentro est caracterizado por las o a rectas que dividen la gura en dos partes de igual area.

Nuestro propsito en estas notas es ver algunas propiedades de la biseccin o o y el baricentro de guras planas, de modo de comprender en qu forma los dos e conceptos dieren. Comenzaremos dando una descripcin intuitiva de qu se o e puede decir desde la teor sobre la divisin de guras planas en dos partes de a o igual area mediante rectas, y veremos concretamente cmo son estas rectas en o el caso del tringulo. Continuaremos con algunas propiedades del baricentro de a guras en general, que nos permitirn encontrar geomtricamente el baricentro a e de pol gonos como un cuadriltero o un pentgono, construccin que puede a a o realizarse con prcticamente cualquier software de geometr dinmica como a a a Cabri-Gom`tre. Hemos dejado para el nal el estudio de envolventes de familias e e de rectas, que requiere el uso de derivadas, y una presentacin del baricentro o desde el punto de vista f sico.

2.

El men que empieza con panqueques, sigue u con huevos fritos y termina con sandwichs, con tortas entre medio.

Empezamos dando una idea intuitiva de cmo dividir una gura plana en o dos partes de igual area mediante una recta, aunque debemos estar advertidos que para hacer una descripcin rigurosa deber o amos contar con una denicin o adecuada de rea y de continuidad de funciones, y sus propiedades, lo que a escapa a nuestro objetivo. Los inquietos pueden ver una descripcin detallada o de esta Seccin en el excelente libro de Chinn y Steenrod [CS]. o Con este recaudo, consideremos una regin1 P del plano acotada, es decir, o que no se extiende indenidamente en ninguna direccin. Podemos pensar que o se trata de un panqueque muy chato, o la regin encerrada por una poligonal o (ver Figura 1). Supongamos adems que P tiene area positiva (medida en alguna a unidad adecuada) a.

Figura 1: la regin P. o Nuestro inters es cortar este panqueque en dos mitades de igual area e mediante un corte recto de cuchillo.
1 Para los entendidos: en principio una regin es un abierto conexo, pero ac no nos preoo a cupamos por esos detalles.

2. El men que empieza con panqueques. . . u

Pg. 3 a

Con este n, consideremos ahora una recta que, para jar ideas, por el momento suponemos vertical (habiendo jado un sistema de coordenadas cartesianas). divide al plano en dos semiplanos, y por lo tanto tambin divide e a P en dos partes, alguna de las cuales podr ser incluso vac Llamemos a a. P a la parte de P que queda a la izquierda de pero no la toca, y P + a la parte restante, es decir la parte que queda a la derecha incluyendo la parte de P contenida en . Movamos ahora la recta paralelamente, como se indica en la Figura 2, donde la regin P est sombreada y la regin P + dejada en blanco, para las o a o distintas posiciones de . Si est muy a la izquierda, tendremos que el area de a P , que llamaremos a , es nula (pues P = ), mientras que el area de P + , que llamaremos a+ , coincide con el area a de P (pues, ms an, P + = P). Por otra a u parte, si est bastante a la derecha, tendremos la situacin inversa: a = a y a o a+ = 0.

Figura 2: moviendo la recta . No es dif creer que el valor a var continuamente al variar , es decir si cil a la posicin de var poco, el valor de a cambia poco (o nada), que moviendo o a de izquierda a derecha, los valores de a irn recorriendo todos los valores a desde 0 (el m nimo posible) a a (el mximo), y que entonces, en alguna posicin a o intermedia de debe ser a = a/2. El argumento es vlido para cualquier inclinacin de la recta, mientras la a o desplacemos paralelamente, con lo que podemos enunciar este resultado (no muy bien demostrado) como Lema 2.1 (del panqueque): Dada una regin P y una recta , existe una recta o paralela a que divide a P en dos partes de igual area.

Por supuesto, podr haber varias posiciones intermedias, dependiendo de a la forma de P y la posicin de , como se muestra en la Figura 3, donde P se o constituye de dos c rculos unidos por un segmento.

Figura 3: distintas posiciones de , pero igual area de P . El lema no es muy util para cortar panqueques, porque nos dice que podemos cortarlo en dos pero no cmo. Algunas guras son sencillas de cortar, como el o c rculo para el que cualquier dimetro (y slo si es dimetro) lo corta en dos a o a partes de igual area. Dejamos al lector el siguiente Problema 2.2. Dado un cuadrado, encontrar todas las rectas que lo cortan en dos partes de igual area.

Pg. 4 a

El baricentro. . .

Las cosas se complican un poco si queremos cortar con una misma recta simultneamente a dos guras planas, de modo que ambas queden divididas en a partes de igual area, como por ejemplo, si queremos hacer un corte recto con un cuchillo a un huevo frito (plano!), separando en dos partes de igual area tanto clara como yema, o si queremos usar el mismo corte para dos panqueques. La idea es que podremos hacer esto aprovechando el grado de libertad que tenemospodemos elegir cualquier inclinacin para la rectaal cortar una o unica gura. Dejamos que el lector pruebe con ejemplos sencillos: Problema 2.3 (el huevo frito perfecto). Dados dos c rculos concntricos en el e plano, encontrar todas las rectas que los dividen a ambos en dos partes de igual area. Problema 2.4. Dados dos c rculos en el plano, encontrar una recta que divida a ambos en dos partes de igual area (la recta resulta unica si los c rculos no son concntricos). e Problema 2.5 (tomado de [CS]). Dos tortas, una de forma cuadrada y la otra de forma circular, estn sobre la misma bandeja. Indicar la manera de dividirlas a en dos partes iguales con un solo corte de cuchillo. Es posible ver que este resultado es general, es decir, siempre podemos dividir en partes de igual area a cualquier par de regiones del plano mediante un unico corte recto: Lema 2.6 (del huevo frito): Dada dos regiones del plano, existe una recta que divide a cada una de ellas en dos partes de igual area. No tendremos tiempo de desarrollar este resultado aqu pero referimos al , lector al ya mencionado libro de Chinn y Steenrod [CS] para una demostracin. o Tambin en este libro podemos encontrar el resultado para tres dimensiones: e Lema 2.7 (del sandwich de jamn y queso): Dada tres regiones en el espacio, o existe un plano que divide a cada una de ellas en dos partes de igual volumen2 . Por otra parte, y volviendo al plano, en general no podr amos cortar tres panqueques con un solo corte: Problema 2.8. Encontrar tres c rculos en el plano de modo que ninguna recta divida a los tres en partes respectivas de igual area. Hay muchas variantes de estos problemas de cortes. Por ejemplo, si queremos hacer dos cortes para obtener cuatro partes de igual area, para el c rculo podr amos tomar dos dimetros perpendiculares. Dejamos al lector el caso del a cuadrado: Problema 2.9 (tomado de [CS]). De cuntas maneras se puede dividir una a torta cuadrada en cuatro partes iguales por medio de dos cortes perpendiculares?
2 Las tres regiones son: el jamn, el queso y el pan, y el sandwich puede tener una o dos o tapas, pero suponemos que no usamos manteca.

3. Cortando tringulos a

Pg. 5 a

3.

Cortando tringulos a

La Seccin anterior no nos dice mucho sobre cmo cortar con una recta a o o un tringulo en dos partes de igual area, pero sabemos que podemos hacerlo en a cualquier inclinacin que deseemos. o Estudiaremos ahora con ms detalle estas rectas, usando para ello divera sas nociones, desde area de conjuntos planos, hasta envolvente a una familia de curvas, pasando por ecuaciones de rectas, mezclando geometr anal a tica y sinttica. e Por otra parte, esta Seccin puede considerarse como lectura previa al art o culo de Beyer y Swartz [BS], en el que se extienden a ms dimensiones muchas a de las propiedades que mencionaremos. Recordando uno de los principios fundamentales en la resolucin de probleo mas, plantear un problema similar ms fcil de resolver, empecemos considea a rando el caso en que la recta contiene a uno de los vrtices. e Este caso es bien conocido: en el tringulo ABC 3 , la unica recta que pasa a por el vrtice A y que divide al tringulo en dos partes de igual area es la que e a contiene a la mediana. Tambin sabemos que las tres medianas del tringulo e a se cortan en un unico punto G (el famoso baricentro), como se muestra en la Figura 4, y ms an, si las medianas son AA , BB y CC , los seis tringulos a u a AGB , B GC, CGA , A GB, BGC y C GA tienen igual area.
C

Figura 4: un tringulo ABC, sus medianas y el baricentro. a En n, tambin es conocido que el baricentro G divide a las mediana en e tercios, o en frmula: o AG BG CG = = = 2. GA GB GC Esta frmula nos permite calcular el baricentro anal o ticamente. En efecto, pensando (esperamos que sin confundir al lector) a los puntos A, B, C y G como vectores en el plano, tenemos A = pues A es el punto medio de BC, y G= 2 1 A+ A, 3 3 (3.1) 1 (B + C), 2

3 No ponemos notacin especial para tringulos, segmentos, rectas, etc. As AB puede o a , estar rerindose a la recta por A y B, o al segmento, o a la distancia entre A y B, etc. e

Pg. 6 a

El baricentro. . .

pues G est ms cerca de A que de A en la proporcin 1 a 2. Juntando estas a a o dos ultimas ecuaciones, tenemos G= 1 2 1 1 A+ (B + C) = (A + B + C). 3 3 2 3

Pero pasemos al caso en que la recta no contiene ningn vrtice, como en la u e Figura 5, donde la recta corta al borde del tringulo en los puntos P sobre AB a y Q sobre AC.
C Q G A P B

Figura 5: la recta P Q divide al tringulo ABC en dos partes de igual area. a Un primer problema es: dado P sobre AB, encontrar Q sabiendo que debe estar sobre AC. Si podemos hacer esto, entonces podemos encontrar la recta. Para encontrar Q bajo las condiciones dadas, observamos que como debe ser area(AP Q) = 1 area(ABC), 2 (3.2)

usando que el area de un tringulo U V W puede calcularse como a area(U V W ) = 1 U V U W sen U , 2

reemplazando en (3.2) y simplicando, llegamos a que queremos AP AQ = 1 AB AC. 2 (3.3)

Si queremos encontrar Q geomtricamente, podemos reescribir la ecuacin e o anterior como AP AQ = AC AC, (3.4)

donde C es el punto medio del segmento AB, quedando la igualdad de dos productos de segmentos. Euclides ten mtodos para resolver geomtricamente ecuaciones como la a e e anterior, donde tres de los segmentos son conocidos y el cuarto incgnita. Sin o embargo, nosotros vamos a resolverla usando semejanza de tringulos, mtodo a e debido aparentemente a Descartes. Con este n observamos que, siendo A comn, la ecuacin (3.4) es equivalente a la semejanza de los tringulos AP C y u o a AC Q, y por lo tanto podemos construir Q como interseccin de la paralela a o P C que pasa por C con el segmento AC 4 , como se indica en la Figura 6.
4 Recordar

que estamos suponiendo que Q est sobre el segmento AC. a

3. Cortando tringulos a

Pg. 7 a

C Q

Figura 6: construccin geomtrica de Q conociendo P . o e Para encontrar Q anal ticamente (siempre en la conguracin de la Figura 5), o podemos escribir P = A + s(B A) y Q = A + t(C A), (3.5)

donde s es conocido pero t es incgnita. En este caso, despus de simplicar o e podemos reescribir (3.3) (si s = 0) como t= 1 , 2s (3.6)

que es bien sencilla de resolver. Pero no siempre la recta cortar a los lados AB y AC. Para estudiar un a poco este problema, miremos a las distintas posiciones de P sobre AB y Q sobre AC como se indica en la Figura 7.
C Q Q Q C C

Figura 7: distintas posiciones de P Q. Vemos que a medida que P se va acercando a B, Q se va acercando hacia el punto medio de AC. Es decir, para tener P sobre AB y Q sobre AC, pasamos de la posicin extrema donde P Q es la mediana por C a la otra posicin extrema o o donde P Q es la mediana por B. Las rectas que cortan al tringulo en dos partes de igual area quedan entonces a clasicadas de acuerdo a los lados que intersecan. Por ejemplo, podemos asociar las rectas que hemos dibujado en la Figura 7 con el vrtice A. De modo e similar, podemos asociar rectas con los vrtices B o C, lo que hemos hecho en e la Figura 8, donde hemos dibujado las rectas asociadas al vrtice A en verde e claro, las asociadas al vrtice B en rosa, las asociadas al vrtice C en celeste, y e e las medianas en negro (que podr asociarse a dos vrtices). an e Podemos observar que estas rectas nunca contienen al baricentro, salvo que contengan a las medianas. Pero el lector ya est preparado para resolver este a problema (Sugerencia: en las ecuaciones (3.5) y (3.6) debe ser 0 s, t 1/2):

Pg. 8 a

El baricentro. . .

Figura 8: rectas que bisecan, coloreadas segn los vrtices asociados. u e Problema 3.1. Si la recta corta en dos partes de igual area al tringulo ABC a y contiene al baricentro, entonces contiene a uno de los vrtices. e Tambin podemos observar que estn todas las pendientes posibles, en cone a sonancia con el Lema del panqueque (2.1). Haciendo un zoom en la Figura 8, y tomando slo las rectas asociadas o a A, podemos observar en la Figura 9 nuevamente que el baricentro no est a en ninguna de estas rectas. Tambin podemos observar en esta gura que se e delinea una curva, la envolvente5, que est remarcada en la Figura 10. a Esta curva envolvente es parte de una hiprbola, pero posponemos este ese tudio a Seccin 5 ya que necesitamos derivadas y aqu hacemos slo una introo o duccin elemental. o

Figura 9: zoom de rectas asociadas a A, cerca del baricentro.

Figura 10: la envolvente de las rectas asociadas a A.

Para terminar esta Seccin, mostramos en la Figura 11 un zoom cerca del o baricentro, con las envolventes correspondientes a las rectas asociadas a A, B y C, y en la que podemos apreciar que las tres hiprbolas son tangentes a las e medianas y entre s .

4.

Encontrando el baricentro de pol gonos

Como mencionamos en la introduccin, el concepto de baricentro no es seno cillo y vamos a posponer su estudio hasta las Seccin 6, donde en lugares neceo sitaremos herramientas avanzadas. Ac nos contentaremos con creer algunas a de las propiedades del baricentro de guras planas.
5 Recordemos que la envolvente de una familia de curvas es otra curva tangente a cada una de las curvas en la familia.

4. Encontrando el baricentro de pol gonos

Pg. 9 a

Figura 11: las envolventes son parte de hiprbolas tangentes. e La primera pareciera una verdad de perogrullo, que por ahora tomaremos como axioma: el baricentro de un tringulo es el punto en la interseccin de a o sus medianas. Por supuesto que suena como decir que el baricentro es el baricentro pero, como explicamos en la introduccin, lo que queremos decir aqu es que el o baricentro del tringulo y la interseccin de las medianas son dos conceptos a o distintos que por casualidad coinciden, y slo por no usar otros nombres es o que en geometr elemental denimos al baricentro como la interseccin de las a o medianas. La otra propiedad, que tambin veremos desarrollada en la Seccin 6, es: e o Propiedad 4.1: Si la gura plana F , de area m y baricentro P , es la unin o de las guras (disjuntas) F y F , que tienen respectivamente areas m y m y centros de gravedad ubicados en P y P , entonces m=m +m , es decir, area(F ) = area(F ) + area(F ), y P = m m P + P . m m (4.1)

En particular, P est en el segmento que une P y P . a

Veriquemos esta propiedad tomando como F al tringulo ABC como se a muestra en la Figura 12, considerndolo como unin del tringulo ARC (la a o a gura F ), y el tringulo RBC (la gura F ), donde R est sobre el lado AB. a a
C G A G G R B

Figura 12: G es combinacin convexa de G y G . o Si G, G y G son los respectivos baricentros, de acuerdo a la ecuacin (3.1), o G = 1 (A + R + C), 3 G = 1 1 (B + R + C) y G = (A + B + C), 3 3

Pg. 10 a

El baricentro. . .

mientras que si h es la altura comn de los tres tringulos, tenemos adems u a a area(ARC) = m = y area(ABC) = m = 1 h AB. 2 1 h AR, 2 area(RBC) = m = 1 h RB, 2

Es claro que a partir de las ultimas ecuaciones tenemos m = m + m . Por otra parte, como R est en el segmento AB, podemos poner a R = t(B A) + A para algn t con 0 t 1. Entonces resulta u AR = t AB Por lo que mG +m G = 1 3 1 = 3 1 h AR (A + R + C) + RB (R + B + C) = 2 1 h (AR + RB)C + AR (A + R) + RB (R + B) 2 y RB = (1 t) AB. (4.2)

. (4.3)

Por supuesto que AR + RB = AB, y adems a AR (A + R) + RB (R + B) = t AB (A + R) + (1 t) AB (R + B) = = t AB A + AB R + AB (1 t) B = = AB (A + B). = AB t A + t (B A) + A + (1 t) B =

De modo que la ecuacin (4.3) puede reescribirse como o mG +m G = es decir, 1 1 m G + m G = ( h AB) (A + B + C) = mG, 2 3 con lo que vericamos que se cumple la ecuacin (4.1). o 11 h AB (A + B + C), 32

4.1.

El baricentro de un cuadriltero a

En general, la Propiedad 4.1 no se puede usar directamente porque no es sencillo obtener geomtricamente el valor de las areas: stas deber ser proe e an ductos de segmentos y habr que jar un segmento como unidad de longitud a (idea debida a Descartes). Pero podemos aprovechar esta Propiedad si podemos descomponer una gura como unin de guras de baricentros conocidos en al o menos dos formas distintas.

4.1

El baricentro de un cuadriltero a

Pg. 11 a

G3

C G1

G4

G2 B B

el cuadriltero original a

una descomposicin o

otra descomposicin o

Figura 13: descomposicin de ABCD en tringulos, de dos formas distintas. o a

Por ejemplo, consideremos un cuadriltero (convexo) ABCD como en la a Figura 13. Tomando pares opuestos de vrtices, podemos descomponerlo como e (cuadriltero ABCD) = (tringulo ABC) (tringulo CDA) = a a a = (tringulo BCD) (tringulo DAB). a a Indicando con G al baricentro del cuadriltero ABCD, y por G1 , G2 , G3 a y G4 los baricentros de, respectivamente, los tringulos ABC, BCD, CDA y a DAC, la descomposicin anterior y la Propiedad 4.16 nos dicen que G est en o a los segmentos G1 G3 y G2 G4 , y por lo tanto en su interseccin. De este modo o podemos construir G como se muestra en la Figura 14, donde los segmentos entre los baricentros de los tringulos interiores estn pintados en rojo. a a
D

G3 G4 A G2 G G1 B C

Figura 14: construccin del baricentro G de ABCD. o Prestando atencin, podemos observar que los segmentos indicados en rojo o son paralelos a las diagonales del cuadriltero, y dejamos al lector que demuestre a esta propiedad y un poquito ms: a Problema 4.2. Con las notaciones anteriores, demostrar que a) Los segmentos G1 G3 y BD son paralelos (y por lo tanto, tambin es e G2 G4 AC). b) La longitud del segmento G1 G3 es un tercio de la de BD (y de modo similar, BD = 3 G2 G4 ).
6 ABCD debe ser convexo para poder escribirlo como unin disjunta de los tringulos o a propuestos.

Pg. 12 a

El baricentro. . .

4.2.

El baricentro de un pentgono a

Ahora que sabemos cmo construir geomtricamente el baricentro de un o e cuadriltero, podemos seguir usando la Propiedad 4.1 con otros pol a gonos planos (convexos), pues un pentgono se puede descomponer en un tringulo y a a un cuadriltero (de muchas formas) y entonces podemos encontrar el baricena tro de cualquier pentgono, un hexgono se puede descomponer como unin a a o de un tringulo y un pentgono, etc. No importa cmo hagamos la descoma a o posicin, por ejemplo poniendo a un hexgono como unin de un tringulo y o a o a un cuadriltero por un lado y de dos cuadrilteros por otro, siempre podemos a a encontrar el mismo baricentro como interseccin de los segmentos adecuados. o Vamos a ilustrar esta propiedad encontrando el baricentro del pentgono a ABCDE que se muestra en la Figura 15, en la que se presentan dos formas distintas para calcular el baricentro. En la primera, descomponemos de dos formas: el tringulo ABC y el cuadriltero ACDE, y el tringulo ADE y el a a a cuadriltero ABCD; mientras que en la segunda, lo hacemos en el tringulo a a BCD y el cuadriltero ABDE, y el tringulo CDE y el cuadriltero ABCE. a a a
D D

E G A B

E G A B

una forma

otra forma

Figura 15: encontrando el baricentro de ABCDE de dos formas distintas. En ambos casos hemos sealado con distintos colores los segmentos que den nen las descomposiciones, coloreando de igual forma los baricentros correspondientes. Como en el caso del cuadriltero, los segmentos que denen al a baricentro estn marcados en rojo. a Estas construcciones son particularmente instructivas si se usa un software de geometr dinmica que permita el uso de macros, como Cabri-Gom`tre. A a a e e partir de la construccin, mediante una macro, del baricentro de un tringulo, o a podemos denir macros para construir los baricentros de cuadrilteros, pena tgonos, etc., de modo que la macro para el cuadriltero use la del tringulo, a a a la del pentgono use la del cuadriltero y el tringulo, y as sucesivamente. a a a

5.

Encontrando la envolvente

Nos gustar hacer ahora una presentacin sencilla de cmo encontrar la a o o envolvente a una familia de curvas en el plano. Si bien es posible hacerlo en casos particulares sin recurrir al clculo diferencial, estos mtodos son muy a e artesanales, dependiendo en extremo del caso considerado. Por otra parte, el clculo diferencial ofrece tcnicas muy generales, pero para a e no marear demasiado al lector, vamos a presentar aqu el caso en que las curvas de la familia son rectas.

5. Encontrando la envolvente

Pg. 13 a

Ahora, a arremangarse! Una recta en el plano puede escribirse en forma paramtrica como e (x, y) = tM + N, t R,

donde M = (m1 , m2 ) y N = (n1 , n2 ) son dos vectores, y M = (0, 0) da la direccin o inclinacin de la recta. o o Cuando tenemos una familia de rectas que dependen del parmetro real s, a cada una de las rectas se podr escribir con valores de M y N que dependen de a s, es decir se podr describir como (x, y) = R(t, s), donde a R(t, s) = tM (s) + N (s). (5.1)

Para poder aplicar clculo diferencial, supondremos que M (s) y N (s) son a funciones (a valores en el plano) que var en forma diferenciable con s. an Una envolvente de esta familia de rectas es una curva que es tangente a cada una de las rectas de la familia. Es natural describir esa curva mediante el mismo parmetro s, de modo que el punto en la curva correspondiente a s est en la a a recta correspondiente al mismo s. En otras palabras, si llamamos E(s) al punto en la curva, podemos encontrar una funcin (s)7 de modo que o E(s) = (s) M (s) + N (s). (5.2)

Como la recta correspondiente a s es tangente a la envolvente en E(s), debe ser que las pendientes de esta recta y la de la tangente coinciden, es decir, existe una constante , con = 0 y que puede depender de s, tal que dE = (s) M (s). ds Usando (5.2) y la regla de la cadena para evaluar de (5.3), encontramos que
dE ds

(5.3) en el miembro izquierdo

dM d dN + M+ = M. ds ds ds Como estamos trabajando en dos dimensiones, esta ultima ecuacin es en o realidad un sistema de dos ecuaciones. Para explicitarla, ponemos M = (m1 , m2 ) y N = (n1 , n2 ): d dn1 dm1 + m1 + = m1 , ds ds ds dm2 d dn2 + m2 + = m2 . ds ds ds Eliminando entre estas ecuaciones nos lleva a poder despejar directamente (sin necesidad de averiguar el valor de d ), obteniendo ds dn2 dn1 m1 m2 ds (s) = ds . (5.4) dm1 dm2 m2 m1 ds ds Esta ecuacin es bien general, pero a veces puede quedar complicada, deo pendiendo de las ecuaciones que describen la familia de rectas. Nosotros vamos a aplicarla a dos casos particulares, que pasamos a detallar.
7 Suponemos

que tanto E como resultan diferenciables.

Pg. 14 a

El baricentro. . .

5.1.

La hiprbola en la biseccin del tringulo e o a

En el caso de la familia de rectas que estudiamos en la Seccin 3, tomando o los puntos donde la recta corta a los lados que contienen al vrtice A, ponemos e P = (B A) + A y Q = (C A) + A,

donde y son positivos. Usando que el area del tringulo P AQ es la mitad del area del tringulo a a BAC, obtenemos que y estn relacionados por a = 1/2, (5.5)

como hemos visto en la ecuacin (3.6). o Mirando a la recta que pasa por P y Q, obtenemos su ecuacin paramtrica o e (x, y) = t(Q P ) + P, por lo que usando (5.5), obtenemos que la familia de rectas que nos interesa se describe con el parmetro mediante a 1 (C A) + (A B) + (B A) + A. 2 Recordando que juega el papel de s en (5.4), en nuestro caso tenemos R(t, ) = t M= de donde 1 dN dM = 2 (A C) + (A B) y = B A. d 2 d Reemplazando en la ecuacin (5.4), y simplicando queda, por algn milagro, o u () = 1/2, por lo que la ecuacin de la envolvente, en trminos del parmetro es o e a 1 1 (C A) + (B A) + A, (5.6) 4 2 donde, recordemos, A, B y C son los vrtices del tringulo, la ecuacin describe e a o las rectas asociadas a A y, consecuentemente, debe ser 1/2 18 . Si bien podemos sospechar a partir de la forma paramtrica que se trata de e una hiprbola, nos gustar tener una ecuacin de la forma y = f (x) o similar, e a o o sea, despejar del sistema de ecuaciones (5.6). En general, las ecuaciones resultantes son bastante horribles, pero podemos poner algunos valores particulares de A, B y C para que las cuentas den lindas. Por ejemplo, si consideramos el tringulo rectngulo donde A = (0, 0), B = (2, 0) a a y C = (0, 4), la ecuacin (5.6) se escribe como o (x, y) = E() = R( (), ) = x = , y = 1/, 1 (C A) + (A B) 2 y N = (B A) + A,

y podemos eliminar quedando la ecuacin de la envolvente como la hiprbola o e clsica: a y = 1/x.

8 Secreto: (5.6) es la forma que usamos para dibujar las envolventes en la Figuras 9, 10 y 11.

5.2

Una parbola a

Pg. 15 a

5.2.

Una parbola a

El lector posiblemente recuerde el siguiente problema folklrico: o Problema 5.1. En una escuadra se ponen chinches sobre cada cateto espaciadas uniformemente. Se unen con un piol las chinches de un cateto con las del n otro cateto, de modo que la suma de las distancias de las chinches unidas al angulo recto permanezca constante. Los piolines van delineando una curva (la envolvente) (ver Figura 16): qu tipo de curva es? e

escuadra, chinches y piolines

escuadra, piolines y envolvente

Figura 16: la envolvente es una parbola. a La respuesta es que en este caso la envolvente es parte de una parbola, a propiedad que veremos ahora anal ticamente usando los resultados del principio de esta Seccin. o Vamos a poner valores particulares a la escuadra para simplicar los cmputos y obtener algo bien reconocible, considerndola como que el vrtice o a e de angulo recto est ubicado en A = (0, 0), y los catetos siguen las direcciones a (1, 1) y (1, 1). Las rectas de nuestra familia estn denidas ahora por puntos a P y Q en distintos catetos, de modo que, para alguna constante > 0, P A + QA = . Poniendo P = (1, 1) y Q = (1, 1), la relacin anterior puede escribirse o como + = 2 . Aunque podr amos continuar sin dar valores a , tomemos el valor particular = 1/ 2, a n de simplicar las cuentas. Entonces la ecuacin de la recta por o P y Q, (x, y) = t (Q P ) + P, se escribe como x = t + y y = (1 2) t + , y N = (, ),

los valores de M = (m1 , m2 ) y N = (n1 , n2 ) en la ecuacin (5.1) son o M = (1, 1 2) y las derivadas respectivas son dM = (0, 2) d y dN = (1, 1). d

Pg. 16 a

El baricentro. . .

Reemplazando estos valores en (5.4), obtenemos () = 1 , y la ecuacin de la envolvente en forma paramtrica es o e x = 1 + 2 y y = 1 2 + 2 2 .

Eliminando , obtenemos la ecuacin de la envolvente como o y= 1 2 1 x + , 2 2

que reconocemos como la de una parbola. a Recordemos que la envolvente, dibujada en azul en la Figura 16, es slo una o parte de la parbola. En nuestro caso, los catetos de la escuadra son tangentes a a la parbola, como puede verse sencillamente tomando derivadas (y(1) = 1 y a dy (1) = 2). La envolvente es la parte de la parbola encerrada entre estas a dx dos tangentes. No hay nada de extraordinario en que la escuadra est a 90 , como el lector e podr comprobar: a Problema 5.2. Adaptar los pasos anteriores para el caso en que el angulo del vrtice sea arbitrario (entre 0 y 180 ), comprobando que tambin se trata de e e (parte de) una parbola. a De este modo, podemos poner chinches equiespaciadas en los lados de cualquier pol gono y unir adecuadamente las de lados consecutivos, para obtener distintas partes de parbolas. La Figura 17, en la que por claridad no hemos a remarcado las envolventes, muestra una posibilidad con un tringulo. Podemos a observar que las constantes son distintas para cada vrtice. Tambin podee e mos observar que no siempre tiene sentido encontrar la ecuacin de la parbola o a correspondiente en la forma y = f (x), y es ms conveniente trabajar con la a forma paramtrica. e

Figura 17: varias parbolas en el tringulo. a a Debemos destacar que desde el punto de vista geomtrico, considerando a e la parbola como denida por un foco (punto) y directriz (recta), en el caso a

6. Deniendo el baricentro

Pg. 17 a

del angulo a 90 el vrtice es la interseccin de la directriz y el eje (la recta e o perpendicular a la directriz que pasa por el foco), mientras que en el caso general, el vrtice slo est sobre el eje. e o a

6.

Deniendo el baricentro

Cuando empujamos una mesa rectangular apoyndonos en una esquina coa mo esquematizado en la Figura 18.a), dif cilmente consigamos que la mesa se traslade paralelamente, sino que inducimos un movimiento de rotacin9 . Para o evitarlo, normalmente empujamos desde el centro (Figura 18.b)) o repartiendo nuestras fuerzas simtricamente respecto del punto medio del borde (Figue ra 18.c)).

6 a) en una esquina

6 b) en el centro

c) repartido

Figura 18: empujando una mesa. Por supuesto que no es nuestra intencin desarrollar ahora un curso de o f sica10 , pero observamos que la fuerza resultante no se obtiene mediante la suma de vectores libres, usando por ejemplo la ley del paralelogramo, sino que es importante saber exactamente dnde se aplica, o al menos saber un punto o sobre la recta que dene el punto de aplicacin y la fuerza. En el caso de la o mesa, la fuerza resultante tiene que estar aplicada de forma tal que pase por el centro de la mesa. En la Figura 19 esquematizamos el caso en que varias personas empujan nuestra pobre mesa, poniendo las longitudes de las echas proporcionales a las magnitudes de las fuerzas. Ahora no es claro a simple vista si habr o no a rotacin de la mesa. o

66

Figura 19: muchos empujando la mesa. Para calcular la fuerza resultante, debemos tener en cuenta no slo la mago nitud sino tambin de alguna manera la distancia al centro del borde para cada e
9o 10 ni

no la movemos, si es muy pesada. sabr como hacerlo! a

Pg. 18 a

El baricentro. . .

una de las fuerzas que intervienen. En todo caso, queremos que la fuerza resultante quede aplicada sobre el centro de la mesa. Es as que surge la idea de momento, en el cual tenemos en cuenta el producto de la magnitud por la distancia, a diferencia de cuando calculamos la fuerza como suma de vectores libres. Trataremos de ilustrar cmo obtener esta resultante en un ejemplo ms o a sencillo, cambiando la mesa empujada por una barra (de muy poco peso) sostenida por su punto medio y de la cual penden diversos pesos11 , como se indica en la Figura 20. La situacin es similar al caso de la mesa: para que la barra no o se incline, las fuerzas tienen que estar distribuidas adecuadamente. e z ~ }x ~ ~

Figura 20: una barra con varios pesos adosados. Si ponemos el centro de coordenadas en el centro de la barra, y la i-sima e pesa, 1 i n, est ubicada en la posicin con abscisa xi (xi puede ser menor a o sica nos dice que la condicin para que la barra o que 0) y tiene peso mi 12 , la f no se incline est dada por a
n

xi mi = 0,
i=1

mientras que el peso total, independiente de las posiciones, es

n

m=
i=1

mi .

Si ahora queremos suspender la barra desde la posicin (x0 , 0) de modo que o no se incline, la distribucin de los pesos debe satisfacer o
n i=1

(xi x0 )mi = 0,
n

o,
n

xi m i =
i=1 n i=1

x0 mi = mx0 ,

ya que el peso, m = i=1 mi no var Puesto de otra forma, para que la barra a. no se incline, debe estar suspendida desde un punto con abscisa x0 =
11 suponemos

1 m

xi m i ,
i=1

12 equiparando

que acta la gravedad en la direccin y. u o de alguna manera peso con masa.

6. Deniendo el baricentro

Pg. 19 a

que es un promedio pesado de las coordenadas xi , ya que n (mi /m) = 1. i=1 No nos ha importado la ordenada del punto de suspensin, puesto que suo ponemos que las unicas fuerzas actuantes son debido a la gravedad, es decir, actan en una unica direccin. u o En general, en cambio, debemos tenerla en cuenta. El caso t pico es un sistema de masas, idealmente puntuales y r gidamente unidas, cada una con masa mi y ubicada en la posicin (xi , yi ), como se ilustra en la Figura 21. o } z ~

Figura 21: un sistema de masas puntuales. El centro de gravedad del sistema es un punto (x0 , y0 ) de modo que el sistema no gire al ser sometido a cualquier atraccin (no slo en la direccin y). Para o o o encontrarlo, descomponiendo las fuerzas en las direcciones x y y, vemos que debemos pedir x0 = 1 m
n

xi m i
i=1

y0 =

1 m

y i mi ,
i=1

donde, como antes, m = n mi . i=1 Una de las razones de la potencia de las matemticas es que distintos fena o menos tienen el mismo modelo matemtico. Por ejemplo, el modelo f a sico de la barra con pesos es bsicamente el mismo que usamos al estudiar probabilidades. a En ese caso, si obtenemos el valor xi con probabilidad pi , pedimos
n

1=
i=1

pi ,

y denimos la media o esperanza como

n

xi p i .
i=1

Podemos equiparar la suma de probabilidades a que el sistema tenga masa total 1, por ejemplo usando unidades adecuadas, y la media es idntica al valor e x0 si, como suponemos, m = 1. El centro de gravedad y la esperanza son ejemplos de momentos de primer orden, pero se denen momentos de cualquier orden. El de segundo orden, en a nuestro caso i x2 pi , est relacionado con la varianza en probabilidades y con i el momento de inercia en f sica. Para obtener el centro de gravedad de una gura plana F , tenemos que suponer que hay much simas masas que la constituyen, pero ahora todas con

Pg. 20 a

El baricentro. . .

el mismo peso (pues suponemos el area como invariante por traslaciones). La masa se convierte entonces en la integral doble que dene el area de F , m=
F

dx dy,

(6.1)

y el centro de gravedad (x0 , y0 ) satisface x0 = 1 m x dx dy

F

y0 =

1 m

y dx dy.
F

(6.2)

Estas ecuaciones han sido motivadas por la f sica, pero son las deniciones matemticas del area (6.1) y del baricentro (6.2) de la gura F . a No es dif ver que si aplicamos un movimiento r cil gido (traslacin, rotacin o o o simetr a la gura F , el area no cambia pero el centro de gravedad se mueve a) de la misma forma, ya que el determinante de la matriz Jacobiana de estas transformaciones lineales es 1. Tambin es sencilla la Propiedad 4.1, puesto que si F es la unin disjunta e o de F y F , tendremos m=
F

dx dy =
F

dx dy +
F

dx dy = m + m ,

mientras que, siendo P = (x0 , y0 ), P = (x0 , y0 ) y P = (x0 , y0 ) los respectivos centros de gravedad, mP = (
F

x dx dy,
F

y dx dy) = x dx dy,
F F

=(
F

x dx dy + x dx dy,
F F

y dx dy +
F

y dx dy) = y dx dy) =
F

=(

y dx dy) + (
F

x dx dy,

= m (x0 , y0 ) + m (x0 , y0 ) = m P + m P , que es la ecuacin (4.1). o Terminamos estas notas demostrando el axioma de la Seccin 4, con el que o establec amos que el baricentro del tringulo es donde se cortan las medianas. a Desde el punto de vista anal tico, debemos ver que si A, B y C son los vrtices e 1 del tringulo, entonces el baricentro es 3 (A + B + C). a Por la discusin que acabamos de hacer, y tal vez despus de traslaciones o o e rotaciones, podemos suponer que el tringulo tiene vrtices A = (0, 0), B = (b, 0) a e con b > 0, y C = (c1 , c2 ), donde c2 > 0 y 0 < c1 < b (eventualmente el angulo recto u obtuso est en C). a Para calcular el baricentro (x0 , y0 ), consideramos que el borde del tringulo a est denido por dos rectas y el eje x. La primer recta, de ecuacin y = x es a o la que une A con C, y la segunda, de ecuacin y = (x b) es la que une C o con B, por lo que c2 c2 y = . (6.3) = c1 c1 b Vamos a necesitar el area del tringulo, que podemos poner como a m = bc2 /2. (6.4)

Referencias

Pg. 21 a

Para calcular x0 , teniendo en cuenta que 0 < c1 < b, observamos que

c1 x b (xb)

mx0 =
0 c1

x(
0

dy) dx +
c1 b

x(
0

dy) dx =

=
0

x(x) dx +
c1

x (x b) dx =

1 1 3 1 c + (b3 c3 ) b(b2 c2 ). 1 1 3 1 3 2

Recordando que b3 c3 = (b c1 )(b2 + bc1 + c2 ), b2 c2 = (b c1 )(b + c1 ) 1 1 1 y las ecuaciones (6.3), podemos escribir mx0 = 1 1 2 1 c2 c c2 (b2 + bc1 + c2 ) + c2 b(b + c1 ) = 1 3 1 3 2 1 = c2 b(b + c1 ). 6 1 (b + c1 ). 3

Considerando ahora el valor de m en (6.4), llegamos a x0 = (6.5)

Realizando un procedimiento anlogo para calcular y0 , tenemos (omitiendo a algunos detalles)

c1 x b (xb)

my0 =
0

(
0 c1

y dy) dx +
c1

(
0 b

y dy) dx =

1 1 2 (x b)2 dx = x2 dx + ( )2 2 2 c1 0 1 1 = 2 c3 + ( )2 (b c1 )3 = 1 6 6 1 2 = c2 c1 + c2 (b c1 ) = 2 6 1 = c2 b. 6 2 = Entonces, recordando (6.4), y0 =

1 3 (A

1 c2 . 3

Este valor, junto con el hallado para x0 en (6.5), implican que (x0 , y0 ) = + B + C), con lo que hemos demostrado el axioma.

Referencias
[BS] W. A. Beyer y B. Swartz: Bisectors of Triangles and Tetrahedra, American Mathematical Monthly, vol. 100, no. 7 (1993), pgs. 626640. a [CS] W. G. Chinn y N. E. Steenrod: First Concepts of Topology, Random House (1966). Versin en castellano: Primeros Conceptos de Topologa, Alo hambra (1975).