Archivo de la etiqueta: teorema de Pappus

Geometría Moderna I: Triángulos en perspectiva

Por Rubén Alexander Ocampo Arellano

Deja un comentario

Introducción

En esta entrada mostraremos el teorema de Desargues que nos habla sobre triángulos en perspectiva, también mostraremos los teoremas de Pascal y de Pappus, estos nos dicen cuando los lados opuestos de un hexágono se intersecan en puntos colineales.

Definición. Dos triángulos $\triangle ABC$ y $\triangle A’B’C’$ están en perspectiva desde una recta si los lados correspondientes $AB$, $A’B’$; $BC$, $B’C’$ y $CA$, $C’A’$ se intersecan en puntos colineales, a dicha recta se le conoce como eje de perspectiva.

Dos triángulos $\triangle ABC$ y $\triangle A’B’C’$ están en perspectiva desde un punto si las rectas que unen vértices correspondientes $AA’$, $BB’$ y $CC’$ son concurrentes, a dicho punto se le conoce como centro de perspectiva.

Observación. Notemos que ya hemos trabajado con un tipo especial de perspectiva, la homotecia, donde los vértices correspondientes son concurrentes pero los lados correspondientes son paralelos.

En este caso el centro de perspectiva es el centro de homotecia y como las rectas paralelas se intersecan en el punto al infinito entonces la recta al infinito es el eje de perspectiva.

El siguiente teorema generaliza esta dualidad eje-centro de perspectiva.

Teorema de Desargues

Teorema 1, de Desargues. Dos triángulos tienen un centro de perspectiva si y solo si tienen un eje de perspectiva.

Demostración. Consideremos dos triángulos, $\triangle ABC$ y $\triangle A’B’C’$,
sean $R = AB \cap A’B’$, $P = BC \cap B’C’$ y $Q = CA \cap C’A’$.

Figura 1

Supongamos que $AA’$, $BB’$ y $CC’$ concurren en $S$, aplicamos el teorema de Menelao a $\triangle SAB$, $\triangle SAC$ y $\triangle SBC$ con sus respectivas transversales $B’A’R$, $C’A’Q$ y $B’C’P$.

$\begin{equation} \dfrac{SA’}{A’A} \dfrac{AR}{RB} \dfrac{BB’}{B’S} = -1, \end{equation}$
$\begin{equation} \dfrac{SA’}{A’A} \dfrac{AQ}{QC} \dfrac{CC’}{C’S} = -1, \end{equation}$
$ \begin{equation} \dfrac{SB’}{B’B} \dfrac{BP}{PC} \dfrac{CC’}{C’S} = -1. \end{equation}$

Hacemos el cociente de $(1)$ entre $(2)$ y obtenemos
$\begin{equation} \dfrac{AR}{RB} \dfrac{BB’}{B’S} \dfrac{QC}{AQ} \dfrac{C’S}{CC’} = 1. \end{equation}$

Multiplicamos $(3)$ por $(4)$ y obtenemos
$\dfrac{AR}{RB} \dfrac{BP}{PC} \dfrac{QC}{AQ} = – 1$.

Por lo tanto, por el teorema de Menelao, $P$, $Q$ y $R$ son colineales.

$\blacksquare$

Conversamente, supongamos que $RPQ$ es una recta y sea $S = BB’ \cap CC’$.

Notemos que $QR$, $CB$ y $C’B$ concurren en $P$ (figura 1), por lo tanto, $\triangle QCC’$ y $\triangle RBB’$ están en perspectiva desde $P$, por la implicación que ya probamos los puntos $A = QC \cap RB$, $A’ = QC’ \cap RB’$ y $S = BB’ \cap CC’$, son colineales.

Por lo tanto, $AA’$, $BB’$ y $CC’$ concurren en $S$.

$\blacksquare$

Punto de Gergonne

Proposición. Considera un triángulo $\triangle ABC$ y su incírculo $\Gamma$, sean $D$, $E$ y $F$ los puntos de tangencia de $\Gamma$ con los lados $BC$, $CA$ y $AB$ respectivamente, entonces $AD$, $BE$ y $CF$ son concurrentes, en un punto conocido como punto de Gergonne.

Demostración. En la entrada anterior demostramos que los triángulos $\triangle ABC$ y $\triangle DEF$ están en perspectiva desde la recta de Gergonne de $\triangle ABC$, es decir, $AB$, $DE$; $BC$, $EF$ y $CA$, $FD$ se intersecan en tres puntos colineales.

Figura 2

Por lo tanto, por el teorema de Desargues $AD$, $BE$ y $CF$ son concurrentes

$\blacksquare$

Triángulos con dos ejes de perspectiva

Teorema 2. Si dos triángulos tienen dos ejes de perspectiva entonces tienen tres ejes de perspectiva.

Demostración. Supongamos que los triángulos $\triangle ABC$ y $\triangle A’B’C’$ están en perspectiva desde dos rectas, es decir, los puntos, $Z = AB \cap B’C’$, $X = BC \cap C’A’$ y $Y = CA \cap A’B’$ son colineales y los puntos $R = AB \cap C’A’$, $P = BC \cap A’B’$ y $Q = CA \cap B’C’$ son colineales.

Sean $F = AB \cap A’B’$, $D = BC \cap B’C’$ y $E = CA \cap C’A’$, aplicamos el teorema Menelao a $\triangle ABC$ y las transversales $DZQ$, $FPY$ y $EXR$.

Figura 3

$\dfrac{AZ}{ZB} \dfrac{BD}{DC} \dfrac{CQ}{QA} = -1$,
$\dfrac{AF}{FB} \dfrac{BP}{PC} \dfrac{CY}{YA} = -1$,
$\dfrac{AR}{RB} \dfrac{BX}{XC} \dfrac{CE}{EA} = -1$.

Multiplicamos estas tres igualdades y reordenamos
$\dfrac{AF}{FB} \dfrac{BD}{DC} \dfrac{CE}{EA} (\dfrac{AZ}{ZB} \dfrac{BX}{XC} \dfrac{CY}{YA}) (\dfrac{AR}{RB} \dfrac{BP}{PC} \dfrac{CQ}{QA}) = – 1$.

Recordemos que como $X$, $Y$, $Z$ y $P$, $Q$, $R$ son colineales entonces
$\dfrac{AZ}{ZB} \dfrac{BX}{XC} \dfrac{CY}{YA} = – 1$,
$\dfrac{AR}{RB} \dfrac{BP}{PC} \dfrac{CQ}{QA} = – 1$.

Por lo tanto
$\dfrac{AF}{FB} \dfrac{BD}{DC} \dfrac{CE}{EA} = -1$.

Y por el teorema de Menelao $D$, $E$ y $F$ son colineales.

$\blacksquare$

Corolario. Si dos triángulos tienen dos centros de perspectiva entonces tienen tres centros de perspectiva.

Demostración. Por el teorema de Desargues, si dos triángulos tienen dos centros de perspectiva entonces tienen dos ejes de perspectiva.

Por el teorema anterior, existe un tercer eje de perspectiva.

Nuevamente por el teorema de Desargues, existe un tercer centro de perspectiva.

$\blacksquare$

Teorema de Pappus

Teorema 3, de Pappus. Si los vértices de un hexágono se encuentran alternadamente sobre dos rectas entonces los lados opuestos se intersecan en tres puntos colineales.

Demostración. Sean $ABCDEF$ un hexágono tal que $AEC$ y $DBF$ son dos rectas distintas,
$P = EF \cap AB$, $Q = AB \cap CD$, $R = CD \cap EF$,
$P’ = BC \cap ED$, $Q’ = DE \cap FA$ y $R’ = FA \cap BC$.

Figura 4

Notemos que las rectas $AEC$ y $DBF$ son dos ejes de perspectiva de $\triangle PQR$ y $\triangle P’Q’R’$, pues
$A = PQ \cap Q’R’$, $C = QR \cap R’P’$, $E = RP \cap P’Q’$,
$B = PQ \cap R’P’$, $D = QR \cap P’Q’$ y $F = RP \cap Q’R’$.

Por el teorema anterior $X = PQ \cap P’Q’$, $Y = QR \cap Q’R’$ y $Z = RP \cap R’P’$, son colineales.

$\blacksquare$

Teorema de Pascal

Teorema 4, de Pascal. En todo hexágono cíclico los pares de lados opuestos se intersecan en tres puntos colineales.

Demostración. Sean $ABCDEF$ un hexágono cíclico,
$X = AB \cap DE$, $Y = BC \cap EF$, $Z = CD \cap FA$ las intersecciones de los lados opuestos,
consideremos $P = DE \cap FA$, $Q = FA \cap BC$ y $R = BC \cap DE$.

Figura 5

Aplicaremos el teorema de Menelao a $\triangle PQR$ y las transversales $AXB$, $CDZ$ y $FEY$.
$\dfrac{PA}{AQ} \dfrac{QB}{BR} \dfrac{RX}{XP} = – 1$,
$\dfrac{PZ}{ZQ} \dfrac{QC}{CR} \dfrac{RD}{DP} = – 1$,
$\dfrac{PF}{FQ} \dfrac{QY}{YR} \dfrac{RE}{EP} = – 1$.

Si multiplicamos las tres ecuaciones y reacomodamos obtenemos
$\dfrac{PZ}{ZQ} \dfrac{QY}{YR} \dfrac{RX}{XP} (\dfrac{PF \times PA}{PE \times PD}) (\dfrac{QB \times QC}{QF \times QA}) (\dfrac{RD \times RE}{RC \times RB}) = -1$.

Por otro lado, las potencias de $P$, $Q$ y $R$ respeto al circuncírculo de $ABCDEF$ son la siguientes
$PF \times PA = PE \times PD$,
$QF \times QA = QB \times QC$,
$RD \times RE = RC \times RB$.

Por lo tanto $\dfrac{PZ}{ZQ} \dfrac{QY}{YR} \dfrac{RX}{XP} = -1$.

Por el teorema de Menelao $X$, $Y$ y $Z$ son colineales.

$\blacksquare$

Casos limite en el teorema de Pascal

Existen casos limite donde podemos hacer uso del teorema de Pascal, es decir, podemos considerar un triángulo, un cuadrilátero o un pentágono como un hexágono donde dos vértices se aproximaron hasta volverse uno solo y como consecuencia el lado comprendido entre ellos se vuelve una tangente al circuncírculo en dicho punto.

A continuación, ilustramos esto con un ejemplo.

Problema 1. Considera $\Gamma$ una circunferencia y $l$ una recta, $K \in l$ fuera de $\Gamma$, $P$, $Q \in \Gamma$, sean $KA$ y $KB$ las tangentes desde $K$ a $\Gamma$, $X = PA \cap l$, $Y = PB \cap l$, $C = QX \cap \Gamma$ y $D = QY \cap \Gamma$. Muestra que las tangentes a $\Gamma$ en $C$ y $D$ se intersecan en $l$.

Demostración. Sea $M$ la intersección de las tangentes a $\Gamma$ en $C$ y $D$, $U = AC \cap BD$ y $V = AD \cap BC$.

Figura 6

Por el teorema de Pascal en el hexágono $APBCQD$, $V$ es colineal con $X$ e $Y$, es decir $V \in l$.

Ahora aplicamos el teorema de Pascal al hexágono $AACBBD$, $U$ es colineal con $V$ y $K$, es decir $U \in l$.

Aplicando nuevamente Pascal a $ACCBDD$ tenemos que $M$ es colineal con $U$ y con $V$.

Por lo tanto, $M \in l$.

$\blacksquare$

Pascal, Desargues y un punto al infinito

Problema 2. Sean $\triangle ABC$ un triángulo acutángulo, $B’$ y $C’$ los puntos medios de $CA$ y $AB$ respectivamente, sea $\Gamma_1$ una circunferencia que pasa por $B’$ y $C’$ y que es tangente al circuncírculo de $\triangle ABC$, $\Gamma(ABC)$ en $T$. Muestra que $T$, el pie de la altura por $A$, y el centroide de $\triangle ABC$, son colineales.

Demostración. Sean $B’’ = TB’ \cap \Gamma(ABC)$, $C’’ = TC’ \cap \Gamma(ABC)$ y $D’ = BB’’ \cap CC’’$

Figura 7

Por el teorema de Pascal en el hexágono $ABB’’TC’’C$, $B’$, $D’$ y $C’$ son colineales.

Notemos que existe una homotecia con centro en $T$ que lleva a $\Gamma_1$ en $\Gamma(ABC)$, así que, $C’B’ \parallel C’’B’’$.

Como resultado, $\angle C’’CB = \angle CC’’B’’ = \angle CBB’’$, pues $\angle CC’’B’’$ y $\angle CBB’’$ abarcan el mismo arco.

En consecuencia, $\triangle D’BC$ es isósceles, por lo tanto, el pie de la altura por $D’$ en $\triangle D’BC$ es $A’$, el punto medio de $BC$, o conversamente, la proyección de $A’$ el punto medio de $BC$, en $B’C’$ es $D’$.

Recordemos que existe una homotecia con centro en $G$, el centroide de $\triangle ABC$, que lleva a $\triangle A’B’C’$ en $\triangle ABC$, como $D$ es el pie de altura por $A$ en $\triangle ABC$ y $D’$ el pie de la altura por $A’$ en $\triangle A’B’C’$, entonces $D$ y $D’$ son puntos homólogos en esta homotecia, por lo tanto, $D$, $G$ y $D’$ son colineales.

Por otro lado, como $BB’$, $CC’$ y $DD’$ concurren en $G$, $\triangle D’BC$ y $\triangle DB’C’$ están en perspectiva desde $G$.

Por el teorema de Desargues, los puntos $X = D’B \cap DB’$, $Y = D’C \cap DC’$, $P = BC \cap B’C’$, son colineales, pero $P$ es un punto ideal, pues por la homotecia entre $\triangle A’B’C’$ y $\triangle ABC$, $B’C’ \parallel BC$.

En consecuencia, $XY \parallel B’C’$.

Como $DB’ \cap D’B’’ = X$, $DC’ \cap D’C’’ = Y$ y $B’C’ \cap B’’C’’ = P$, entonces $\triangle DB’C’$ y $\triangle D’B’’C’’$ están en perspectiva desde $XY$, por el teorema de Desargues, $DD’$, $B’B’’$ y $C’C’’$ son concurrentes.

Por lo tanto, $T$, $D$ y $G$ son colineales.

$\blacksquare$

Más adelante…

En la siguiente entrada mostraremos el teorema de Ceva, que nos da condiciones necesarias y suficientes para que tres rectas, cada una por un vértice distinto de un triángulo dado, sean concurrentes.

Tarea moral

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.

  1. Muestra que si tres triángulos:
    $i)$ tienen un eje común de perspectiva, entonces los tres centros de perspectiva son colineales,
    $ii)$ tienen un centro común de perspectiva, entonces los tres ejes de perspectiva son concurrentes.
  2. Muestra que todo triángulo esta en perspectiva desde una recta con:
    $i)$ su triángulo medial,
    $ii)$ su triángulo órtico.
  3. Sean $\triangle ABC$ y $D \in BC$, $\Gamma_1$, $\Gamma_2$, considera los incírculos de $\triangle ABD$ y $\triangle ADC$ respectivamente, $\Gamma_3,$ $\Gamma_4$ los excírculos tangentes a $BC$ de $\triangle ABD$ y $\triangle ADC$ respectivamente (figura 8). Prueba que las tangentes comunes externas a $\Gamma_1$, $\Gamma_2$ y $\Gamma_3$, $\Gamma_4$, concurren en $BC$.
Figura 8
  1. Sea $\square BB’C’C$ un rectángulo construido externamente sobre el lado $BC$ de un triángulo $\triangle ABC$, sean sea $A’ \in BC$, el pie de la altura por $A$, $X = AB \cap A’B’$, $Y = CA \cap C’A’$, muestra que $XY \parallel BC$.
  2. Considera $\Gamma$ el circuncírculo de un triangulo $\triangle ABC$, sean $Q$ el punto medio del arco $\overset{\LARGE{\frown}}{AB}$ que no contiene a $C$, $R$ el punto medio del arco $\overset{\LARGE{\frown}}{CA}$ que no contiene a $B$, $P$ un punto en el arco $\overset{\LARGE{\frown}}{BC}$ que no contiene a $A$, $H = AB \cap PQ$, $J = CA \cap PR$, prueba que $HJ$ pasa por el incentro de $\triangle ABC$.
  3. Sea $\triangle ABC$ y $B’ \in CA$, $C’ \in AB$, sean $D$, $E$ los puntos de tangencia de $\Gamma$ el incírculo de $\triangle ABC$, con $CA$ y $AB$ respectivamente, sean $C’X$ y $B’Y$ segmentos tangentes a $\Gamma$ tal que $X$, $Y \in \Gamma$ (figura 9), demuestra que $B’C’$, $DE$ y $XY$ son concurrentes.
Figura 9

Entradas relacionadas

Fuentes

  • Andreescu, T., Korsky, S. y Pohoata, C., Lemmas in Olympiad Geometry. USA: XYZ Press, 2016, pp 71-82.
  • Lozanovski, S., A Beautiful Journey Through Olympiad Geometry. Version 1.4. 2020, pp 103-109.
  • Johnson, R., Advanced Euclidean Geometry. New York: Dover, 2007, pp 230-239.
  • Coxeter, H. y Greitzer, L., Geometry Revisited. Washington: The Mathematical Association of America, 1967, pp 67-76.

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»

Cálculo Diferencial e Integral II: Teorema de Pappus-Guldinus

Por Miguel Ángel Rodríguez García

Deja un comentario

Introducción

En las secciones anteriores vimos como calcular tanto el volumen como el área de un sólido de revolución, en esta entrada veremos un teorema en el que podemos calcular áreas y volúmenes de sólidos de revolución con sus respectivos centroides, es decir, su centro de simetría, a este teorema se le conoce como teorema del centroide de Pappus que se divide a su vez en dos teoremas y aunque no es una aplicación directa de las integrales, podemos calcular el volumen o el área de estos sólidos de una manera más sencilla, veamos el primer teorema.

Teorema de Pappus (Volúmenes)

El volumen $V$ de un sólido de revolución generado mediante la rotación de una curva plana $C$ alrededor de un eje externo, de manera que, esta última no corte el interior de la región, es igual al producto del área $A$ por la distancia $2\pi d$ recorrida por su centroide en una rotación completa alrededor del eje:

$$V=2\pi A d$$

Demostración:

Sea un área $A$ generada mediante la rotación de una curva plana $C$ alrededor del eje $x$, consideremos un elemento $dA$ de dicha área, el volumen $dV$ generado por el elemento $dA$ es igual a:

$$dV=2 \pi ydA$$

Donde $y$ es la distancia entre el eje $x$ y el elemento $dA$, por tanto:

$$V=\int 2 \pi y dA=2 \pi \bar{y} A$$

Con $\bar{y}=d$ y $2\pi \bar{y}$ es la distancia recorrida por el centroide de $A$.

$\square$

Teorema 2 de Pappus (Áreas)

El área $A$ de una superficie de revolución generada mediante la rotación de una curva plana $C$ alrededor de un eje externo, es igual a su longitud $L$, multiplicada por la distancia $2\pi d$ recorrida por su centroide en una rotación completa alrededor del eje, entonces:

$$A=2\pi L d$$

Demostración:

Sea $L$ la longitud de una curva plana $C$ que rota alrededor del eje $x$ y consideremos un elemento $dL$ de dicha longitud. El área $dA$ generada por el elemento $dL$ es igual a:

$$dA= 2 \pi y dL$$

Donde $y$ es la distancia del elemento $dL$ al eje $x$, por tanto:

$$A=\int 2 \pi y dL=2 \pi \bar{y} L$$

Con $\bar{y}=d$ y $2\pi \bar{y}$ es la distancia recorrida por el centroide $L$.

$\square$

Veamos unos ejemplos de como aplicar el teorema de Pappus-Guldinus.

Ejemplos

  • Un toroide se forma al hacer girar un círculo de radio $r$ respecto a una recta en el plano del círculo que es la distancia $R>r$ desde el centro del círculo. Encuentre el volumen del toroide.

El círculo tiene área $A=\pi r^{2}$, por simetría su centroide es su centro, por tanto, la distancia recorrida por el centroide durante una rotación está dada como $d=2\pi R$.

Por el teorema de Pappus (volumen), el volumen del toroide es:

$$V=Ad=(\pi r^{2})(2\pi R)=2\pi ^{2}r^{2}R$$

  • Calcule el área de la superficie del toro del ejercicio anterior.

Del segundo teorema de Pappus (Área) tenemos que:

$$A=2\pi L d=2 \pi (r)(2\pi R)=4\pi ^{2} rR$$

  • Calcula el área de la superficie generada por una circunferencia cuyo radio es de $3m$, girando $2\pi$ alrededor de una recta tangente.

Tenemos que la longitud es $L=2 \pi (3)=6 \pi$

Por el segundo teorema de Pappus calculamos el área de la superficie como:

$$A=2 \pi L d=2 \pi (6 \pi) (3)=36 \pi ^{2}$$

  • Calcula el centroide de un alambre semicircular de radio $R$, que gira alrededor del eje $x$.

Para calcular el centroide podemos utilizar cualquiera de los dos teoremas de Pappus, en este caso, es fácil calcular el centroide por el teorema de Pappus de áreas, veamos:

Sabemos que el área generada es:

$$A=4 \pi R^{2}$$

Y la longitud es:

$$L=\pi R$$

Por el teorema de Pappus (áreas), tenemos que:

$$4 \pi R^{2}=2 \pi \bar{y} (\pi R) \Rightarrow \bar{y}=\frac{2R}{\pi}$$

  • Calcule el volumen del sólido generado por un cuadrado de lado $a=3$ que gira alrededor del eje $y$.

Sabemos que el área lo calculamos como:

$$A=a^{2}=3^{2}=9$$

Sabemos que el centroide de un cuadrado está justo en el centro, o a la mitad de cada cara, por lo que:

$$\bar{y}=1.5$$

Así, calculando el volumen por el teorema de Pappus para volúmenes, tenemos que:

$$V=2\pi A \bar{y}=2\pi (9)(1.5)=27 \pi$$

Tarea moral

Los siguientes ejercicios no son para evaluación, pero son ejercicios para que practiques lo aprendido que te ayudaran en el desarrollo del entendimiento del tema, por lo que te invitamos a resolver los siguientes ejercicios propuestos relacionados con el tema visto.

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.

  1. Hallar el volumen y el área de la superficie de un solido de una esfera de radio r.
  2. Hallar el volumen de un solido de un cono con altura h y radio r.
  3. Calcule el volumen del solido obtenido al hacer girar el triangulo con vértices $(2, 3)$, $(2, 5)$ y $(5, 4)$ respecto al eje x.
  4. La región cuadrada con vértices $(0, 2)$, $(2, 0)$, $(4, 2)$ y $(2, 4)$ se hace girar alrededor del eje $x$ para generar un solido. Determine el volumen y el área de la superficie del sólido.
  5. Localice el centroide de una región semicircular entre la semicircunferencia $y=\sqrt{a^{2}-x^{2}}$ y el eje x.

Más adelante…

Vimos en esta sección el teorema de Pappus con el que se puede calcular el volumen, centroide y el área de un solio de revolución, en la siguiente sección veremos una aplicación más de la integral, en este caso, en el área de la física, que es cálculo de momentos y centros de masa.

Entradas relacionadas