Uma história de dois triângulos: triângulos de Heron e curvas elípticas

Autor do texto original : William McCallum.
Se dois triângulos têm mesma área e mesmo perímetro, serão eles necessariamente congruentes? Vamos ver que a resposta é não. Por exemplo, o triângulo de lados 3, 4 e 5 tem a mesma área e mesmo perímetro que o triângulo de lados 41/15, 101/21 e 156/35


O perímetro de ambos os triângulos é 12:

    \begin{displaymath} 3 + 4 + 5 =12, \quad \hbox{and} \quad \frac{41}{15} + \frac{101}{21} + \frac{156}{35} = \frac{287 + 505 + 468}{105} = \frac{1260}{105} = 12. \end{displaymath}

Surpreendentemente, os dois triângulos também têm a mesma área. A área do triângulo retângulo é \frac{1}{2} 4 \cdot 3 = 6. Para encontrar a área do outro triângulo, usamos a fórmula de Heron, segundo a qual a área A de um triângulo de lados a, b e c é dada por

    \begin{eqnarray*} A &=& \frac{1}{4}\sqrt{(a+b+c)(-a+b+c)(a-b+c)(a+b-c)}\\ &=& \sqrt{s(s-a)(s-b)(s-c)}, \end{eqnarray*}

sendo s = \frac12(a+b+c) o semiperímetro do triângulo. Um cálculo rápido usando essa fórmula, mostra que a área do segundo triângulo também é 6.

O espaço dos triângulos

Como encontrar exemplos assim? O segredo está em encontrar o caminho certo para representar o espaço de todos os triângulos. Há vários caminhos possíveis. Um caminho é representar um triângulo pelo terno (a, b, c) formado pelos comprimentos dos três lados, em alguma ordem. Desse modo representamos um triângulo por um ponto no espaço tridimensional. Nem todo ponto corresponde a um triângulo; por exemplo, todas as coordenadas devem ser positivas. Você saberia dar outras restrições?

Existe outro caminho para colocar coordenadas no espaço dos triângulos, usando ângulos em vez de comprimentos. Todo triângulo tem um círculo inscrito, e o raio r do círculo tem uma relação simples com a área A do triângulo e seu semiperímetro s, a saber:

    \[A = rs.\]

Para ver porque isso é verdade, trace perpendiculares do centro do círculo aos lados do triângulo, como na figura 2, lado esquerdo. Essas perpendiculares formam as alturas de três triângulos menores que têm um vértice no centro do círculo inscrito e cujas bases são os lados do triângulo grande. Somando as áreas desses triângulos, obtemos A=rs.

Rendered by QuickLaTeX.com

Figura 2: Parametrizando o espaço dos triângulos

Essa equação nos diz que se dois triângulos tiverem a mesma área e o mesmo perímetro, os raios de seus círculos inscritos também serão iguais. Então se estivermos procurando dois triângulos nessas condições, nós os encontraremos dentre todos os triângulos circunscritos a um círculo fixo. Em vez de usar comprimentos para descrever esses triângulos, usaremos os ângulos formados pelos três raios no centro do círculo inscrito, como na figura 2, lado direito.

Parametrizando triângulos de área e perímetro constantes

Dentro do espaço dos triângulos podemos encontrar curvas correspondendo a uma família inteira de triângulos, todos eles com mesma área A e mesmo semiperímetro s. Inicialmente, vamos escrever s em função dos ângulos \alpha, \beta e \gamma e do raio r do círculo inscrito, como veremos a seguir. Os raios e as retas que unem os vértices do triângulo ao centro do círculo inscrito particionam esse triângulo em seis triângulos retângulos. Observando que as retas que unem os vértices do triângulo ao centro do círculo bissectam os ângulos do triângulo grande, esses triângulos retângulos ocorrem em pares congruentes. Escolhendo o comprimento da base de um dos triângulos de cada par e somando, obtemos:

    \[s=r (\tan \frac{\alpha}{2} + \tan \frac{\beta}{2} + \tan \frac{\gamma}{2}).\]

Essa equação, juntamente com A = rs, permite concluir que se a área A e o semiperímetro s são constantes, então a soma das tangentes também é constante :

(1)   \begin{equation*} \tan \frac{\alpha}{2} + \tan \frac{\beta}{2} + \tan \frac{\gamma}{2} = \frac{s^2}{A}. \end{equation*}

A seguir, transformamos essa condição numa equação que define uma curva no plano.
Sejam x = \tan (\alpha/2), y = \tan(\beta/2), e z = \tan(\gamma/2). Como \alpha+\beta+\gamma = 2\pi, temos

    \begin{equation*} \frac{\gamma}{2} = {\pi} - \frac{\alpha}{2} - \frac{\beta}{2}, \end{equation*}

e, assim

    \begin{equation*} z = \tan \left( \frac{\gamma}{2} \right)= \tan\left({\pi} - \frac{\alpha}{2} - \frac{\beta}{2}\right) = - \tan\left(\frac{\alpha}{2} + \frac{\beta}{2}\right) = - \frac{x + y}{1-xy}. \end{equation*}

Então, se k for a constante s^2 /A a equação (1), para k fixo, fica:

(2)   \begin{equation*} x + y - \frac{x + y}{1-xy} = k, \end{equation*}

que reescrevemos na forma:

(3)   \begin{equation*} x^2y+xy^2 = kxy - k. \end{equation*}

Todo triângulo de área A e semiperímetro s determina um ponto desta curva e todo ponto desta curva, numa certa região do plano, corresponde a um triângulo. A região corresponde a ângulos que realmente funcionam na Figura 2, isto é, ângulos que satisfazem \alpha + \beta + \gamma = 2\pi e 0 < \alpha, \beta, \gamma < \pi, que corresponde à região x > 0, y > 0 e xy > 1 (pois z > 0).

A figura a seguir mostra essa curva para k = 6, valor que corresponde ao triângulo 3, 4 e 5. Cada ponto da componente dessa curva, no primeiro quadrante, corresponde a um triângulo; os comprimentos dos lados do triângulo são a=x+y, b=y+z e c=z+x. Em particular, os pontos (1,2), (2,1), (2,3), (3,2), (1,3) e (3,1) correspondem ao triângulo de lados 3, 4 e 5, com os lados tomados em ordens diferentes. Essa figura é interativa: veja o que acontece para alguns outros pontos da curva ou outros valores para a área e o perímetro!

Sorry, the GeoGebra Applet could not be started. Please make sure that Java 1.5 (or later) is installed and active in your browser (Click here to install Java now)

Encontrando pontos da curva

Figura 3: Curva parametrizando triângulos de perímetro 12 e área 6.

Como a curva da Figura 3 é definida por uma equação de grau 3, podemos encontrar pontos dessa curva usando o método de tangentes e secantes (método das duas secantes). Dois pontos da curva determinam uma secante que corta a curva em mais um ponto; encontrar esse ponto consiste em resolver uma equação do terceiro grau em x, da qual já conhecemos duas raízes. Como já conhecemos 6 pontos da curva, existem muitas possibilidades para secantes e gerando mais pontos geram-se mais possibilidades. De fato, a curva tem uma infinidade de pontos com coordenadas racionais. O procedimento com duas secantes, ilustrado na Figura 3, nos leva ao ponto (54/35, 25/21) (assinalado com um círculo) que corresponde ao triângulo de lados 41/15, 101/21 e 156/35.

O procedimento usando secantes funciona para qualquer curva cúbica no plano; tais curvas são chamadas curvas elípticas (não porque as curvas são elipses, mas porque elas surgem no estudo de certa classe de funções complexas chamadas funções elípticas). O procedimento usando secantes permite definir uma estrutura de grupo no conjunto dos pontos racionais de uma curva elíptica (isto é, pontos cujas coordenadas são números racionais).

O estudo de curvas elípticas é uma área central de pesquisa em teoria dos números, com aplicações em esquemas criptográficos que estão por trás de transações financeiras seguras na web. Curvas elípticas têm papel central na demonstração do Último Teorema de Fermat.

A história descrita neste artigo, começando com a matemática do ensino básico e terminando em áreas de pesquisa, mostra a extraordinária unidade da matemática. Ao longo do caminho encontramos uma ideia fundamental da matemática moderna: a ideia de resolver um problema a respeito de um tipo particular de objeto (triângulos com área 6 e perímetro 12, por exemplo), colocando o objeto num espaço mais geral (o espaço de todos os triângulos) e encontrando o caminho certo de parametrizar esse espaço.

Este post está disponível em: Chinês, Inglês, Francês, Alemão, Italiano, Espanhol, Árabe, Khmer

This entry was posted in Vignettes. Bookmark the permalink.

Leave a Reply

Your email address will not be published. Required fields are marked *