luns, 13 de abril de 2020

O problema da persecución de Apolonio


Problema da persecución de Apolonio. Consideremos dous barcos A e B que se desprazan en liña recta e tales que a velocidade de B é k veces a de A. Trátase de que, sabendo a dirección de avance de A, o barco B o intercepte no menor tempo posible.

Para dar resposta a este problema imos trasladarnos atrás no tempo. Como case sempre sucede na xeometría plana, hai que retrotraerse ata os Elementos de Euclides (III a.C.), concretamente ao seguinte resultado:
Proposición VI.3. Se o ángulo dun triángulo se corta á metade e a recta que corta o ángulo corta tamén a base, os segmentos da base gardarán a mesma razón que os restantes lados do triángulo; e se os segmentos da base gardan a mesma razón que os restantes lados do triángulo, a recta unida dende o vértice ata o punto de corte cortará á metade o ángulo do triángulo. [ver Elementos]
A primeira implicación é tamén un dos primeiros resultados (1.33) que achamos no recomendable Geometry revisited de H. S. M. Coxeter e S. L. Greitzer, onde se demostra por medio do teorema dos senos.
Teorema 1.33. A bisectriz dun ángulo dun triángulo divide o lado oposto en dous segmentos de lonxitude proporcional á lonxitude dos lados que o forman.
Aplicando o teorema dos senos e tendo en conta que os ángulos suplementarios en M teñen o mesmo seno:
$$\frac { AM }{ sen\left( \frac { C }{ 2 }  \right)  } =\frac { b }{ senM } \\ \frac { BM }{ sen\left( \frac { C }{ 2 }  \right)  } =\frac { a }{ senM } \\ \frac { AM }{ BM } =\frac { b }{ a } $$

Parece ser que unha xeneralización deste resultado ao ángulo exterior é debida o matemático inglés Robert Simson (1687-1768). Estou a falar da seguinte proposición, que pode obterse a partir do teorema de Tales:

Teorema. A bisectriz tanto dun ángulo interior como exterior dun triángulo divide o lado oposto en segmentos proporcionais á lonxitude dos lados que o forman.
$$  \frac { AM }{ BM } =\frac { b }{ a } \quad \quad \quad  \frac { AN }{ BN } =\frac { b }{ a }$$

Agora estamos en disposición de definir a circunferencia de Apolonio do triángulo ABC para o vértice C: será aquela que pase por C, M e N. Con estes vimbios podemos, por fin, achegarnos á solución do problema. Pouco haberá que comentar se sabemos que a razón das distancias dos puntos da circunferencia de Apolonio dun vértice aos outros dous é constante, concretamente

Teorema. Sexa P un punto da circunferencia de Apolonio do vértice C dun triángulo ABC, entón
$$\frac { PA }{ PB } =\frac { b }{ a }$$

Desde B trazamos perpendiculares a PM e PN que cortan a PA en E e en F. Así podemos trazar tamén BE e BF.
Como MP ⏊ PN ⏊ BF temos tamén que MP ∥ BF. Polo teorema de Tales:
$$\frac { PA }{ PF } =\frac { AM }{ BM }=\frac { b }{ a }\quad\quad\quad[1]$$
Como EB ⏊ MP ⏊ PN temos tamén que EB ∥ PN. Polo teorema de Tales:
$$\frac { PA }{ PE } =\frac { AN }{ BN }=\frac { b }{ a }\quad\quad\quad[2]$$
Entón 
$$\frac { PA }{ PF } =\frac { PA }{ PE }\Rightarrow PF=PE$$
Como EB ∥ PN ⏊ BF entón tamén EB ⏊ BF polo que o triángulo EBF é recto en B e, xa que logo, P é o punto medio da hipotenusa polo que tamén será o circuncentro. Velaí que PF=PB
$$\frac{PA}{PB}=\frac { PA }{ PF }=\frac{PA}{PE}=\frac{b}{a}\quad\Box $$

Ademais ABMN forman unha cuaterna harmónica xa que a súa razón dobre é -1. Basta ter en conta [1] e [2] e considerar que os segmentos están orientados, isto é, que están dotados de signo
$$\left( A,B,M,N \right) =\frac { AM }{ BM } \frac { BN }{ AN } =-\frac { b }{ a } \frac { a }{ b } =-1$$
Xa que estamos metidos en fariña, lembremos as leccións de xeometría proxectiva. As proxeccións conservan a razón dobre e, en consecuencia, as razóns harmónicas tamén serán invariantes. As inversións tamén se conservan por proxeccións.
Dados A e B, supoñamos que o punto M verificando que a razón AB/AM=k está no segmento AB. A resolución do problema da persecución consistirá en obter un punto N tal que ABMN forme unha cuaterna harmónica.
Sexa O o punto medio de A e B. Trazamos a circunferencia de diámetro AB e a perpendicular a esta recta por M cortará a esa circunferencia nun punto T. A recta TN, tanxente á circunferencia, cortará á recta AB nun punto N. Como os triángulos OTM e OTN son semellantes:
$${ OT }^{ 2 }=OA\cdot OB=ON\cdot OM$$
Esta última igualdade significa que tanto A e B como M e N son inversos con respecto á circunferencia ATB. A recta MT será a polar de N na inversión respecto a esa circunferencia.
Finalmente a circunferencia de raio MN dá a solución do problema da persecución de Apolonio pois é a circunferencia de Apolonio do triángulo ABC no vértice C, onde C será o punto de interceptación buscado, obtido como intersección da circunferencia de Apolonio e a recta que marca a dirección de avance do barco A.






Problema para a ESO
Podemos adaptar o anterior enunciado a un problema escolar que sería abordable polo alumnado da ESO:
Problema da persecución de Apolonio; versión escolar. Dous barcos A e B están a unha distancia de 3 km. Desprázanse en liña recta e a velocidade de B é k veces a de A. O barco A leva unha dirección que forma un ángulo de 45º coa liña que une os dous barcos.  B vai interceptar a A no menor tempo posible, acha o punto de encontro sabendo que $$k=\sqrt { \frac { 7 }{ 8 }  } $$
Para resolvelo basta con decatarse de que as lonxitudes dos lados a e b deben estar na mesma proporción que as velocidades dos barcos. Ademais, como o ángulo é de 45º, a altura do triángulo vai ser x.
$$\sqrt { \frac { 7 }{ 8 }  } \cdot a=b\quad \quad \quad ;\quad \quad \frac { 7 }{ 8 } { a }^{ 2 }={ b }^{ 2 }$$
Entón o problema redúcese a resolver unha ecuación de segundo grao:
$$\frac { 7 }{ 8 } \left( { x }^{ 2 }+{ x }^{ 2 } \right) ={ \left( 3-x \right)  }^{ 2 }+{ x }^{ 2 }$$
O que nunca deixa de sorprenderme das matemáticas é que tanto esta resolución analítica como a xeométrica coinciden a pesar de seren desenvolvidas por métodos completamente distintos. Ante a vista de casos coma este fáiseme moi costa arriba asumir que haxa xente que non goce deste tipo de casualidades. Ninguén pode negar que as matemáticas teñen o seu aquel de fermosura.

venres, 3 de abril de 2020

Problema sen palabras

Non é a primeira vez que deixo por aquí un problema sen palabras.
Este, do libro Resuélvelo! de James S. Tanton, da estupenda colección da Biblioteca Estímulos Matemáticos da RSME-SM, é unha perla que dá mostra do tesouro que esconde a obra.