Ver el código de «Punto isodinámico»

[[File:Isodynamic Point.svg|thumb|upright=1.35|
{{legend-line|solid lime|[[Círculo de Apolonio|Círculos de Apolonio]]; puntos isodinámicos {{mvar|S}} y {{mvar|S'}} en sus intersecciones}}
{{legend-line|solid blue|[[Bisección|Bisectrices]] interiores, utilizadas para construir las circunferencias}}
{{legend-line|solid red|Bisectrices de los ángulos exteriores, también utilizadas para construir las circunferencias}}
]]

En [[geometría euclídea]], los '''puntos isodinámicos''' de un [[triángulo]] tienen la propiedad de que una [[Geometría inversiva|inversión]] centrada en uno de estos puntos transforma el triángulo dado en un [[triángulo equilátero]], y que las distancias desde el punto isodinámico a los vértices del triángulo son inversamente proporcionales a las longitudes de los lados opuestos del triángulo. Los triángulos que son [[Semejanza (geometría)|semejantes]] entre sí tienen puntos isodinámicos en ubicaciones correspondientes en el plano, por lo que los puntos isodinámicos son [[elementos notables de un triángulo]] y, a diferencia de otros centros de triángulos, los puntos isodinámicos también son invariantes bajo la [[transformación de Möbius]]. Un triángulo que es en sí mismo equilátero tiene un punto isodinámico único, en su [[centroide]] (que coincide con su [[altura (triángulo)|ortocentro]], su [[incentro]] y su [[circunferencia circunscrita|circuncentro]], que son concurrentes). Por otro lado, todo triángulo no equilátero tiene dos puntos isodinámicos.

Los puntos isodinámicos fueron estudiados y nombrados por primera vez por {{harvtxt|Neuberg|1885}}.<ref>Véase {{harvtxt|Casey|1893}} y {{harvtxt|Eves|1995}}.</ref>{{contenido|izquierda}}{{clear|right}}

==Relaciones de distancia==
Los puntos isodinámicos se definieron originalmente a partir de ciertas igualdades de proporciones (o equivalentemente de productos) de distancias entre pares de puntos. Si <math>S</math> y <math>S'</math> son los puntos isodinámicos de un triángulo <math>ABC</math>, entonces los tres productos de distancias <math>AS\cdot BC=BS\cdot AC=CS\cdot AB</math> son iguales. Las igualdades análogas también son válidas para <math>S'.</math><ref>{{harvtxt|Neuberg|1885}} afirma que esta propiedad es la razón para llamar a estos puntos "isodinámicos".</ref> De manera equivalente a la fórmula del producto, las distancias <math>AS,</math> <math>BS,</math> y <math>CS</math> son inversamente proporcionales a las correspondientes longitudes de los lados del triángulo <math>BC,</math> <math>AC,</math> y <math>AB.</math>.

<math>S</math> y <math>S'</math> son los puntos de intersección comunes de los tres [[círculo de Apolonio|círculos de Apolonio]] asociados con un triángulo <math>ABC</math>, las tres circunferencias que pasan cada una por un vértice del triángulo y mantienen una relación constante de distancias a los otros dos vértices.<ref name="botjo"/> Por lo tanto, la línea <math>SS'</math> es el [[eje radical]] común para cada uno de los tres pares de círculos de Apolonio. La bisectriz perpendicular del segmento de línea <math>SS'</math> es la [[Círculo de Apolonio|recta de Lemoine]], que contiene los tres centros de los círculos de Apolonio.<ref name="wildberger"/>

==Transformaciones==
Los puntos isodinámicos <math>S</math> y <math>S'</math> de un triángulo <math>ABC</math> también pueden definirse por sus propiedades con respecto a transformaciones del plano, y particularmente con respecto a la [[Simetría central|inversión]] y la [[transformación de Möbius]] (productos de múltiples inversiones).

La inversión del triángulo <math>ABC</math> respecto de un punto isodinámico transforma el triángulo original en un [[triángulo equilátero]].<ref name="casjo"/>

La inversión con respecto a la [[circunferencia circunscrita]] del triángulo <math>ABC</math> deja el triángulo invariante, pero transforma un punto isodinámico en el otro.<ref name="botjo">{{harvtxt|Bottema|2008}}; {{harvtxt|Johnson|1917}}.</ref>

De manera más general, los puntos isodinámicos son [[equivariante]]s bajo la [[transformación de Möbius]]: el [[par desordenado]] de los puntos isodinámicos de una transformación de <math>ABC</math> es igual a la misma transformación aplicada al par <math>\{S,S'\}.</math> Los puntos isodinámicos individuales se fijan mediante transformaciones de Möbius que aplican el interior de la circunferencia circunscrita de <math>ABC</math> al interior de la circunferencia circunscrita del triángulo transformado, y se intercambian mediante transformaciones que hacen corresponder el interior y el exterior de la circunferencia circunscrita.<ref name="rigby"/>

==Ángulos==
[[File:Isodynamic-lenses.svg|thumb|Tres circunferencias, cada una de las cuales forma ángulos de π/3 con la circunferencia circunscrita y entre sí, se encuentran en el primer punto isodinámico]]

Además de ser las intersecciones de los círculos de Apolonio, cada punto isodinámico es el punto de intersección de otra terna de circunferencias. El primer punto isodinámico es la intersección de tres circunferencias a través de los pares de puntos <math>AB,</math> <math>AC,</math> y <math>BC,</math> donde cada una de estas circunferencias cruza la [[circunferencia circunscrita]] del triángulo <math>ABC</math> para formar una figura con forma de [[Lente (geometría)|''lente'']] con un ángulo de vértice de 2π/3. De manera similar, el segundo punto isodinámico es la intersección de tres circunferencias que intersecan la circunferencia circunscrita para formar lentes con un ángulo de vértice π/3.<ref name="rigby">{{harvtxt|Rigby|1988}}.</ref>

Los ángulos formados por el primer punto isodinámico con los vértices del triángulo satisfacen las ecuaciones <math>ASB= ACB + \pi/3,</math> <math>ASC= ABC + \pi/3,</math> y <math>BSC= BAC + \pi/3.</math> De manera análoga, los ángulos formados por el segundo punto isodinámico satisfacen las ecuaciones <math>AS'B= ACB - \pi/3,</math> <math>AS'C= ABC - \pi/3,</math> y <math>BS'C= BAC - \pi/3.</math><ref name="rigby"/>

El [[triángulo podal]] de un punto isodinámico, el triángulo formado al trazar perpendiculares desde <math>S</math> a cada uno de los tres lados del triángulo <math>ABC,</math> es equilátero,<ref name="casjo">{{harvtxt|Casey|1893}}; {{harvtxt|Johnson|1917}}.</ref> al igual que el triángulo formado al reflejar <math>S</math> a través de cada lado del triángulo.<ref>{{harvtxt|Carver|1956}}.</ref> Entre todos los triángulos equiláteros inscritos en el triángulo <math>ABC,</math>, el triángulo podal del primer punto isodinámico es el que tiene área mínima.<ref>{{harvtxt|Moon|2010}}.</ref>

==Propiedades adicionales==
Los puntos isodinámicos son los [[conjugado isogonal|conjugados]] de los dos [[punto de Fermat|puntos de Fermat]] del triángulo <math>ABC,</math> y viceversa.<ref>{{harvtxt|Eves|1995}}; {{harvtxt|Wildberger|2008}}.</ref>

La [[cúbica de Neuberg]] contiene los dos puntos isodinámicos.<ref name="wildberger">{{harvtxt|Wildberger|2008}}.</ref>

Si una circunferencia se divide en tres arcos, el primer punto isodinámico de los puntos finales del arco es el único punto dentro del círculo con la propiedad de que cada uno de los tres arcos tiene la misma probabilidad de ser el primer arco alcanzado por un [[movimiento browniano]] que comienza en ese punto. Es decir, el punto isodinámico es aquel punto para el cual la [[medida armónica]] de los tres arcos es igual.<ref>{{harvtxt|Iannaccone|Walden|2003}}.</ref>

Dado un polinomio [[univariado]] <math>P(z)= z^3+az^2+bz+c</math> cuyos ceros son los vértices de un triángulo <math>T</math> en el plano complejo, los puntos isodinámicos de <math>T</math> son los ceros del polinomio <math>I(z)= (a^2-3b)z^2 + (ab-9c)z + b^2 - 3ac.</math>. Téngase en cuenta que <math>I(z)</math> es un múltiplo constante de <math>\mathrm{Discriminant}_u(nP(u) + (z-u)P'(u)) ,</math> donde <math>n</math> es el grado de <math>P.</math>. Esta construcción generaliza puntos isodinámicos a polinomios de grado <math>n\ge 3</math> en el sentido de que los ceros del discriminante anterior son invariantes bajo transformaciones de Möbius. Aquí, la expresión <math>nP(u) + (z-u)P'(u)</math> es la derivada polar de <math>P(u)</math> con polo <math>z.</math><ref name="bss">{{harvtxt|Hägg|Shapiro|Shapiro|2023}}.</ref>

De manera equivalente, con <math>P</math> y <math>n</math> definidos como anteriormente, los puntos isodinámicos (generalizados) de <math>P</math> son los [[Polinomio cuadrático complejo|valores críticos]] de <math>f(z)= z-nP(z)/P'(z)</math>. Aquí, <math>f(z)</math> es la expresión que aparece en el método de Newton relajado con el parámetro de relajación <math>n</math>. Existe una construcción similar para funciones racionales en lugar de polinomios.<ref name="bss"/>

==Construcción==
[[File:Isodynamic from reflections.svg|thumb|Construcción del punto isodinámico a partir de copias reflejadas del triángulo dado y triángulos equiláteros que apuntan hacia adentro]]

El círculo de Apolonio que pasa por el vértice <math>A</math> del triángulo <math>ABC</math> se puede construir encontrando las dos [[Bisección|bisectrices]] (interior y exterior) de los dos ángulos formados por las rectas <math>AB</math> y <math>AC</math> en el vértice <math>A,</math> e intersecando estas bisectrices con la recta <math>BC</math>. El segmento de línea entre estos dos puntos de intersección es el diámetro del círculo de Apolonio. Los puntos isodinámicos se pueden encontrar construyendo dos de estos círculos y encontrando sus dos puntos de intersección.<ref name="botjo"/>

Otra construcción con compás y regla implica encontrar la reflexión <math>A'</math> del vértice <math>A</math> respecto a la línea <math>BC</math> (la intersección de circunferencias centradas en <math>B</math> y <math>C</math> hasta <math>A</math>), y construir un triángulo equilátero hacia adentro en el lado <math>BC</math> del triángulo (el vértice <math>A''</math> de este triángulo es la intersección de dos circunferencias que tienen como radio <math>BC</math>). La recta <math>A'A''</math> cruza las rectas <math>B'B''</math> y <math>C'C''</math> construidas de manera similar en el primer punto isodinámico. El segundo punto isodinámico puede construirse de manera similar, pero con los triángulos equiláteros erigidos hacia afuera y no hacia adentro.<ref>{{harvtxt|Evans|2002}}.</ref>

Alternativamente, la posición del primer punto isodinámico se puede calcular a partir de sus [[coordenadas trilineales]], que son<ref>{{harvtxt|Kimberling|1993}}.</ref>

:<math>\sin(A + \pi/3) : \sin(B + \pi/3) : \sin(C + \pi/3).</math>

El segundo punto isodinámico utiliza coordenadas trilineales con una fórmula similar que involucra <math>-\pi/3</math> en lugar de <math>\pi/3.</math>.{{clear|right}}

==Referencias==
{{listaref|2}}

==Bibliografía==
{{refbegin|2}}
*{{citation
|last= Bottema|first= Oene
|edition= 2nd
|isbn= 9780387781303
|page= 108
|publisher= Springer
|title= Topics in elementary geometry
|url= https://books.google.com/books?id=oznMpzdFsWYC&pg=PA108
|year= 2008}}.
*{{citation
|last= Carver|first= Walter B.
|issue= 9
|journal= [[American Mathematical Monthly]]
|jstor= 2309843
|pages= 32–50
|title= Some geometry of the triangle
|volume= 63
|year= 1956
|doi=10.2307/2309843}}.
*{{citation
|last= Casey|first= John
|page= 303
|publisher= Hodges, Figgis, & Co.
|series= Dublin University Press series
|title= A treatise on the analytical geometry of the point, line, circle, and conic sections: containing an account of its most recent extensions, with numerous examples
|url= https://books.google.com/books?id=Ah5IAAAAIAAJ&pg=PA303
|year= 1893}}.
*{{citation
|last= Evans
|first= Lawrence S.
|journal= Forum Geometricorum
|mr= 1907780
|pages= 67–70
|title= A rapid construction of some triangle centers
|url= http://forumgeom.fau.edu/FG2001volume1/FG200109.pdf
|volume= 2
|year= 2002
|fechaacceso= 20 de octubre de 2023
|fechaarchivo= 9 de diciembre de 2015
|urlarchivo= https://web.archive.org/web/20151209010336/http://forumgeom.fau.edu/FG2001volume1/FG200109.pdf
|deadurl= yes
}}.
*{{citation
|last= Eves|first= Howard Whitley|author-link= Howard Eves
|isbn= 9780867204759
|pages= 69–70
|publisher= Jones & Bartlett Learning
|title= College geometry
|url= https://books.google.com/books?id=B81gnTjNazMC&pg=PA69
|year= 1995}}.
*{{citation
|last1= Hägg|first1= Christian
|last2= Shapiro|first2= Boris
|last3= Shapiro|first3= Michael
|journal= Complex Anal Synerg
|title= Introducing isodynamic points for binary forms and their ratios
|url= https://link.springer.com/article/10.1007/s40627-022-00112-4
|volume= 9
|issue= 2
|year= 2023
|doi=10.1007/s40627-022-00112-4|arxiv= 2207.01658
 }}.
*{{citation
|last1= Iannaccone|first1= Andrew
|last2= Walden|first2= Byron
|publisher= Harvey Mudd College Department of Mathematics
|title= The Conformal Center of a Triangle or a Quadrilateral
|url= https://scholarship.claremont.edu/cgi/viewcontent.cgi?article=1152&context=hmc_theses
|year= 2003}}.
*{{citation
|last= Johnson|first= Roger A.
|issue= 7
|journal= [[American Mathematical Monthly]]
|jstor= 2973552
|pages= 313–317
|title= Directed angles and inversion, with a proof of Schoute's theorem
|volume= 24
|year= 1917
|doi=10.2307/2973552}}.
*{{citation
|last= Kimberling|first= Clark|authorlink= Clark Kimberling
|doi= 10.1007/BF01855873
|issue= 2–3
|journal= [[ Aequationes Mathematicae]]
|mr= 1212380
|pages= 127–152
|title= Functional equations associated with triangle geometry
|volume= 45
|year= 1993|s2cid= 189834484|url= http://www.digizeitschriften.de/download/PPN356261603_0045/PPN356261603_0045___log25.pdf
 }}.
*{{citation
|last= Moon
|first= Tarik Adnan
|issue= 6
|journal= Mathematical Reflections
|title= The Apollonian circles and isodynamic points
|url= http://awesomemath.org/wp-content/uploads/reflections/2010_6/Isodynamic_moon_c.pdf
|year= 2010
|access-date= 2012-03-22
|archive-url= https://web.archive.org/web/20130420164948/http://awesomemath.org/wp-content/uploads/reflections/2010_6/Isodynamic_moon_c.pdf
|archive-date= 2013-04-20
}}.
*{{citation
|last= Neuberg|first= J.|author-link= Joseph Jean Baptiste Neuberg
|journal= [[ Mathesis (journal)|Mathesis]]
|language= francés
|pages= 202–204, 217–221, 265–269
|title= Sur le quadrilatère harmonique
|url= https://books.google.com/books?id=LhFOAAAAMAAJ
|volume= 5
|year= 1885}}. La definición de puntos isodinámicos se encuentra en una nota a pie de página en la página 204.
*{{citation
|last= Rigby|first= J. F.
|doi= 10.1007/BF01230612
|issue= 1–2
|journal= Journal of Geometry
|mr= 963992
|pages= 129–146
|title= Napoleon revisited
|volume= 33
|year= 1988|s2cid= 189876799
 }}. La discusión sobre los puntos isodinámicos se encuentra en las páginas 138 y 139. Rigby los llama "[[puntos de Napoleón]]", pero ese nombre se refiere más comúnmente a un centro de triángulo diferente, el punto de concurrencia entre las líneas que conectan los vértices del [[Teorema de Napoleón|triángulo equilátero de Napoleón]] con los vértices opuestos del triángulo dado.
*{{citation
|last= Wildberger|first= N. J.
|contribution= Neuberg cubics over finite fields
|doi= 10.1142/9789812793430_0027
|mr= 2484072
|pages= 488–504
|publisher= World Sci. Publ., Hackensack, NJ
|series= Ser. Number Theory Appl.
|title= Algebraic geometry and its applications
|volume= 5
|year= 2008|arxiv= 0806.2495
|s2cid= 115159205
 }}. Véase especialmente [https://books.google.com/books?id=bKUQ-JpsbKEC&pg=PA498 p. 498].
{{refend}}

==Enlaces externos==
* {{commonscat|Isodynamic points}}
* [https://web.archive.org/web/20120419171900/http://faculty.evansville.edu/ck6/encyclopedia/ETC.html#X15#X15 Puntos isodinámicos X(15) y X(16)] en el [[Enciclopedia de Centros del Triángulo]], por [[Clark Kimberling]]
*{{mathworld|title=Isodynamic Points|urlname=IsodynamicPoints}}

{{Control de autoridades}}
[[Categoría:Centros del triángulo]]