Archivo de la etiqueta: punto de tangencia

Geometría Moderna II: Circunferencias ortogonales

Por Armando Arzola Pérez

Introducción

En esta entrada introduciremos un nuevo concepto: el de circunferencias ortogonales. Veremos cómo se relaciona este concepto con el de eje radical, que estudiamos en la entrada anterior.

Circunferencias ortogonales

La definición que nos interesa estudiar ahora es la siguiente.

Definición. Dos circunferencias C1 y C2 que se intersecan en un punto P son ortogonales si sus tangentes en P forman un ángulo recto.

Hagamos algunas observaciones de esta definición. Primero, dos circunferencias tangentes no pueden ser ortogonales pues si el punto de tangencia es P, entonces tienen la misma tangente en P. Así, las circunferencias deben intersectarse en al menos dos puntos P y Q. Por simetría, las tangentes en P son ortogonales si y sólo si las tangentes en Q lo son.

Además, si los centros son O1 y O2, respectivamente, entonces sabemos que O1P es ortogonal a la tangente a C1 por P y análogamente O2P es ortogonal a la tangente a C2 por P. Así, las tangentes son ortogonales si y sólo si los radios O1P y O2P lo son.

Algunas conexiones entre circunferencias ortogonales y eje radical

Veamos un primer resultado que relaciona circunferencias ortogonales y el eje radical.

Teorema. Sean C1 y C2 circunferencias de centros distintos. Si C3 es ortogonal a ambas circunferencias, entonces su centro O3 se encuentra en el eje radical de ambas.

Demostración. Denotaremos por T1 a uno de los puntos de intersección de C1 y C3, y por T2 a uno de los puntos de intersección de C2 y C3 (ver la figura a continuación). Debemos mostrar que O3 está en el eje radical de C1 y C2, es decir, que Pot(O3,C1)=Pot(O3,C2).

Circunferencias Ortogonales del primer teorema.

Como O3T2 y O3T1 son radios de C3, entonces O3T12=O3T22.

En la entrada de potencia de un punto vimos que podemos calcular la potencia en términos de la longitud de una tangente como sigue: Pot(O3,C1)=O3T12=O3T22=Pot(O3,C2).

Así, concluimos lo que queríamos, que O3 está en el eje radical de C1 y C2.

◻

El siguiente resultado es similar, y en cierto sentido es un «regreso» del anterior.

Teorema. Sean C1 y C2 circunferencias de centros distintos. Sea C3 una circunferencia cuyo centro O3 está en el eje radical de las dos circunferencias dadas. Si C3 es ortogonal a C2, entonces también es ortogonal a C1.

Demostración. Tomaremos como referencia la figura anterior. A partir de las hipótesis, queremos demostrar que C3 es ortogonal a C1. Sea r1 el radio de C1. Por el teorema de Pitágoras, lo que queremos sucede si y sólo si O3O12r12=O3T12.

Dado que C3 es ortogonal a C2, el triángulo O3T2O2 es rectángulo. Por el teorema de Pitágoras se cumple entonces que O3O22r22=O3T22. Como O3 está en el eje radical de C1 y C2, y por cómo se calcula la potencia en términos de la distancia al centro y del radio, tenemos que: O3O22r22=Pot(O2,C3)=Pot(O2,C2)=O3O12r12.

De este modo, O3T12=O3T22=O3O22r22=O3O12r12.

Esto es justo lo que necesitábamos para concluir que C3 es ortogonal a C1.

◻

Posición de una circunferencia ortogonal a dos dadas con respecto a su eje radical

Veamos un resultado más, que nos habla acerca de la posición de una circunferencia en relación a otras dos a las que es tangente.

Teorema. Sean C1 y C2 circunferencias de centros distintos O1 y O2. Sea C3 una circunferencia ortogonal a C1 y C2. La circunferencia C3 está posicionada con respecto a la línea de los centros O1O2 de acuerdo a los siguientes tres casos:

  1. Si C1 y C2 se intersectan en dos puntos, entonces C3 no intersecta a O1O2.
  2. Si C1 y C2 son tangentes, entonces C3 es tangente a O1O2.
  3. Si C1 y C2 no se intersectan, entonces C3 intersecta a O1O2 en dos puntos.

Demostración. Sea C3 una circunferencia ortogonal a dos circunferencias dadas C1 y C2. Sean r1, r2, r3 los radios de C1, C2 y C3, respectivamente. Sea X la intersección de O1O2 con el eje radical l de las circunferencias C1 y C2. Sea T1 un punto de intersección de O3 con O1 y T1 un punto de intersección de O3 con O2. La figura a continuación muestra el dibujo para el primer caso.

Circunferencias Ortogonales

Dado que C3 es ortogonal a C1 y C2, se tienen dos triángulos rectángulos: O3T1O1yO3XO1.

Por el teorema de Pitágoras, tenemos que O3T12+r12=O3O12=O1X2+O3X2,

de donde r12O1X2=O3X2r32. Tratemos ahora sí cada caso por separado.

Caso 1. Supongamos que C1 y C2 se intersectan en dos puntos. Mostraremos que C3 no intersecta a O1O2.

Como las circunferencias se intersectan en dos puntos, el eje radical es la recta que une las intersecciones. Por ello, r1>|O1X|. Usando las cuentas de arriba:

r1>|O1X|r12>O1X2r12O1X2>0O3X2r32>0O3X2>r32.

Esto último sucede si y sólo si |O3X|>r3. Esto nos dice que X está fuera de la circunferencia C3 y entonces dicha circunferencia no intersecta a O1O2.

Caso 2. Supongamos ahora que C1 y C2 son tangentes. Debemos demostrar que C3 es tangente a O1O2. En este caso, r1=|O1X|. Y entonces tenemos la siguiente cadena de implicaciones:

r1>=O1X|r12=O1X2r12O1X2=0O3X2r32=0O3X2=r32.

Esto, junto con el hecho de que O3X es perpendicular a O1O2, implica que O1O2 es tangente a C3.

Caso 3. Finalmente, supongamos que C1 y C2 no se intersectan. Debemos mostrar que C3 sí intersecta a O1O2 en dos puntos. Para ello basta mostrar que |O3X|<r3. La suposición de que las circunferencias no se intersectan implica que r1<|O1X|.

Circunferencias Ortogonales

Una vez más procedemos con las siguientes implicaciones:

r1<|O1X|r12<O1X2r12O1X2<0O3X2r32<0O3X2<r32.

Por ello, |O3X|<r3, como queríamos.

◻

Más adelante…

Hemos abordado algunos resultados de circunferencias ortogonales. Lo que haremos en la siguiente entrada es estudiar a las familiar coaxiales de circunferencias. Sabemos que cualesquiera dos circunferencias tienen un eje radical pero, ¿qué sucede tenemos más de dos circunferencias que comparten eje radical?

Entradas relacionadas

Geometría Analítica I: Forma vectorial de círculos, tangentes y polares

Por Héctor Morales

Introducción

En la entrada anterior construimos un puente entre la intuición que tenemos de las circunferencias y el estudio formal que podemos hacer de ellas utilizando las herramientas de la geometría analítica. Ahora queremos ir más allá de las propiedades básicas del círculo, como lo son su centro y su radio, para abordar propiedades un poco más avanzadas; sus rectas tangentes y polares.

Veremos a lo largo de esta entrada cómo la ecuación vectorial de la circunferencia nos prueba su utilidad al abordar problemas geométricos tales como encontrar puntos de tangencia sobre una circunferencia, hacer demostraciones que involucren las secantes de un círculo, entre otros.

Líneas tangentes a un círculo

Antes de abordar el tema de las líneas tangentes a un círculo, mencionaremos brevemente un problema físico que nos puede motivar a estudiarlo. El problema de la polea consiste en encontrar la longitud de un cable que conecta a dos circunferencias de radio r1 y r2 que no se cruzan; cuyos centros están separados por una distancia P. Aunque sea un problema en apariencia sencillo su solución requiere de herramientas como líneas bitangentes, ángulos verticales y congruencia. Pese a que la su solución no es trivial, es un problema de ingeniería bastante importante, pues se usa en el diseño de aeroplanos, bicicletas, autos, etc. No escribiremos explícitamente la solución a este problema, por el momento sólo diremos que para resolverlo es fundamental utilizar el concepto de línea tangente.

Problema de la polea

Ahora que comentamos una motivación, empezaremos a discutir el concepto de línea tangente. Intuitivamente podemos pensar que las líneas tangentes son las que tocan a una circunferencia en uno solo de sus puntos. Esto tiene varias implicaciones; la primera de ellas es que podemos pensar en las tangentes como las normales a los radios (los segmentos del centro a sus puntos). Empezaremos proponiendo la definición de las líneas tangentes y haremos una discusión detallada de cada uno de los elementos de esta definición.

Definición. Si a es un punto del círculo C dado por la ecuación vectorial

(1)(xp)(xp)=r2

entonces su línea tangente es la recta normal a (ap) y que pasa por a.

Esta definición tiene algunas implicaciones interesantes que para los elementos que la constituyen que vale la pena observar con detalle. La primera es que, puesto que a es el punto más cercano a p en esta recta, para cualquier otro punto x se tiene que d(x,p)>r. Dicho de una forma más sencilla: cualquier otro punto que no sea el punto de tangencia estará alejado del centro del círculo una distancia mayor que el radio. Puedes observar la figura para convencerte de este hecho.

Línea tangete del círculo y punto de tangencia.

Continuando nuestra exploración de los elementos de la definición que acabamos de presentar, observa que el círculo C parte el plano en dos pedazos; el interior donde d(x,p)<r, y el exterior donde d(x,p)>r, de esta forma está contenida en el exterior salvo por el punto aC.

Para obtener una expresión analítica de las líneas tangentes conviene recordar las herramientas vectoriales que fueron presentadas durante la primera unidad, te podrás dar cuenta que si utilizamos la forma de la ecuación normal de recta con los elementos de nuestra definición, podemos ver que la recta está dada por la ecuación

(2)x(ap)=a(ap),

esta ecuación tiene una manera más interesante de escribirse; si restamos p(ap) a ambos lados, se obtiene:

x(ap)p(ap)=a(ap)p(ap)

(xp)(ap)=(ap)(ap)

(xp)(ap)=r2

Esta forma de escribir la ecuación será importante en la siguiente sección cuando abordemos las rectas polares, sin embargo, antes de pasar a la siguiente sección hagamos un ejemplo sobre cómo encontrar la tangente de una circunferencia.

Ejemplo. Supongamos que tenemos un círculo con centro en (4,3) y radio 5. Encuentre la línea de tangencia que pasa por el punto (4,2).

Primero tenemos que verificar que el punto está dentro de la circunferencia. Si escribimos la ecuación cartesiana de nuestro círculo

(3)(x4)2+(x+3)2=25

y sustituimos el punto (4,2). Podemos darnos cuenta que el punto sí está en la circunferencia. Como ya vimos que está sobre el círculo, sólo tenemos que sustituir en la expresión analítica de la línea tangente

(4)x(ap)=a(ap)

los valores del punto de tangencia y el centro de la circunferencia. Haciendo esto tenemos que:

(5)x((4,2)(4,3))=a((4,2)(4,3))

Por lo tanto, la ecuación de la línea tangente será:

(6)x(0,5)=a(0,5)

Escrito en forma cartesiana, tenemos que la recta tangente a nuestra circunferencia a través de ese punto es y=2.

Como vimos en nuestro ejemplo, obtener la expresión analítica de la línea tangente a través de un punto es muy fácil si recordamos la definición vectorial. Para terminar esta sección utiliza el siguiente recuadro interactivo para explorar diferentes líneas tangentes de una circunferencia. Nota cómo el punto de tangencia siempre se encuentra en los «bordes» del círculo. ¿Podríamos generalizar vectorialmente el concepto de tangencia para puntos que no se encuentran sobre la circunferencia?

Líneas polares de un círculo

Para empezar nuestro estudio de las líneas polares de un círculo, recuerda el último desarrollo algebraico que hicimos en la sección anterior: ese en el cual sustituimos a en una de las instancias de x en la ecuación vectorial. Recuerda cómo en el caso de la línea tangente, consideramos que el punto a estaba sobre la circunferencia. Con esto en mente, estamos listos para dar una definición de línea polar.

Definición. Consideremos un punto a en el plano, diferente del centro (ap), diremos que a es la recta polar de a respecto al círculo C y definiremos a como

(7)a:(xp)(ap)=r2

De la definición, se sigue que cuando aC su polar a es su tangente. Como te puedes dar cuenta, las líneas polares son algo así como una generalización de las líneas tangentes; estamos repitiendo los desarrollos algebraicos que utilizamos en la primera sección sin restringirnos a los puntos que están sobre la circunferencia. Nuestra definición de líneas polares tiene varias consecuencias interesantes; una de ellas es que si el punto a está en el interior del círculo, entonces a no lo intersecta (está totalmente contenida en el exterior), y que si está en el exterior (el punto b en la siguiente figura), entonces lo corta, y además lo corta en los dos puntos de C a los cuales se pueden trazar tangentes.

Existen tres posibles casos, que el punto polar esté dentro de la circunferencia, fuera o que esté sobre ella. El último caso se exploró a detalle en la primera parte de esta entrada.

Vamos a demostrar los enunciados que presentamos en el párrafo anterior. Para esto, expresemos las ecuación a en su forma normal; desarrollando [numero de ecuación de la definición] se obtiene:

(8)x(ap)=r2+p(ap)

Esto indica que a es perpendicular al vector que va de p a a. Ahora veamos cuál es su punto de intersección con la recta que pasa por p y a. Parametricemos esta última recta con p de cero y a de uno (es decir como p+t(ap)) y podemos despejar t al sustituir en la variable x de la ecuación anterior (o bien, esto se ve más directo al sustituir en la [numero de ecuación de la definición] ), para obtener

(9)t=r2(ap)(ap)=r2d(p,a)2.

Entonces la distancia de p a a es

(10)d(p,a)=td(p,a)=r2 d(p,a)=(rd(p,a))r

y tenemos lo primero que queríamos probar: si d(p,a)<r entonces d(p,a)>r; y al revés, si d(p,a)>r entonces d(p,a)<r. Dicho de otra manera, si el punto a está muy cerca de p, su polar está muy lejos, y al revés, sus distancias al centro p se comportan como inversos «alrededor de r».

Para demostrar la segunda de nuestras afirmaciones, supongamos ahora que d(p,a)>r, y sea c un punto en aC (que sabemos que existe pues a pasa por el interior de C). Puesto que ca, se cumple la ecuación

(11)(cp)(ap)=r2

Pero entonces a cumple la ecuación de c que es la tangente a C en c; es decir, la línea de a a c es tangente al círculo. Este argumento, visto de una forma todavía más general nos dice que para cualesquiera dos puntos a y b (distintos de p) se tiene que

(12)abba

Y los puntos del círculo son los únicos para los cuales se cumple que aa. Puedes apoyarte en la siguiente figura para seguir el desarrollo anterior.

Date cuenta cómo a lo largo de este procedimiento sin querer aprendimos a calcular los puntos de tangencia a un círculo desde un punto exterior a. A saber, de la ecuación lineal de su polar, a, se despeja alguna de las dos variables y se sustituye en la ecuación del círculo. Esto nos da una ecuación de segundo grado en la otra variable que se puede resolver, y nos da dos raíces. Sustituyéndolas de nuevo en la ecuación de la polar se obtiene el otro par de coordenadas.

Para dejar bien claro este procedimiento, hagamos un ejercicio sobre cómo encontrar los puntos de tangencia desde un punto fuera de la circunferencia.

Ejemplo. Supongamos que tenemos un círculo con centro en (3,1) y radio 2, encontraremos los puntos de tangencia desde el punto a=(1,3).

Podemos iniciar de dos maneras diferentes: la primera es utilizando lo que aprendimos en la entrada anterior, escribiendo directamente la ecuación vectorial de la circunferencia. Si hacemos esto, encontraremos que la circunferencia tiene la siguiente expresión vectorial

(13)((x,y)(3,1))((x,y)(3,1))=4.

Otra alternativa sería primero escribir la ecuación cartesiana y luego desarrollarla para pasarla a su forma vectorial; de ambas maneras, lo importante es escribir a la circunferencia en su forma vectorial. Ahora, para conocer los puntos de tangencia desde a=(1,3) sustituimos en la forma alternativa de la ecuación de la tangente:

((x,y)(3,1))((1,3)(3,1))=4
(x3,y+1)(2,4)=4
2x+4y+10=4
x2y=3.

De aquí, para encontrar aC, conviene sustituir x=3+2y en la ecuación original del círculo para obtener

(14)(3+2y)2+y26(3+2y)+2y=6 5y2+2y3=0

Las raíces de esta ecuación cuadrática se pueden obtener utilizando la fórmula general:

(15)y=2±4+6010=2±810

que nos da los valores y0=1 y y1=35. Y estos, al sustituir de nuevo la ecuación de la polar nos dan los puntos de tangencia de a; que son (1,1) y 15(21,3). Puedes verificar que satisfacen la ecuación del círculo sustituyendo en la ecuación lineal de la polar, y que efectivamente sus tangentes pasan por a.

Para finalizar esta entrada te invito a que experimentes un momento con el recuadro interactivo. Nota cómo las líneas polares se convierten en las líneas tangentes cuando haces que el punto a esté sobre la circunferencia.

Más adelante…

En esta entrada finalizamos nuestra discusión de las circunferencias; la primera de las secciones cónicas que abordamos en nuestro curso. En la siguiente entrada podrás ver una serie de ejercicios para familiarizarte con la manipulación algébrica o vectorial de los conceptos que hemos introducido hasta ahora. En las siguientes entradas continuaremos nuestro estudio de las secciones cónicas hablando de parábolas, hipérbolas y elipses. Veremos cómo no es tan fácil dar una ecuación vectorial para el resto de las secciones cónicas; esto lo entenderemos tan pronto como empecemos a hablar de parábolas.

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.

  • Encuentra los puntos de tangencia: al círculo x22x+y24y=3 desde el punto (1,2). Sugerencia: puedes consultar el segundo ejercicio realizado en esta entrada.
  • Demuestra que si c es un punto exterior (al círculo C con centro P ) entonces su recta a P biseca sus dos tangentes a C. Y además que las distancias a sus pies en C (es decir, a los puntos de tangencia) son iguales. Sugerencia: Puedes utilizar la siguiente figura para tu demostración y pensar en el teorema de Pitágoras y en el criterio de congruencia LLL.

Entradas relacionadas