30.9.13

Arbelos: Teorema de Pappus - demonstração usando inversão


Na entrada anterior, referimos um Teorema de Pappus relativo à chamada cadeia de Pappus, sequência de circunferências tangentes a duas circunferências dadas e cada uma delas tangente à que a precede e à que a sucede.
Na nossa construção, partimos de 3 pontos colineares $X, Y, Z$, e das circunferências de diâmetros $XZ$, $XY$ e $YZ$. A circunferência de centro $O_0$ é a circunferência de diâmetro $YZ$, seguida das circunferências de centros $O_1, O_2, O_3, \ldots O_n \ldots \; \;$ da cadeia.
O enunciado do Teorema de Pappus pode enunciar-se assim:
Sejam $X$, $Y$ e $Z$ três pontos colineares tais que $Y$ está entre $X$ e $Z$ e sejam as circunferências (na figura a violeta, amarelo torrado e azul topázio) de diâmetros $XZ$, $XY$, $YZ$. Os círculos $c_1, c_2, c_3, \ldots, c_n \ldots \;\;$ todos tangentes às semicircunferências violeta e amarelo torrado, com $c_1$ tangente ainda à semicircunferência azul topázio $c_0$ e à circunferência $c_2$; $c_3$ tangente a $c_2$ e $c_4$, etc, ... $c_n$ tangente a $c_{n-1}$ e a $c_{n+1}$. Se designarmos por $r_n$ o raio de $c_n$ e por $h_n$ a distância de $O_n$ a $XZ$ , então
$$h_n=2nr_n$$
Na figura destacámos a negro $c_2$ para ilustrar este resultado para o qual $h_2= 2\times 2 \times r_2$.

fotografia de construção *.cdy a ser substituída por construção interactiva *.ggb, logo que possível

A demonstração, com recurso à inversão, é feita com toda a generalidade.
  1. Consideremos a inversão relativa à circunferência de centro $X$ e raio $t_n$ em que $t_n$ é o comprimento da tangente a $c_n$ tirada por $X$ (no caso da nossa ilustração: circunferência de centro $X$ e raio $t_2$ em que $t_2 =XT_2$ sendo $T_2$ o ponto de tangência da tangente a $c_2$ tirada por $X$ ).
  2. Fazemos isso, porque $XT_n$ é perpendicular a $O_nT_n$, sendo $XT_n$ tangente a $c_n$ e $O_nT_n$ tangente à circunferência de inversão e, por isso, $c_n$ ser ortogonal à circunferência de inversão. As circunferências ortogonais à circunferência de inversão são inversas de si mesmas.
    Pela inversão $I(X, t_n ^2)$ a inversa de $c_n$ é $c_n$.
  3. As inversas das circunferências de diâmetros $XZ$ e $XY$ são retas, já que elas passam por $X$, centro da inversão. Estas retas ficam definida pelos pontos de interseção dessas circunferências com a circunferência de inversão.
  4. A inversa da circunferência de centro $O_0$ (diâmetro $YZ$) é uma circunferência tangente às duas retas, determinadas como inversas das circunferências de diâmetros $XZ$ e $XY$ de centro $K_n$ colinear com $X$, $Y$, $Z$ e $O_0$(no caso da nossa ilustração, trata-se da circunferência de centro $K_2$ e raio=$O_2T_2$). Tanto $O_n$ como $K_n$ estão sobre perpendicular equidistante das retas correspondentes, pela inversão, às circunferências de diâmetros $XZ$ e $XY$ e por isso os seus raios são iguais a $O_nT_n$.
  5. O raciocínio feito para a inversa de $c_0$ serve para as circunferências $c_1$, $c_2$, $c_{n-1}$ que são tangentes às duas circunferências originais, tendo inversas $c'_i, \;\; 0\leq i\leq n$ tangentes a essas retas obtidas como inversas das originais. Todas essas inversas têm o mesmo raio $O_nT_n$.
  6. Para além de serem tangentes a essas retas inversas cada uma delas $c'_i$ deve ser tangente a $c_{i-1}$ e a $c_{i+1}$. No caso da nossa ilustração $c'_1$ é tangente a $c'_0$ e a $c'_2=c_2$ e, por isso, $h_2$ ou $O_2K_2$ é igual à soma de um raio de $c'_0$ + 2 raios de $c'_1$ + 1 raio de $c'_2$, no total $4r_2$
  7. Para $d_n$, teremos 1 $r_n$ para $c'0$ e outro para $c'_n = c_n$ para além de $2(n-1) r_n$ correspondentes aos diâmetros de $n-1$ circunferências iguais a $c_n$, $c'_i, \; \; 1\leq i\leq n-1$: $2+2(n-1).r_n= 2nr_n=d_n \hspace{1cm} \square$

Howard Eves, Fundamentals of Modern Elementary Geometry . Jones and Bartlett Pub. Boston:1992

27.9.13

Construir uma cadeia de Pappus usando uma inversão


Antes da demonstração do teorema de Pappus, sobre uma propriedade da cadeia de Pappus (arbelos, faca de sapateiro), publicamos uma construção da cadeia de Pappus, recorrendo à inversão, proposta por Mariana Sacchetti.
Na nossa construção, partimos de um segmento $XZ$, a ser percorrido por um ponto $Y$, circunferências de diâmetros $XZ$, $XY$ e $XZ$. Depois determinamos, com a ajuda de uma inversão, as circunferências da cadeia, tangentes às referidas de diâmetros $XZ$ e $XY$ e cada uma delas tangente ainda a duas da cadeia.


Para construir a cadeia, Mariana propôe uma inversão relativa a uma circunferência com centro em $X$ e raio $XZ$.
Por essa inversão, $I(X,XZ^2)$, as inversas das circunferências de diâmetros $XZ$ e $XY$ que passam pelo centro $X$ de inversão, são retas. A inversa da circunferência de diâmetro $XZ$ tem o ponto $Z$ sobre a circunferência de inversão e, por isso, passa por $Z$.
Assim, as circunferências da cadeia têm inversas tangentes às inversas das cirucnferências de partida. Como cada uma delas temm ainda de ser tangente a duas outras da cadeira, as suas inveersas empilham-se entre as retas inversas das circunferências de partida, cada uma tangente a essas retas e tangentes às vizinhas, como bem ilustra a construção.
As circunferências da cadeia são obtidas por inversão, $I(X, XZ^2)$, aplicada às circunferências da pilha sequencial entre retas.

25.9.13

Determinar a envolvente de uma família de circuncírculos com recurso à inversão


Nesta entrada, mostramos como a utilização da inversão nos permite determinar um lugar geométrico. A ilustração é muito dinâmica e podia ter-se ficado pela observação dos traçados ou pela apresentação do lugar geométrico que o Cinderella (ou outro programa de geometria dinâmica nos fornece). Mas o recurso à inversão é inestimável para compreender melhor e para desvendar procedimentos de construção e demonstração.
Enunciemos:

Os lados azuis de um ângulo dado de vértice $O$ fixo, em torno do qual rodam, são cortados por uma reta azul em $A$ e $B$. Para cada posição dp ângulo $AÔB$, há um triângulo e a respetiva circunferência circunscrita definida por $A,O, B$. Qual será a envolvente da infinidade das circunferências $OAB$ obtidas quando o ângulo roda em torno do seu vértice $O$?

Na nossa construção, partimos de um ângulo de amplitude fixa, vértice $O$ e lados azuis que cortam a reta $r$ (outro azul) em $A$ e $B$.
em vez da construção *.cdy uma ilustração estática espera ser substituída por uma nova construção interactiva talvez*.ggb
Acompanhe a explicação dos passos dados com a figura original não animada. Claro que pode mover a reta $r$, rodar o ângulo (há um ponto verde para isso). E pode animar a figura usando os botões de animação ao fundo à esquerda.


Para cada reta $r$ e cada posição do ângulo de duas retas (amplitude $\alpha$ ou $\pi-\alpha$) há um triângulo único $OAB$ e logo uma única circunferência circunscrita desenhada a cinza na figura. Quando o ângulo roda em torno de $O$, $A$ e $B$ percorrem a reta $r$ e criando desse modo uma infinidade de circunferências circunscritas. Sera que podemos determinar a envolvente dessa infinidade de circuncírculos?
  1. A inversão relativamente a uma circunferência de centro $O$ e raio $OH$, $I(O, OH^2)$, é a ajuda que precisamos para passarmos do circuncírculo $OAB$ para uma reta a passar pelos pontos de interseção do círculo de inversão a vermelho como o circuncírculo. O circuncírculo passa pelo centro de inversão (e a sua imagem é uma reta), passa por $A$ e $B$ (e a sua inversa passa por $A'$ e $B'$.
  2. A inversa da reta $r=AB$ que passa por $H$, ponto da circunferência de inversão, é uma circunferência que passa pelo centro $O$ de inversão, por $H=H'$, por $A'$ e por $B'$. O seu centro é o ponto médio de $OH$ Lembremos que, para cada reta $r$, $OH$ é independente da rotação do ângulo em torno de $O$, como o é a circunferência de centro $O$ e raio $OH$.
  3. As cordas $A'B'$ da circunferência de centro $O$ e raio $OH$ são iguais por corresponderem a ângulos ao centro e arcos iguais correspondentes ao nosso ângulo $O$ inscrito na circunferência inversa de $r$. Os pontos médios destas cordas na circunferência de diâmetro $AH$ são pontos de uma circunferência concêntrica, desenhada na figura, que é a envolvente destas cordas $A'B'$.
  4. Esta circunferência que tem centro no ponto médio de $OH$ e toca a corda a $A'B'$ é a envolvente da inversa do circuncírculo. Assim, a correspondente desta, pela mesma inversão $I(O, OH^2)$, tocará o circuncírculo nos correspondentes aos pontos médios das cordas $A'B'$. E sabemos que a inversa de uma circunferência que não passa pelo centro de inversão é uma circunferência. Está provado que a envolvente dos circuncírculos é uma circunferência. Que circunferência? Quanto mede o seu raio? Onde está o seu centro?
  5. Claro que o centro da envolvente dos circuncírculos estará sobre a reta $OH$. Para o resto, bastará considerar uma tangente à circunferência envolvente de $A'B'$, tirada por $O$, centro de inversão. Chamemos $T$ ao ponto de tangência. Pela inversão $I(O, OH^2)$, a $T$ corresponderá um ponto $T'$ de tangência da circunferência envolvente dos circuncírculos. E $OT \times OT' = OH^2$.
  6. $OT$ corta a circunferência inversa de $r$ numa posição de $A'$, que designamos por $P'$, correspondente a uma posição $A$ sobre a reta $r$, que designamos por $P$. Sabemos, por isso, que $OP'= 2.OT$. $$OH^2=OP\times OP' = OP \times 2.OT = OT\times OT'$$ de onde se conclui que $$OT'=2\times OP$$. Podemos assim determinar sobre a reta que passa por $O, T, P´, P$ o ponto $T'$ de tangência da tangente tirada por $O$ à inversa da envolvente de $A'B'$. O centro desta circunferência, envolvente dos circuncírculos, está na interseção da reta $OH$ com a perpendicular a $OT$ tirada por $T'$.
    Ficou assim determinada a envolvente aos circuncírculos $OAB$. $\hspace{1cm} \square$
Para confirmar este resultado, clique no botão da animação em baixo à esquerda.
Caronnet, Th. Éxércices de Géométrie Vuibert. Paris:1946
Howard Eves, Fundamentals of Modern Elementary Geometry . Jones and Bartlett Pub. Boston:1992

17.9.13

O produto das diagonais de um quadrilátero convexo é no máximo igual à soma dos produtos dos seus pares de lados opostos



Nesta entrada apresentamos uma ilustração e demonstração do Teorema de Ptolomeu cujo enunciado é:

De um quadrilátero convexo $ABCD$ inscrito numa circunferência, o produto das diagonais $AC \times BD$ é igual á soma dos produtos dos dois pares de lados opostos $AB\times CD + BC \times AD$

Por diversas vezes foi citado e utilizado o Teorema de Ptolomeu neste "lugar geométrico". Nesta entrada, tratamos da sua demonstração recorrendo à inversão.
Na nossa construção, partimos de uma circunferência (a azul) e o quadrilátero convexo $ABCD$ (a negro) nela inscrito.


  1. Queremos demonstrar que, para o quadrilátero convexo $ABCD$ inscrito, se verifica que $$AB\times CD +BC\times AD = AC \times BD .$$ Para isso tomamos uma circunferência de inversão com centro num dos vértices do quadrilátero. No caso da nossa construção, tomamos $A$ para centro da inversão e uma circunferência (a vermelho) de raio unitário, por conveniência de escrita ( $r=r^2 = 1$) sem perder generalidade.
    A inversão de centro $A$ e raio $1$ é designada por $I(A,1)$. Por esta inversão, o correspondente de $B$ é um ponto $B'$ tal que $AB\times AB' =1$. Do mesmo modo, $AC \times AC'=1$ e $AD \times AD'=1$.
    Por $I(A,1)$, a circunferência azul que contém o centro da inversão tem como correspondente uma reta (a azul na figura), sobre a qual estão $B', C', D'$. $$B'C' + C'D' = B'D'$$ Em entrada de 26 de Agosto p.p., mostrámos que, para uma inversão $I(O,r^2)$ que transforma $P$ em $P'$ e $Q$ em $Q'$. $$P'Q' = PQ \frac{r^2}{OP \times OQ}$$. No caso de $I(A, 1)$ $$B'D' = \frac{BD}{AB \times AD} , \hspace{.5cm} B'C' = \frac{BC}{AB \times AC} , \hspace{.5cm} C'D' = \frac{CD}{AC \times AD}$$ $$B'C' + C'D' = B'D' \Longleftrightarrow \frac{BD}{AB \times AD} = \frac{BC}{AB \times AC} + \frac{CD}{AC \times AD}$$ e, em conclusão,, $$ BD \times AC = BC\times AD + CD \times AB $$ como queríamos. $\hspace{.5cm} \square$
  2. Com esta demonstração, recorrendo à inversão, podemos generalizar este resultado de Ptolomeu imediatamente. Assim:
    Se o polígono convexo $ABCD$ não estiver inscrito num círculo, i. e., se os pontos $A,B,C,D$ não forem concíclicos, pela inversão $I(A, 1)$, os pontos $B', C', D'$ não são colineares. Pela desigualdade triangular, $B'D' < B'C'+ C'D'$ e, em consequência, $$AC \times BD < AB\times CD + BC \times AD$$ Podemos assim afirmar que , em geral,
    o produto das diagonais de um quadrilátero convexo é no máximo igual à soma dos produtos dos pares de lados opostos.

Howard Eves, Fundamentals of Modern Elementary Geometry . Jones and Bartlett Pub. Boston:1992