Archivo de la etiqueta: línea tangente

Geometría Moderna I: Trigonometría

Introducción

En esta entrada presentaremos las razones trigonométricas respecto de un ángulo agudo en un triángulo rectángulo, estas pueden ser vistas como funciones si consideramos el ángulo como una variable, veremos como extender estas funciones a ángulos de cualquier magnitud y algunas igualdades trigonométricas.

Funciones trigonométricas y circulo trigonométrico

Definición. Consideremos un triángulo rectángulo $\triangle ABC$ donde $\overline{AB}$ es la hipotenusa y sea $\alpha =  \measuredangle BAC$, decimos que $\overline{BC}$ es el cateto opuesto a $\alpha$ y $\overline{AC}$ es el cateto adyacente a $\alpha$, definimos las funciones trigonométricas respecto del ángulo $\alpha$ como las razones entre los lados de $\triangle ABC$:

El seno del ángulo $\alpha$ como $\dfrac{c.opuesto}{hipotenusa}$ y lo denotamos como $\sin \alpha = \dfrac{BC}{AB}$.
El coseno del ángulo $\alpha$ como $\dfrac{c.adyacente}{hipotenusa}$ y lo denotamos como $\cos \alpha = \dfrac{AC}{AB}$.
La tangente del ángulo $\alpha$ como $\dfrac{c.opuesto}{c.adyacente}$ y lo denotamos como $\tan \alpha = \dfrac{BC}{AC}$.
La cosecante del ángulo $\alpha$ como como $\dfrac{hipotenusa}{c.opuesto}$ y lo denotamos como $\csc \alpha = \dfrac{AB}{BC}$.
La secante del ángulo $\alpha$ como $\dfrac{hipotenusa}{c.adyacente}$  y lo denotamos como $\sec \alpha = \dfrac{AB}{AC}$.
La cotangente del ángulo $\alpha$ como $\dfrac{c.adyacente}{c.opuesto}$ y lo denotamos como $\cot \alpha = \dfrac{AC}{BC}$.

Si consideramos el ángulo complementario a $\alpha$, $\beta = \measuredangle CBA$, entonces de las definiciones se siguen las siguientes relaciones:

$\sin \alpha = \cos \beta$, $\cos \alpha = \sin \beta$, $\tan \alpha = \dfrac{\sin \alpha}{\cos \alpha}$, $\tan \alpha \tan \beta = 1$.

$\csc \alpha = \sec \beta$, $\sec \alpha = \csc \beta$, $\cot \alpha = \dfrac{\cos \alpha}{\sin \alpha}$, $\cot \alpha \cot \beta = 1$.

Dado que en todos los triángulos semejantes las razones entre cualesquiera dos de sus lados es invariante podemos representar estas magnitudes geométricamente como sigue; consideremos $(O, 1)$ un círculo con centro en $O$ de radio $1$, por $O$ trazamos dos rectas perpendiculares $x$ e $y$, tomamos un punto $P \in (O, 1)$ en el cuadrante formado por el rayo derecho $Ox$ y el rayo superior $Oy$ y trazamos las proyecciones o pie de perpendiculares $X$, $Y$ de $O$ a las rectas $x$, $y$ respectivamente.

El triángulo $OPX$ es rectángulo y su hipotenusa $OP = 1$, si consideramos el ángulo $\measuredangle XOP = \gamma$ entonces
$\sin \gamma = PX = OY$ y
$\cos \gamma = OX = YP$.

Tracemos la tangente a $(O, 1)$ por $Q$, la intersección entre $x$ y $(O, 1)$, tomemos $R$ como la intersección entre la tangente y $\overline{OP}$ entonces $\overline{RQ} \parallel \overline{PX}$ y los triángulos $\triangle OPX$ y $\triangle ORQ$ son semejantes por lo tanto
$\tan \gamma = \dfrac{PX}{OX} = \dfrac{RQ}{OQ} = RQ$ y
$\sec \gamma = \dfrac{OP}{OX} = \dfrac{OR}{OQ} = OR$.

Ahora trazamos la tangente a $(O, 1)$ por $S$, la intersección de $y$ con $(O, 1)$, tomamos $T$ como la intersección de la tangente con $\overline{OP}$ entonces $\overline{ST} \parallel x$, por lo tanto $\gamma = \measuredangle STO$ y así $\triangle OPX$ y $\triangle TOS$ son semejantes por lo tanto
$\csc \gamma = \dfrac{OP}{PX} = \dfrac{OT}{OS} = OT$ y 
$\cot \alpha = \dfrac{OX}{PX} = \dfrac{ST}{OS} = ST$.

Con esta construcción podemos extender las definiciones de función trigonométrica para ángulos agudos a ángulos de cualquier magnitud trasladando el punto $P$ alrededor de la circunferencia $(O, 1)$ y tomando las proyecciones de $P$, $X$ e $Y$ a las rectas $x$ e $y$ respectivamente que tomaremos como positivas si se encuentran en los rayos derecho y superior o negativas si se encuentran en los rayos izquierdos e inferior de las rectas $x$, $y$ respetivamente, de esta manera todas las funciones quedan determinadas por el valor de $\sin \gamma = OY$ y $\cos \gamma = OX$.

Ley de senos y ley de cosenos

Teorema 1. Ley de los senos. Sean $\triangle ABC$, $\measuredangle BAC = \alpha$, $\measuredangle CBA = \beta$, $\measuredangle ACB = \gamma$ y $a = BC$, $b = AC$, $c = AB$ las longitudes de sus lados, entonces $\dfrac{\sin \alpha}{a} = \dfrac{\sin \beta}{b} = \dfrac{\sin \gamma}{c}$.

Demostración. Tracemos $(O, R)$ el circuncírculo de $\triangle ABC$ y $D$ el punto diametralmente opuesto a $C$, entonces $\measuredangle BDC = \alpha$ pues están subtendidos por el mismo arco además $\angle CBD$ es un ángulo recto pues $CD$ es diámetro, por lo tanto $\sin \alpha = \sin \measuredangle BDC = \dfrac{a}{CD}$ por lo tanto $\dfrac{\sin \alpha}{a} = \dfrac{1}{2R}$.

De manera análoga podemos ver que
$\sin \beta = \dfrac{b}{2R}$ y
$\sin \gamma = \dfrac{c}{2R}$.

Por lo tanto $\dfrac{\sin \alpha}{a} = \dfrac{\sin \beta}{b} = \dfrac{\sin \gamma}{c} = \dfrac{1}{2R}$.

$\blacksquare$

Corolario. El seno de un ángulo inscrito en una circunferencia de diámetro $1$ es igual a la cuerda que abarca dicho ángulo.

Demostración. Sea $\angle BAC = \alpha$ un ángulo inscrito en una circunferencia de diámetro unitario (podemos guiarnos con la misma figura del Teorema 1).

Por la ley de los senos aplicada a $\triangle ABC$ sabemos que $\dfrac{\sin \alpha}{BC} = 1$ $\Leftrightarrow$ $\sin \alpha = BC$.

$\blacksquare$

Teorema 2. Ley de cosenos. Sean $\triangle ABC$, $\measuredangle BAC = \alpha$, $\measuredangle CBA = \beta$, $\measuredangle ACB = \gamma$ y $a = BC$, $b = AC$, $c = AB$ las longitudes de sus lados, entonces se da la siguiente igualdad: $c^2 = a^2 + b^2 – 2ab \cos \gamma$.

Demostración. Trazamos $D$ el pie de la perpendicular a $\overline{BC}$ desde $A$ y aplicamos el Teorema de Pitágoras a $\triangle ABD$ y $\triangle ADC,$ de donde obtenemos
$\begin{equation} c^2 = AD^2 + (a – DC)^2 = AD^2 + a^2 – 2a(DC) + DC^2 \end{equation}$
$b^2 = AD^2 + DC^2$ $\Leftrightarrow$ $\begin{equation} AD^2 = b^2 – DC^2 \end{equation}$

Sustituimos (2) en (1) y obtenemos $c^2 = b^2 + a^2 – 2a(DC)$.

Por otro lado $\cos \gamma = \dfrac{DC}{b}$ $\Leftrightarrow$ $b \cos \gamma = DC$

Así que $c^2 = a^2 + b^2 – 2ab \cos \gamma$.

$\blacksquare$

De manera similar se puede ver que
$a^2 = b^2 + c^2 – 2bc \cos \alpha$ y
$b^2 = a^2 + c^2 – 2ac \cos \beta$.

Identidades trigonométricas

Proposición 1. Identidad pitagórica. Sea $0 \leq \gamma < 2\pi$ entonces $\sin^2 \gamma + \cos^2 \gamma = 1$.

Demostración. Nos guiaremos tomando en cuenta el ángulo central $\gamma$ dentro del circulo trigonométrico de la segunda imagen.

En $\triangle OPX$ tenemos que $PX = \sin \gamma$ y $OX = \cos \gamma$ y aplicando el Teorema de Pitágoras obtenemos que
$1 = PX^2 + OX^2 = \sin^2 \gamma + \cos^2 \gamma$.

$\blacksquare$

Proposición 2. El seno de la suma de dos ángulos. Sean $\alpha$ y $\beta$ ángulos agudos entonces $\sin (\alpha + \beta) = \sin \alpha \cos \beta + \sin \beta \cos \alpha$.

Demostración. Sea $\square ABCD$ cíclico tal que $BD = 1$ es diámetro del circuncírculo, $\measuredangle DBA = \alpha$ y $\measuredangle CBD =\beta$.

Como consecuencia del corolario tenemos que $AC = \sin (\alpha + \beta)$, ademas $\triangle BAD$ y $\triangle DCB$ son triángulos rectángulos pues $\overline{DB}$ es diámetro.

Se sigue que $AB = \cos \alpha$, $CD = \sin \beta$, $AD = \sin \alpha$ y $BC = \cos \beta$.

Ahora aplicamos el Teorema de Ptolomeo a $\square ABCD$ y sustituimos los valores correspondientes. $\begin{equation} AC \times BD = AB \times CD + BC \times AD \end{equation}$

Y así $\sin (\alpha + \beta) = \cos \alpha \sin \beta +\sin \alpha \cos \beta$.

$\blacksquare$

Proposición 3. El coseno de la suma de dos ángulos. Sean $\alpha \ne 0$ y $\beta$ ángulos agudos tales que $\alpha + \beta < \dfrac{\pi}{2}$ entonces $\cos (\alpha + \beta) = \cos \alpha \cos \beta – \sin \alpha \sin \beta$.

Demostración. Sea $\square ABCD$ cíclico tal que $BC = 1$ es diámetro del circuncírculo, $\measuredangle CBD = \alpha$ y $\measuredangle DBA = \beta$.

Como $\triangle BAC$ y $\triangle BDC$ son triángulos rectángulos y $BC = 1$ tenemos que
$AC = \sin (\alpha + \beta) = \sin \alpha \cos \beta + \sin \beta \cos \alpha$,
$BD = \cos \alpha$,
$AB = \cos (\alpha + \beta)$,
$CD = \sin \alpha$,
$AD = \sin \measuredangle DCA = \sin \beta$.

Por el Teorema de Ptolomeo (ecuación 3), aplicado a $\square ABCD$ obtenemos:
$\cos (\alpha + \beta) \sin \alpha + \sin \beta$
$= (\sin \alpha \cos \beta + \sin \beta \cos \alpha) \cos \alpha$
$= \sin \alpha \cos \beta \cos \alpha + \sin \beta \cos^2 \alpha$
$= \sin \alpha \cos \beta \cos \alpha + (\sin \beta)(1 – \sin^2 \alpha)$
$= \sin \alpha \cos \beta \cos \alpha – \sin \beta \sin^2 \alpha + \sin \beta$
$\Leftrightarrow$
$\cos (\alpha + \beta) \sin \alpha = \sin \alpha \cos \beta \cos \alpha – \sin \beta \sin^2 \alpha$

Por lo tanto, $\cos (\alpha + \beta) = \cos \beta \cos \alpha -\sin \beta \sin \alpha$.

$\blacksquare$

Proposición 4. El seno y el coseno del ángulo medio. Sea $\alpha \ne 0$ un ángulo agudo entonces
$\sin \dfrac{\alpha}{2} = \sqrt{\dfrac{1 – \cos \alpha}{2}}$ y $\cos \dfrac{\alpha}{2} = \sqrt{\dfrac{1 + \cos \alpha}{2}}$.

Demostración. Sea $\square ABCD$ cíclico tal que $BC = 1$ es diámetro y $\measuredangle CBD = \measuredangle DBA = \dfrac{\alpha}{2}$.

Ya que $\triangle BAC$ y $\triangle BDC$ son triángulos rectángulos podemos ver que
$AC = \sin \alpha$,
$BD = \cos \dfrac{\alpha}{2}$,
$AB = \cos \alpha$,
$CD = \sin \dfrac{\alpha}{2}$,
$AD = \sin \measuredangle DCA = \sin \dfrac{\alpha}{2}$.

Aplicando Ptolomeo (ecuacuón 3) a $\square ABCD$ y sustituyendo los valores correspondientes obtenemos que:
$\cos \alpha \sin \dfrac{\alpha}{2} + \sin \dfrac{\alpha}{2} = \sin \alpha \cos \dfrac{\alpha}{2} = \sin (\dfrac{\alpha}{2} +\dfrac{\alpha}{2}) \cos \dfrac{\alpha}{2} = 2 \sin \dfrac{\alpha}{2} \cos^2 \dfrac{\alpha}{2}$.

Por lo tanto $2 \sin \dfrac{\alpha}{2} \cos^2 \dfrac{\alpha}{2} = \sin \dfrac{\alpha}{2} (\cos \alpha + 1)$ y así  $\begin{equation} \cos^2 \dfrac{\alpha}{2} = \dfrac{\cos \alpha + 1}{2} \end{equation}$

De donde se sigue que  $\cos \dfrac{\alpha}{2} = \sqrt{\dfrac{\cos \alpha + 1}{2}}$.

Ahora sustituimos la identidad pitagórica en la ecuación (4) y obtenemos:
$1 –  \sin^2 \dfrac{\alpha}{2} = \dfrac{\cos \alpha + 1}{2}$
$\Leftrightarrow$
$\sin \dfrac{\alpha}{2} = \sqrt{\dfrac{1 – \cos \alpha}{2}}$.

$\blacksquare$

Tarea moral

  1. i) A partir de un triangulo equilátero deriva los valores de las seis funciones trigonométricas para los ángulos $\dfrac{\pi}{3}$ y $\dfrac{\pi}{6}$.
    ii) A partir de un triángulo rectángulo isósceles deduce los valores de las seis funciones trigonométricas para el ángulo $\dfrac{\pi}{4}$.
  2. Recordemos que consideramos la magnitud de un ángulo central como positiva, si recorremos el arco de circunferencia que subtiende dicho ángulo en el sentido contrario al de las manecillas del reloj y negativa en caso contario, muestra que para cualquier valor de $\alpha$ se cumple que:
    i) $\sin (-\alpha) = -\sin \alpha$
    ii) $\cos (-\alpha) = \cos \alpha$
    iii) $\sin (\pi – \alpha) = \sin \alpha$
    iv) $\cos (\pi – \alpha) = -\cos \alpha$
    v) $\sec^2 \alpha = 1 + \tan^2 \alpha$
  3. Sean $\alpha$ y $\beta$ ángulos agudos tales que $\alpha \geq \beta$, muestra geométricamente:
    i) el seno de la diferencia de dos ángulos, $\sin (\alpha – \beta) = \sin \alpha \cos \beta – \sin \beta \cos \alpha$
    ii) el coseno de la diferencia de dos ángulos, $\cos (\alpha – \beta) = \cos \alpha \cos \beta + \sin \alpha \sin \beta$.
  4.  Sean $\alpha$ y $\beta$ ángulos agudos prueba que:
    i) $\sin \alpha \cos \beta = \dfrac{\sin (\alpha + \beta) + \sin (\alpha – \beta)}{2}$
    ii) $\cos \alpha \sin \beta = \dfrac{\sin (\alpha + \beta) – \sin (\alpha – \beta)}{2}$.
  5. Sea $\triangle ABC$, por $A$ traza cualquier recta que corte a $\overline{BC}$ en $L$, muestra que $\dfrac{BL}{LC} = \dfrac{AB \sin \measuredangle BAL}{AC \sin \measuredangle LAC}$.
  1. Demuestra que si $\dfrac{\sin \alpha}{\sin \beta} = \dfrac{\sin \delta}{\sin \gamma}$ y $\alpha + \beta = \delta + \gamma < \pi$ entonces $\alpha = \delta$ y $\beta = \gamma$.

Más adelante…

En la próxima entrada veremos la formula de Herón y la formula de Brahmagupta que nos servirán para calcular el área de un triangulo cualquiera y un cuadrilátero cíclico en función de las longitudes de sus lados.

Entradas relacionadas

Geometría Analítica I: Propiedades de círculos

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, mecionaremos 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 $r_1$ y $r_2$ 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 circuferencia 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 $\mathbf{a}$ es un punto del círculo $\mathcal{C}$ dado por la ecuación vectorial

\begin{equation}
(\boldsymbol{x}-\mathbf{p}) \cdot(\boldsymbol{x}-\mathbf{p})=\mathrm{r}^{2}
\end{equation}

entonces su línea tangente es la recta $\ell$ normal a $(\mathbf{a} – \mathbf{p})$ y que pasa por $\mathbf{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 $\mathbf{a}$ es el punto más cercano a $\mathbf{p}$ en esta recta, para cualquier otro punto $x \in \ell$ se tiene que $\mathrm{d}(\boldsymbol{x}, \mathbf{p})>\mathrm{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 $\mathcal{C}$ parte el plano en dos pedazos; el interior donde $\mathrm{d}(\boldsymbol{x}, \mathbf{p})<\mathrm{r}$, y el exterior donde $\mathrm{d}(\boldsymbol{x}, \mathbf{p})>\mathrm{r}$, de esta forma $\ell$ está contenida en el exterior salvo por el punto $a \in \mathcal{C}$.

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 $\ell$ está dada por la ecuación

\begin{equation}
\boldsymbol{x} \cdot(\boldsymbol{a}-\mathbf{p})=\boldsymbol{a} \cdot(\boldsymbol{a}-\mathbf{p}),
\end{equation}

esta ecuación tiene una manera más interesante de escribirse; si restamos $\mathbf{p} \cdot(\mathbf{a}-\mathbf{p})$ a ambos lados, se obtiene:

$$
\mathbf{x} \cdot(\mathbf{a}-\mathbf{p})-\mathbf{p} \cdot(\mathbf{a}-\mathbf{p})=\mathbf{a} \cdot(\mathbf{a}-\mathbf{p})-\mathbf{p} \cdot(\mathbf{a}-\mathbf{p})
$$

$$
(\mathbf{x}-\mathbf{p}) \cdot(\mathbf{a}-\mathbf{p})=(\mathbf{a}-\mathbf{p}) \cdot(\mathbf{a}-\mathbf{p})
$$

$$
(\mathbf{x}-\mathbf{p}) \cdot(\mathbf{a}-\mathbf{p})=r^{2}
$$

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 circuferencia.

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

\begin{equation}
(x-4)^{2} + (x+3)^{2}=25
\end{equation}

y sustuimos 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

\begin{equation}
\boldsymbol{x} \cdot(\boldsymbol{a}-\mathbf{p})=\boldsymbol{a} \cdot(\boldsymbol{a}-\mathbf{p})
\end{equation}

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

\begin{equation}
\boldsymbol{x} \cdot ((4,2)-(4,-3)) =\boldsymbol{a} \cdot ((4,2)-(4,-3))
\end{equation}

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

\begin{equation}
\boldsymbol{x} \cdot (0,5) =\boldsymbol{a} \cdot (0,5)
\end{equation}

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 vecotrialmente 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 $\mathbf{a}$ en una de las instancias de $\mathbf{x}$ en la ecuación vectorial. Recuerda cómo en el caso de la línea tangente, consideramos que el punto $\mathbf{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 $\mathbf{a}$ en el plano, diferente del centro $(\mathbf{a} \neq \mathbf{p})$, diremos que $\ell_{a}$ es la recta polar de $\mathbf{a}$ respecto al círculo $\mathcal{C}$ y definiremos $\ell_{a}$ como

\begin{equation}
\ell_{\mathbf{a}}: \quad(\boldsymbol{x}-\mathbf{p}) \cdot(\boldsymbol{a}-\mathbf{p})=\mathrm{r}^{2}
\end{equation}

De la definición, se sigue que cuando $\boldsymbol{a} \in \mathcal{C}$ su polar $\ell_{\mathbf{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 $\mathbf{a}$ está en el interior del círculo, entonces $\ell_{a}$ no lo intersecta (está totalmente contenida en el exterior), y que si está en el exterior (el punto $\mathbf{b}$ en la siguiente figura), entonces lo corta, y además lo corta en los dos puntos de $\mathcal{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 $\ell_{a}$ en su forma normal; desarrollando [numero de ecuacion de la definición] se obtiene:

\begin{equation}
\boldsymbol{x} \cdot(\boldsymbol{a}-\mathbf{p})=\mathrm{r}^{2}+\mathbf{p} \cdot(\boldsymbol{a}-\mathbf{p})
\end{equation}

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

\begin{equation}
t=\frac{r^{2}}{(\mathbf{a}-\mathbf{p}) \cdot(\mathbf{a}-\mathbf{p})}=\frac{r^{2}}{d(\mathbf{p}, \mathbf{a})^{2}} .
\end{equation}

Entonces la distancia de $\mathbf{p}$ a $\ell_{a}$ es

\begin{equation}
\mathrm{d}\left(\mathbf{p}, \ell_{a}\right)=\mathrm{t} \mathrm{d}(\mathbf{p}, \mathbf{a})=\frac{\mathrm{r}^{2}}{\mathrm{~d}(\mathbf{p}, \mathbf{a})}=\left(\frac{\mathrm{r}}{\mathrm{d}(\mathbf{p}, \mathbf{a})}\right) \mathrm{r}
\end{equation}

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

Para demostrar la segunda de nuestras afirmaciones, supongamos ahora que $\mathrm{d}(\mathbf{p}, \mathbf{a})>\mathrm{r}$, y sea $\mathbf{c}$ un punto en $\ell_{a} \cap \mathcal{C}$ (que sabemos que existe pues $\ell_{a}$ pasa por el interior de $\mathcal{C}$). Puesto que $\mathbf{c} \in \ell_{\mathrm{a}}$, se cumple la ecuación

\begin{equation}
(\mathbf{c}-\mathbf{p}) \cdot(\mathbf{a}-\mathbf{p})=\mathbf{r}^{2}
\end{equation}

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

\begin{equation}
a \in \ell_{b} \Leftrightarrow \mathbf{b} \in \ell_{a}
\end{equation}

Y los puntos del círculo son los únicos para los cuales se cumple que $\mathbf{a} \in \ell_{a}$. Puedes apoyarte en la siguiente figura para seguir el desarollo 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 $\mathbf{a}$. A saber, de la ecucación lineal de su polar, $\ell_{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 $\mathbf{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

\begin{equation}
((x, y)-(3,-1)) \cdot((x, y)-(3,-1))=4 .
\end{equation}

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 $\mathbf{a}=(1,3)$ sustituimos en la forma alternativa de la ecuación de la tangente:

$$((x, y)-(3,-1)) \cdot((1,3)-(3,-1))=4$$
$$(x-3, y+1) \cdot(-2,4)=4$$
$$-2 x+4 y+10=4$$
$$x-2 y=3 .$$

De aquí, para encontrar $\ell_{a} \cap \mathcal{C}$, conviene sustituir $x=3+2 y$ en la ecuación original del cícurlo para obtener

\begin{equation}
\begin{aligned}
(3+2 y)^{2}+y^{2}-6(3+2 y)+2 y &=-6 \
5 y^{2}+2 y-3 &=0
\end{aligned}
\end{equation}

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

\begin{equation}
y=\frac{-2 \pm \sqrt{4+60}}{10}=\frac{-2 \pm 8}{10}
\end{equation}

que nos da los valores $y_{0}=-1$ y $y_{1}=\frac{3}{5}$. Y estos, al sustituir de nuevo la ecuación de la polar nos dan los puntos de tangencia de $\mathbf{a}$; que son $(1,-1)$ y $\frac{1}{5}(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 $\mathbf{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 $\mathbf{a}$ esté sobre la circunferencia.

Tarea moral

  • Encuentra los puntos de tangencia: al círculo $x^{2}-2 x+y^{2}-4 y=-3$ desde el punto $(-1,2)$. Sugerencia: puedes consultar el segundo ejercicio realizado en esta entrada.
  • Demuestra que si $\mathbf{c}$ es un punto exterior (al círculo $\mathcal{C}$ con centro $P$ ) entonces su recta a $P$ biseca sus dos tangentes a $\mathcal{C}$. Y además que las distancias a sus pies en $\mathcal{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.

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 familiriazarte con la manipulación algebrica 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.

Entradas relacionadas