<?xml version="1.0" encoding="UTF-8"?><rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
		>
<channel>
	<title>Comments on: La reconciliación de las circunferencias trae sorpresa</title>
	<atom:link href="http://gaussianos.com/la-reconciliacion-de-las-circunferencias-trae-sorpresa/feed/" rel="self" type="application/rss+xml" />
	<link>http://gaussianos.com/la-reconciliacion-de-las-circunferencias-trae-sorpresa/</link>
	<description>Porque todo tiende a infinito...</description>
	<lastBuildDate>Thu, 09 Sep 2010 02:45:50 +0000</lastBuildDate>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
	<generator>http://wordpress.org/?v=3.0.1</generator>
	<item>
		<title>By: fede</title>
		<link>http://gaussianos.com/la-reconciliacion-de-las-circunferencias-trae-sorpresa/#comment-11597</link>
		<dc:creator>fede</dc:creator>
		<pubDate>Thu, 06 Aug 2009 22:01:47 +0000</pubDate>
		<guid isPermaLink="false">http://gaussianos.com/?p=1600#comment-11597</guid>
		<description>Diamond, yo también. Y está demostrado en la &quot;Geometría Descriptiva&quot; de Monge. Por eso me sorprendió la atribución a d&#039;Alembert en algún sitio.

Poncelet en el &quot;Traité....&quot;, nro 269, dice &quot;esta propiedad, debida a Monge,..&quot;.
En cambio Chasles en el &quot;Aperçu...&quot;, pag 293, dice &quot;esta bella propiedad del círculo, que Fuss atribuye a d&#039;Alembert,..&quot;. Pero esto no es exacto, porque lo que Fuss dice es que le dijeron que se decía que se atribuía a d&#039;Alembert...

Mi conclusión es que es de Monge, hasta donde podemos saber.</description>
		<content:encoded><![CDATA[<p>Diamond, yo también. Y está demostrado en la &#8220;Geometría Descriptiva&#8221; de Monge. Por eso me sorprendió la atribución a d&#8217;Alembert en algún sitio.</p>
<p>Poncelet en el &#8220;Traité&#8230;.&#8221;, nro 269, dice &#8220;esta propiedad, debida a Monge,..&#8221;.<br />
En cambio Chasles en el &#8220;Aperçu&#8230;&#8221;, pag 293, dice &#8220;esta bella propiedad del círculo, que Fuss atribuye a d&#8217;Alembert,..&#8221;. Pero esto no es exacto, porque lo que Fuss dice es que le dijeron que se decía que se atribuía a d&#8217;Alembert&#8230;</p>
<p>Mi conclusión es que es de Monge, hasta donde podemos saber.</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: ^DiAmOnD^</title>
		<link>http://gaussianos.com/la-reconciliacion-de-las-circunferencias-trae-sorpresa/#comment-11596</link>
		<dc:creator>^DiAmOnD^</dc:creator>
		<pubDate>Thu, 06 Aug 2009 19:13:38 +0000</pubDate>
		<guid isPermaLink="false">http://gaussianos.com/?p=1600#comment-11596</guid>
		<description>&lt;strong&gt;fede&lt;/strong&gt;, yo tengo entendido que el teorema es de Monge.

&lt;strong&gt;sergi&lt;/strong&gt;, ¡qué buena la construcción!</description>
		<content:encoded><![CDATA[<p><strong>fede</strong>, yo tengo entendido que el teorema es de Monge.</p>
<p><strong>sergi</strong>, ¡qué buena la construcción!</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: fede</title>
		<link>http://gaussianos.com/la-reconciliacion-de-las-circunferencias-trae-sorpresa/#comment-11595</link>
		<dc:creator>fede</dc:creator>
		<pubDate>Thu, 06 Aug 2009 10:50:46 +0000</pubDate>
		<guid isPermaLink="false">http://gaussianos.com/?p=1600#comment-11595</guid>
		<description>El teorema del post &lt;a href=&quot;http://mathworld.wolfram.com/dAlembertsTheorem.html&quot; rel=&quot;nofollow&quot;&gt; se atribuye a d&#039;Alembert&lt;/a&gt;.
Y curiosamente en el mismo sitio también lo llaman &lt;a href=&quot;http://mathworld.wolfram.com/MongesCircleTheorem.html&quot; rel=&quot;nofollow&quot;&gt; teorema de Monge&lt;/a&gt;.

El único motivo de la atribución a d&#039;Alembert parece que es la siguiente frase de Fuss de 1799, en &lt;a href=&quot;http://books.google.es/books?id=jFwFAAAAQAAJ&amp;dq=nova%20acta%20petropolitanae%20fuss&amp;lr=&amp;pg=RA1-PA139#v=onepage&amp;q=&amp;f=false&quot; rel=&quot;nofollow&quot;&gt; Nova Acta Ac. Sci. Imp. Petroplitanae, tomo XIV (1805)&lt;/a&gt;:

&quot;Hace ya varios años que un joven francés. empleado entonces en el Cuerpo Imperial de Cadetes de Tierra, me habló de un teorema de geometría que, en el tiempo en que estaba aún en Paris en la Escuela Real militar, tuvo alguna celebridad y que se pretendía que había provenido de Mr. d&#039;Alembert&quot;.</description>
		<content:encoded><![CDATA[<p>El teorema del post <a href="http://mathworld.wolfram.com/dAlembertsTheorem.html" rel="nofollow"> se atribuye a d&#8217;Alembert</a>.<br />
Y curiosamente en el mismo sitio también lo llaman <a href="http://mathworld.wolfram.com/MongesCircleTheorem.html" rel="nofollow"> teorema de Monge</a>.</p>
<p>El único motivo de la atribución a d&#8217;Alembert parece que es la siguiente frase de Fuss de 1799, en <a href="http://books.google.es/books?id=jFwFAAAAQAAJ&amp;dq=nova%20acta%20petropolitanae%20fuss&amp;lr=&amp;pg=RA1-PA139#v=onepage&amp;q=&amp;f=false" rel="nofollow"> Nova Acta Ac. Sci. Imp. Petroplitanae, tomo XIV (1805)</a>:</p>
<p>&#8220;Hace ya varios años que un joven francés. empleado entonces en el Cuerpo Imperial de Cadetes de Tierra, me habló de un teorema de geometría que, en el tiempo en que estaba aún en Paris en la Escuela Real militar, tuvo alguna celebridad y que se pretendía que había provenido de Mr. d&#8217;Alembert&#8221;.</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: sergi</title>
		<link>http://gaussianos.com/la-reconciliacion-de-las-circunferencias-trae-sorpresa/#comment-11594</link>
		<dc:creator>sergi</dc:creator>
		<pubDate>Thu, 06 Aug 2009 09:06:57 +0000</pubDate>
		<guid isPermaLink="false">http://gaussianos.com/?p=1600#comment-11594</guid>
		<description>la construcción del teorema en GeoGebra:
http://www.delibros.org/_box/elsjuliols/elsjuliols_exercici.html

llevad la construcción hasta el último paso (tecla &gt;&gt;&#124;) y moved el centro de cualquiera de las cirmcumferencias

un saludo y enhorabuena por vuestro trabajo</description>
		<content:encoded><![CDATA[<p>la construcción del teorema en GeoGebra:<br />
<a href="http://www.delibros.org/_box/elsjuliols/elsjuliols_exercici.html" rel="nofollow">http://www.delibros.org/_box/elsjuliols/elsjuliols_exercici.html</a></p>
<p>llevad la construcción hasta el último paso (tecla &gt;&gt;|) y moved el centro de cualquiera de las cirmcumferencias</p>
<p>un saludo y enhorabuena por vuestro trabajo</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: M</title>
		<link>http://gaussianos.com/la-reconciliacion-de-las-circunferencias-trae-sorpresa/#comment-11593</link>
		<dc:creator>M</dc:creator>
		<pubDate>Wed, 05 Aug 2009 19:38:44 +0000</pubDate>
		<guid isPermaLink="false">http://gaussianos.com/?p=1600#comment-11593</guid>
		<description>Basándonos en el último comentario de vengoroso al respecto de considerar los centros de las circunferencia podemos dar una prueba completa sin necesidad de hacer ningún cálculo engorroso. Ahí va:

Sean $latex C_1, C_2, C_3$ los tres centros de las circunferencias y tomemos el triángulo que definen. De las seis tangentes exteriores a las circunferencias, consideremos ahora las tres que no cortan a este triángulo. Estas tangentes se cortan dos a dos en $latex C_1^\prime, C_2^\prime, C_3^\prime$. Vemos que las rectas $latex C_1^\prime C_1$, $latex C_2^\prime C_2$, $latex C_3^\prime C_3$ son las bisectrices del triángulo de vértices $latex C_1^\prime, C_2^\prime, C_3^\prime$, y por tanto concurren (en su incentro). Según el Teorema de Desargues obtenemos directamente que las intersecciones de $latex C_1C_2$ y $latex C_1^\prime C_2^\prime$, $latex C_2C_3$ y $latex C_2^\prime C_3^\prime$, $latex C_3C_1$ y $latex C_3^\prime C_1^\prime$ están en un línea. Pero estos puntos son precisamente los del enunciado del problema.</description>
		<content:encoded><![CDATA[<p>Basándonos en el último comentario de vengoroso al respecto de considerar los centros de las circunferencia podemos dar una prueba completa sin necesidad de hacer ningún cálculo engorroso. Ahí va:</p>
<p>Sean <img src='http://s.wordpress.com/latex.php?latex=C_1%2C%20C_2%2C%20C_3&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='C_1, C_2, C_3' title='C_1, C_2, C_3' class='latex' /> los tres centros de las circunferencias y tomemos el triángulo que definen. De las seis tangentes exteriores a las circunferencias, consideremos ahora las tres que no cortan a este triángulo. Estas tangentes se cortan dos a dos en <img src='http://s.wordpress.com/latex.php?latex=C_1%5E%5Cprime%2C%20C_2%5E%5Cprime%2C%20C_3%5E%5Cprime&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='C_1^\prime, C_2^\prime, C_3^\prime' title='C_1^\prime, C_2^\prime, C_3^\prime' class='latex' />. Vemos que las rectas <img src='http://s.wordpress.com/latex.php?latex=C_1%5E%5Cprime%20C_1&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='C_1^\prime C_1' title='C_1^\prime C_1' class='latex' />, <img src='http://s.wordpress.com/latex.php?latex=C_2%5E%5Cprime%20C_2&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='C_2^\prime C_2' title='C_2^\prime C_2' class='latex' />, <img src='http://s.wordpress.com/latex.php?latex=C_3%5E%5Cprime%20C_3&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='C_3^\prime C_3' title='C_3^\prime C_3' class='latex' /> son las bisectrices del triángulo de vértices <img src='http://s.wordpress.com/latex.php?latex=C_1%5E%5Cprime%2C%20C_2%5E%5Cprime%2C%20C_3%5E%5Cprime&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='C_1^\prime, C_2^\prime, C_3^\prime' title='C_1^\prime, C_2^\prime, C_3^\prime' class='latex' />, y por tanto concurren (en su incentro). Según el Teorema de Desargues obtenemos directamente que las intersecciones de <img src='http://s.wordpress.com/latex.php?latex=C_1C_2&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='C_1C_2' title='C_1C_2' class='latex' /> y <img src='http://s.wordpress.com/latex.php?latex=C_1%5E%5Cprime%20C_2%5E%5Cprime&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='C_1^\prime C_2^\prime' title='C_1^\prime C_2^\prime' class='latex' />, <img src='http://s.wordpress.com/latex.php?latex=C_2C_3&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='C_2C_3' title='C_2C_3' class='latex' /> y <img src='http://s.wordpress.com/latex.php?latex=C_2%5E%5Cprime%20C_3%5E%5Cprime&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='C_2^\prime C_3^\prime' title='C_2^\prime C_3^\prime' class='latex' />, <img src='http://s.wordpress.com/latex.php?latex=C_3C_1&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='C_3C_1' title='C_3C_1' class='latex' /> y <img src='http://s.wordpress.com/latex.php?latex=C_3%5E%5Cprime%20C_1%5E%5Cprime&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='C_3^\prime C_1^\prime' title='C_3^\prime C_1^\prime' class='latex' /> están en un línea. Pero estos puntos son precisamente los del enunciado del problema.</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: vengoroso</title>
		<link>http://gaussianos.com/la-reconciliacion-de-las-circunferencias-trae-sorpresa/#comment-11592</link>
		<dc:creator>vengoroso</dc:creator>
		<pubDate>Wed, 05 Aug 2009 14:40:30 +0000</pubDate>
		<guid isPermaLink="false">http://gaussianos.com/?p=1600#comment-11592</guid>
		<description>La prueba es muy sencilla: se toma el triangulo formado por los centros de las circunferencias, los puntos de interseccion de las tangentes estan en las prolongaciones de los lados, asi que la condicion de colinearidad viene dada por la igualdad del teorema de Menelao (Desargues es una version mas fuerte de este). Esta igualdad se prueba facilmente usando semejanza. La idea es asi de simple, las cuentas un latazo de escribir, sobre todo por ordenador :-P</description>
		<content:encoded><![CDATA[<p>La prueba es muy sencilla: se toma el triangulo formado por los centros de las circunferencias, los puntos de interseccion de las tangentes estan en las prolongaciones de los lados, asi que la condicion de colinearidad viene dada por la igualdad del teorema de Menelao (Desargues es una version mas fuerte de este). Esta igualdad se prueba facilmente usando semejanza. La idea es asi de simple, las cuentas un latazo de escribir, sobre todo por ordenador <img src='http://gaussianos.com/wp-includes/images/smilies/icon_razz.gif' alt=':-P' class='wp-smiley' /> </p>
]]></content:encoded>
	</item>
	<item>
		<title>By: M</title>
		<link>http://gaussianos.com/la-reconciliacion-de-las-circunferencias-trae-sorpresa/#comment-11591</link>
		<dc:creator>M</dc:creator>
		<pubDate>Wed, 05 Aug 2009 14:01:49 +0000</pubDate>
		<guid isPermaLink="false">http://gaussianos.com/?p=1600#comment-11591</guid>
		<description>Estoy muy de acuerdo, vengoroso, en que es bastante tramposo usar las homotecias en este problema, ya que parece equivalente el enunciado del problema a probar que la composición de homotecias es otra homotecia. De hecho, puede que la prueba que conoces para este problema sea análoga o bastante similar a la que se hace para las homotecias.</description>
		<content:encoded><![CDATA[<p>Estoy muy de acuerdo, vengoroso, en que es bastante tramposo usar las homotecias en este problema, ya que parece equivalente el enunciado del problema a probar que la composición de homotecias es otra homotecia. De hecho, puede que la prueba que conoces para este problema sea análoga o bastante similar a la que se hace para las homotecias.</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: vengoroso</title>
		<link>http://gaussianos.com/la-reconciliacion-de-las-circunferencias-trae-sorpresa/#comment-11590</link>
		<dc:creator>vengoroso</dc:creator>
		<pubDate>Wed, 05 Aug 2009 13:41:31 +0000</pubDate>
		<guid isPermaLink="false">http://gaussianos.com/?p=1600#comment-11590</guid>
		<description>Ups. Te me adelantaste, &lt;b&gt;M&lt;/b&gt; :-P</description>
		<content:encoded><![CDATA[<p>Ups. Te me adelantaste, <b>M</b> <img src='http://gaussianos.com/wp-includes/images/smilies/icon_razz.gif' alt=':-P' class='wp-smiley' /> </p>
]]></content:encoded>
	</item>
	<item>
		<title>By: vengoroso</title>
		<link>http://gaussianos.com/la-reconciliacion-de-las-circunferencias-trae-sorpresa/#comment-11589</link>
		<dc:creator>vengoroso</dc:creator>
		<pubDate>Wed, 05 Aug 2009 13:35:49 +0000</pubDate>
		<guid isPermaLink="false">http://gaussianos.com/?p=1600#comment-11589</guid>
		<description>&lt;b&gt;Maestrillo&lt;/b&gt;, a &lt;b&gt;M&lt;/b&gt; le ha faltado un detalle: la composicion de homotecias (de distinto centro) es una homotecia &lt;em&gt;con centro alineado con los anteriores&lt;/em&gt;. De todas formas es un poco &quot;trampa&quot; usar el teorema de clasificacion de afinidades en el plano (que creo que se debe a Euler) para resolver un problema de geometria sintetica.
Yo conozco una demostracion sintetica (en el plano) usando semejanza de triangulos y el teorema de Menelao.

&lt;b&gt;^DiAmOnD^&lt;/b&gt; supongo que lo de &quot;pasar a tres dimensiones&quot; es una forma disfrazada de usar geometria proyectiva, no?

Como curiosidad, el resultado es cierto en algo mas de generalidad, permitiendo mezclas de tangentes interiores y exteriores. La generalizacion consiste en darles a las circunferencias una orientacion (horaria u antihoraria) y trazar las tangentes que &quot;respetan esa orientacion&quot; (las exteriores si dos circunferencias tienen la misma orientacion, las interiores si tienen orientacion opuesta). Los tres puntos de interseccion que se obtienen siguen estando alineados.</description>
		<content:encoded><![CDATA[<p><b>Maestrillo</b>, a <b>M</b> le ha faltado un detalle: la composicion de homotecias (de distinto centro) es una homotecia <em>con centro alineado con los anteriores</em>. De todas formas es un poco &#8220;trampa&#8221; usar el teorema de clasificacion de afinidades en el plano (que creo que se debe a Euler) para resolver un problema de geometria sintetica.<br />
Yo conozco una demostracion sintetica (en el plano) usando semejanza de triangulos y el teorema de Menelao.</p>
<p><b>^DiAmOnD^</b> supongo que lo de &#8220;pasar a tres dimensiones&#8221; es una forma disfrazada de usar geometria proyectiva, no?</p>
<p>Como curiosidad, el resultado es cierto en algo mas de generalidad, permitiendo mezclas de tangentes interiores y exteriores. La generalizacion consiste en darles a las circunferencias una orientacion (horaria u antihoraria) y trazar las tangentes que &#8220;respetan esa orientacion&#8221; (las exteriores si dos circunferencias tienen la misma orientacion, las interiores si tienen orientacion opuesta). Los tres puntos de interseccion que se obtienen siguen estando alineados.</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: M</title>
		<link>http://gaussianos.com/la-reconciliacion-de-las-circunferencias-trae-sorpresa/#comment-11588</link>
		<dc:creator>M</dc:creator>
		<pubDate>Wed, 05 Aug 2009 13:30:54 +0000</pubDate>
		<guid isPermaLink="false">http://gaussianos.com/?p=1600#comment-11588</guid>
		<description>Maestrillo, ciertamente mi comentario fue muy esquemático ya que sólo pretendía dar la idea y dejar los detalles. Tu comentario refleja una de las tres cosas que no había probado:

1) &quot;La composición de homotecias de distinto centro y radios no inversos vuelve a ser una homotecia cuyo radio es el producto de los radios de las homotecias originales.&quot;

Esta es una propiedad conocida que, aunque no es difícil de probar, es algo molesta de escribir pues requiere liarse un poco con semejanza de triángulos y usar el &lt;a HREF=&quot;http://es.wikipedia.org/wiki/Teorema_de_Desargues&quot; rel=&quot;nofollow&quot;&gt;Teorema de Desargues&lt;/A&gt; para probar que el centro de la composición de las homotecias está bien definido.

2) Aplicando esto a nuestro caso se deduce que el centro de la composición $latex \mathcal{H}_2\circ \mathcal{H}_1$ debe ser precisamente $latex O_3$, el punto de corte de las tangentes exteriores a $latex \mathcal{C}_3$.

Para ver esto, sabemos por 1) que $latex \mathcal{H}_2\circ \mathcal{H}_1=\mathcal{H}_{O,r_3/r_1}$, para cierto centro $latex O$, es decir

$latex \overrightarrow{OX^\prime}=\frac{r_3}{r_1} \cdot \overrightarrow{OX}$

Pero es que como $latex \mathcal{C}_1,\mathcal{C}_3$ son homotéticas a través de $latex \mathcal{H}_3= \mathcal{H}_{O_3,r_3/r_1}$, para los puntos de dichas circunferencias se verifica que

$latex \overrightarrow{O_3X^\prime}=\frac{r_3}{r_1} \cdot \overrightarrow{O_3X}$.

Restando estas dos últimas ecuaciones se llega a que:

$latex \overrightarrow{OO_3}=\frac{r_3}{r_1} \cdot \overrightarrow{OO_3}$, es decir $latex O=O_3$.

3) Finalmente faltó probar que el centro de la composición de dos homotecias está en línea con los centros de las homotecias originales.

A través de $latex \mathcal{H}_1$: $latex \overrightarrow{O_1X^\prime}=\frac{r_2}{r_1} \cdot \overrightarrow{O_1X}$.
A través de $latex \mathcal{H}_2$: $latex \overrightarrow{O_2X^{\prime\prime}}=\frac{r_3}{r_2} \cdot \overrightarrow{O_2X^\prime}$.

Luego:

$latex X^{\prime\prime}=O_2+\frac{r_3}{r_2} \cdot \overrightarrow{O_2X^\prime}$
$latex X^{\prime\prime}=O_3+\overrightarrow{O_3O_2}+\frac{r_3}{r_2} \cdot \overrightarrow{O_2X^\prime}=$
$latex X^{\prime\prime}= O_3+\overrightarrow{O_3O_2}+\frac{r_3}{r_2} \cdot \left(\overrightarrow{O_2O_1}+\overrightarrow{O_1X^\prime}\right)$
$latex X^{\prime\prime}=O_3+\overrightarrow{O_3O_2}+\frac{r_3}{r_2} \cdot \overrightarrow{O_2O_1}+\frac{r_3}{r_1}\cdot\overrightarrow{O_1X}$
$latex X^{\prime\prime}=O_3+\frac{r_3}{r_1}\cdot\overrightarrow{O_3X}+\left(\overrightarrow{O_3O_2}+\frac{r_3}{r_2} \cdot \overrightarrow{O_2O_1}+\frac{r_3}{r_1}\cdot\overrightarrow{O_1O_3}\right)$.

Como $latex X^{\prime\prime}$ se obtiene de $latex X$ por $latex \mathcal{H}_3$, se tiene que

$latex \overrightarrow{O_3O_2}+\frac{r_3}{r_2} \cdot \overrightarrow{O_2O_1}+\frac{r_3}{r_1}\cdot\overrightarrow{O_1O_3}=\overrightarrow{0}$,

y esto equivale a poner $latex \left(\frac{r_3}{r_1}-1\right)\overrightarrow{O_1O_3}=\left(\frac{r_3}{r_2}-1\right)\overrightarrow{O_1O_2}$, que nos dice que los tres centros están alineados.</description>
		<content:encoded><![CDATA[<p>Maestrillo, ciertamente mi comentario fue muy esquemático ya que sólo pretendía dar la idea y dejar los detalles. Tu comentario refleja una de las tres cosas que no había probado:</p>
<p>1) &#8220;La composición de homotecias de distinto centro y radios no inversos vuelve a ser una homotecia cuyo radio es el producto de los radios de las homotecias originales.&#8221;</p>
<p>Esta es una propiedad conocida que, aunque no es difícil de probar, es algo molesta de escribir pues requiere liarse un poco con semejanza de triángulos y usar el <a HREF="http://es.wikipedia.org/wiki/Teorema_de_Desargues" rel="nofollow">Teorema de Desargues</a> para probar que el centro de la composición de las homotecias está bien definido.</p>
<p>2) Aplicando esto a nuestro caso se deduce que el centro de la composición <img src='http://s.wordpress.com/latex.php?latex=%5Cmathcal%7BH%7D_2%5Ccirc%20%5Cmathcal%7BH%7D_1&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\mathcal{H}_2\circ \mathcal{H}_1' title='\mathcal{H}_2\circ \mathcal{H}_1' class='latex' /> debe ser precisamente <img src='http://s.wordpress.com/latex.php?latex=O_3&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='O_3' title='O_3' class='latex' />, el punto de corte de las tangentes exteriores a <img src='http://s.wordpress.com/latex.php?latex=%5Cmathcal%7BC%7D_3&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\mathcal{C}_3' title='\mathcal{C}_3' class='latex' />.</p>
<p>Para ver esto, sabemos por 1) que <img src='http://s.wordpress.com/latex.php?latex=%5Cmathcal%7BH%7D_2%5Ccirc%20%5Cmathcal%7BH%7D_1%3D%5Cmathcal%7BH%7D_%7BO%2Cr_3%2Fr_1%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\mathcal{H}_2\circ \mathcal{H}_1=\mathcal{H}_{O,r_3/r_1}' title='\mathcal{H}_2\circ \mathcal{H}_1=\mathcal{H}_{O,r_3/r_1}' class='latex' />, para cierto centro <img src='http://s.wordpress.com/latex.php?latex=O&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='O' title='O' class='latex' />, es decir</p>
<p><img src='http://s.wordpress.com/latex.php?latex=%5Coverrightarrow%7BOX%5E%5Cprime%7D%3D%5Cfrac%7Br_3%7D%7Br_1%7D%20%5Ccdot%20%5Coverrightarrow%7BOX%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\overrightarrow{OX^\prime}=\frac{r_3}{r_1} \cdot \overrightarrow{OX}' title='\overrightarrow{OX^\prime}=\frac{r_3}{r_1} \cdot \overrightarrow{OX}' class='latex' /></p>
<p>Pero es que como <img src='http://s.wordpress.com/latex.php?latex=%5Cmathcal%7BC%7D_1%2C%5Cmathcal%7BC%7D_3&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\mathcal{C}_1,\mathcal{C}_3' title='\mathcal{C}_1,\mathcal{C}_3' class='latex' /> son homotéticas a través de <img src='http://s.wordpress.com/latex.php?latex=%5Cmathcal%7BH%7D_3%3D%20%5Cmathcal%7BH%7D_%7BO_3%2Cr_3%2Fr_1%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\mathcal{H}_3= \mathcal{H}_{O_3,r_3/r_1}' title='\mathcal{H}_3= \mathcal{H}_{O_3,r_3/r_1}' class='latex' />, para los puntos de dichas circunferencias se verifica que</p>
<p><img src='http://s.wordpress.com/latex.php?latex=%5Coverrightarrow%7BO_3X%5E%5Cprime%7D%3D%5Cfrac%7Br_3%7D%7Br_1%7D%20%5Ccdot%20%5Coverrightarrow%7BO_3X%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\overrightarrow{O_3X^\prime}=\frac{r_3}{r_1} \cdot \overrightarrow{O_3X}' title='\overrightarrow{O_3X^\prime}=\frac{r_3}{r_1} \cdot \overrightarrow{O_3X}' class='latex' />.</p>
<p>Restando estas dos últimas ecuaciones se llega a que:</p>
<p><img src='http://s.wordpress.com/latex.php?latex=%5Coverrightarrow%7BOO_3%7D%3D%5Cfrac%7Br_3%7D%7Br_1%7D%20%5Ccdot%20%5Coverrightarrow%7BOO_3%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\overrightarrow{OO_3}=\frac{r_3}{r_1} \cdot \overrightarrow{OO_3}' title='\overrightarrow{OO_3}=\frac{r_3}{r_1} \cdot \overrightarrow{OO_3}' class='latex' />, es decir <img src='http://s.wordpress.com/latex.php?latex=O%3DO_3&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='O=O_3' title='O=O_3' class='latex' />.</p>
<p>3) Finalmente faltó probar que el centro de la composición de dos homotecias está en línea con los centros de las homotecias originales.</p>
<p>A través de <img src='http://s.wordpress.com/latex.php?latex=%5Cmathcal%7BH%7D_1&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\mathcal{H}_1' title='\mathcal{H}_1' class='latex' />: <img src='http://s.wordpress.com/latex.php?latex=%5Coverrightarrow%7BO_1X%5E%5Cprime%7D%3D%5Cfrac%7Br_2%7D%7Br_1%7D%20%5Ccdot%20%5Coverrightarrow%7BO_1X%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\overrightarrow{O_1X^\prime}=\frac{r_2}{r_1} \cdot \overrightarrow{O_1X}' title='\overrightarrow{O_1X^\prime}=\frac{r_2}{r_1} \cdot \overrightarrow{O_1X}' class='latex' />.<br />
A través de <img src='http://s.wordpress.com/latex.php?latex=%5Cmathcal%7BH%7D_2&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\mathcal{H}_2' title='\mathcal{H}_2' class='latex' />: <img src='http://s.wordpress.com/latex.php?latex=%5Coverrightarrow%7BO_2X%5E%7B%5Cprime%5Cprime%7D%7D%3D%5Cfrac%7Br_3%7D%7Br_2%7D%20%5Ccdot%20%5Coverrightarrow%7BO_2X%5E%5Cprime%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\overrightarrow{O_2X^{\prime\prime}}=\frac{r_3}{r_2} \cdot \overrightarrow{O_2X^\prime}' title='\overrightarrow{O_2X^{\prime\prime}}=\frac{r_3}{r_2} \cdot \overrightarrow{O_2X^\prime}' class='latex' />.</p>
<p>Luego:</p>
<p><img src='http://s.wordpress.com/latex.php?latex=X%5E%7B%5Cprime%5Cprime%7D%3DO_2%2B%5Cfrac%7Br_3%7D%7Br_2%7D%20%5Ccdot%20%5Coverrightarrow%7BO_2X%5E%5Cprime%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='X^{\prime\prime}=O_2+\frac{r_3}{r_2} \cdot \overrightarrow{O_2X^\prime}' title='X^{\prime\prime}=O_2+\frac{r_3}{r_2} \cdot \overrightarrow{O_2X^\prime}' class='latex' /><br />
<img src='http://s.wordpress.com/latex.php?latex=X%5E%7B%5Cprime%5Cprime%7D%3DO_3%2B%5Coverrightarrow%7BO_3O_2%7D%2B%5Cfrac%7Br_3%7D%7Br_2%7D%20%5Ccdot%20%5Coverrightarrow%7BO_2X%5E%5Cprime%7D%3D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='X^{\prime\prime}=O_3+\overrightarrow{O_3O_2}+\frac{r_3}{r_2} \cdot \overrightarrow{O_2X^\prime}=' title='X^{\prime\prime}=O_3+\overrightarrow{O_3O_2}+\frac{r_3}{r_2} \cdot \overrightarrow{O_2X^\prime}=' class='latex' /><br />
<img src='http://s.wordpress.com/latex.php?latex=X%5E%7B%5Cprime%5Cprime%7D%3D%20O_3%2B%5Coverrightarrow%7BO_3O_2%7D%2B%5Cfrac%7Br_3%7D%7Br_2%7D%20%5Ccdot%20%5Cleft%28%5Coverrightarrow%7BO_2O_1%7D%2B%5Coverrightarrow%7BO_1X%5E%5Cprime%7D%5Cright%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='X^{\prime\prime}= O_3+\overrightarrow{O_3O_2}+\frac{r_3}{r_2} \cdot \left(\overrightarrow{O_2O_1}+\overrightarrow{O_1X^\prime}\right)' title='X^{\prime\prime}= O_3+\overrightarrow{O_3O_2}+\frac{r_3}{r_2} \cdot \left(\overrightarrow{O_2O_1}+\overrightarrow{O_1X^\prime}\right)' class='latex' /><br />
<img src='http://s.wordpress.com/latex.php?latex=X%5E%7B%5Cprime%5Cprime%7D%3DO_3%2B%5Coverrightarrow%7BO_3O_2%7D%2B%5Cfrac%7Br_3%7D%7Br_2%7D%20%5Ccdot%20%5Coverrightarrow%7BO_2O_1%7D%2B%5Cfrac%7Br_3%7D%7Br_1%7D%5Ccdot%5Coverrightarrow%7BO_1X%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='X^{\prime\prime}=O_3+\overrightarrow{O_3O_2}+\frac{r_3}{r_2} \cdot \overrightarrow{O_2O_1}+\frac{r_3}{r_1}\cdot\overrightarrow{O_1X}' title='X^{\prime\prime}=O_3+\overrightarrow{O_3O_2}+\frac{r_3}{r_2} \cdot \overrightarrow{O_2O_1}+\frac{r_3}{r_1}\cdot\overrightarrow{O_1X}' class='latex' /><br />
<img src='http://s.wordpress.com/latex.php?latex=X%5E%7B%5Cprime%5Cprime%7D%3DO_3%2B%5Cfrac%7Br_3%7D%7Br_1%7D%5Ccdot%5Coverrightarrow%7BO_3X%7D%2B%5Cleft%28%5Coverrightarrow%7BO_3O_2%7D%2B%5Cfrac%7Br_3%7D%7Br_2%7D%20%5Ccdot%20%5Coverrightarrow%7BO_2O_1%7D%2B%5Cfrac%7Br_3%7D%7Br_1%7D%5Ccdot%5Coverrightarrow%7BO_1O_3%7D%5Cright%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='X^{\prime\prime}=O_3+\frac{r_3}{r_1}\cdot\overrightarrow{O_3X}+\left(\overrightarrow{O_3O_2}+\frac{r_3}{r_2} \cdot \overrightarrow{O_2O_1}+\frac{r_3}{r_1}\cdot\overrightarrow{O_1O_3}\right)' title='X^{\prime\prime}=O_3+\frac{r_3}{r_1}\cdot\overrightarrow{O_3X}+\left(\overrightarrow{O_3O_2}+\frac{r_3}{r_2} \cdot \overrightarrow{O_2O_1}+\frac{r_3}{r_1}\cdot\overrightarrow{O_1O_3}\right)' class='latex' />.</p>
<p>Como <img src='http://s.wordpress.com/latex.php?latex=X%5E%7B%5Cprime%5Cprime%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='X^{\prime\prime}' title='X^{\prime\prime}' class='latex' /> se obtiene de <img src='http://s.wordpress.com/latex.php?latex=X&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='X' title='X' class='latex' /> por <img src='http://s.wordpress.com/latex.php?latex=%5Cmathcal%7BH%7D_3&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\mathcal{H}_3' title='\mathcal{H}_3' class='latex' />, se tiene que</p>
<p><img src='http://s.wordpress.com/latex.php?latex=%5Coverrightarrow%7BO_3O_2%7D%2B%5Cfrac%7Br_3%7D%7Br_2%7D%20%5Ccdot%20%5Coverrightarrow%7BO_2O_1%7D%2B%5Cfrac%7Br_3%7D%7Br_1%7D%5Ccdot%5Coverrightarrow%7BO_1O_3%7D%3D%5Coverrightarrow%7B0%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\overrightarrow{O_3O_2}+\frac{r_3}{r_2} \cdot \overrightarrow{O_2O_1}+\frac{r_3}{r_1}\cdot\overrightarrow{O_1O_3}=\overrightarrow{0}' title='\overrightarrow{O_3O_2}+\frac{r_3}{r_2} \cdot \overrightarrow{O_2O_1}+\frac{r_3}{r_1}\cdot\overrightarrow{O_1O_3}=\overrightarrow{0}' class='latex' />,</p>
<p>y esto equivale a poner <img src='http://s.wordpress.com/latex.php?latex=%5Cleft%28%5Cfrac%7Br_3%7D%7Br_1%7D-1%5Cright%29%5Coverrightarrow%7BO_1O_3%7D%3D%5Cleft%28%5Cfrac%7Br_3%7D%7Br_2%7D-1%5Cright%29%5Coverrightarrow%7BO_1O_2%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\left(\frac{r_3}{r_1}-1\right)\overrightarrow{O_1O_3}=\left(\frac{r_3}{r_2}-1\right)\overrightarrow{O_1O_2}' title='\left(\frac{r_3}{r_1}-1\right)\overrightarrow{O_1O_3}=\left(\frac{r_3}{r_2}-1\right)\overrightarrow{O_1O_2}' class='latex' />, que nos dice que los tres centros están alineados.</p>
]]></content:encoded>
	</item>
</channel>
</rss>
