Círculo Ford

En matemáticas , un círculo de Ford es un círculo en el plano euclidiano , en una familia de círculos que son todos tangentes al eje y en puntos racionales . Para cada número racional , expresado en términos mínimos, hay un círculo de Ford cuyo centro está en el punto y cuyo radio es . Es tangente al eje y en su punto inferior, . Los dos círculos de Ford para números racionales y (ambos en términos mínimos) son círculos tangentes cuando y en caso contrario estos dos círculos son disjuntos. ^[1]${\estilo de visualización x}$${\estilo de visualización p/q}$${\displaystyle (p/q,1/(2q^{2}))}$${\displaystyle 1/(2q^{2})}$${\estilo de visualización x}$${\displaystyle (p/q,0)}$${\estilo de visualización p/q}$${\estilo de visualización r/s}$${\displaystyle |ps-qr|=1}$

Los círculos de Ford son un caso especial de círculos mutuamente tangentes; la línea base puede considerarse como un círculo con un radio infinito. Los sistemas de círculos mutuamente tangentes fueron estudiados por Apolonio de Perge , en cuyo honor se nombran el problema de Apolonio y la junta apolínea . ^[2] En el siglo XVII, René Descartes descubrió el teorema de Descartes , una relación entre los recíprocos de los radios de círculos mutuamente tangentes. ^[2]

Los círculos de Ford también aparecen en los Sangaku (rompecabezas geométricos) de las matemáticas japonesas . Un problema típico, que se presenta en una tablilla de 1824 en la prefectura de Gunma , cubre la relación de tres círculos en contacto con una tangente común . Dado el tamaño de los dos círculos grandes exteriores, ¿cuál es el tamaño del círculo pequeño entre ellos? La respuesta es equivalente a un círculo de Ford: ^[3]

${\displaystyle {\frac {1}{\sqrt {r_{\text{centro}}}}}={\frac {1}{\sqrt {r_{\text{izquierda}}}}}+{\frac {1}{\sqrt {r_{\text{derecha}}}}}.}$

Los círculos de Ford reciben su nombre del matemático estadounidense Lester R. Ford, Sr. , quien escribió sobre ellos en 1938. ^[1]

El círculo de Ford asociado con la fracción se denota por o Hay un círculo de Ford asociado con cada número racional . Además, la línea se cuenta como un círculo de Ford: se puede pensar en él como el círculo de Ford asociado con el infinito , que es el caso${\estilo de visualización p/q}$${\displaystyle C[p/q]}$${\displaystyle C[p,q].}$${\displaystyle y=1}$${\displaystyle p=1,q=0.}$

Dos círculos de Ford diferentes son disjuntos o tangentes entre sí. No hay dos interiores de círculos de Ford que se intersequen, aunque haya un círculo de Ford tangente al eje x en cada punto de él con coordenadas racionales . Si está entre 0 y 1, los círculos de Ford que son tangentes a se pueden describir de diversas formas como ${\estilo de visualización p/q}$${\displaystyle C[p/q]}$

1. los círculos donde ^[1]${\displaystyle C[r/s]}$${\displaystyle |ps-qr|=1,}$
2. los círculos asociados con las fracciones que son vecinas de en alguna secuencia de Farey , ^[1] o${\estilo de visualización r/s}$${\estilo de visualización p/q}$
3. los círculos donde está el siguiente ancestro más grande o el siguiente más pequeño en el árbol de Stern-Brocot o donde está el siguiente ancestro más grande o el siguiente más pequeño en . ^[1]${\displaystyle C[r/s]}$${\estilo de visualización r/s}$${\estilo de visualización p/q}$${\estilo de visualización p/q}$${\estilo de visualización r/s}$

Si y son dos círculos de Ford tangentes, entonces el círculo que pasa por y (las coordenadas x de los centros de los círculos de Ford) y que es perpendicular al eje (cuyo centro está en el eje x) también pasa por el punto donde los dos círculos son tangentes entre sí. ${\displaystyle C[p/q]}$${\displaystyle C[r/s]}$${\displaystyle (p/q,0)}$${\displaystyle (r/s,0)}$${\estilo de visualización x}$

Los centros de los círculos de Ford constituyen un subconjunto discreto (y por lo tanto contable) del plano, cuyo cierre es el eje real: un conjunto incontable.

Los círculos de Ford también pueden considerarse como curvas en el plano complejo . El grupo modular de transformaciones del plano complejo asigna círculos de Ford a otros círculos de Ford. ^[1]

Los círculos de Ford son un subconjunto de los círculos en la junta apolínea generados por las líneas y y el círculo ^[4]${\displaystyle y=0}$${\displaystyle y=1}$${\estilo de visualización C[0/1].}$

Al interpretar la mitad superior del plano complejo como un modelo del plano hiperbólico (el modelo de semiplano de Poincaré ), los círculos de Ford pueden interpretarse como horociclos . En geometría hiperbólica, dos horociclos cualesquiera son congruentes . Cuando estos horociclos están circunscritos por apeirógonos, forman un mosaico en el plano hiperbólico con un mosaico apeirógono de orden 3 .

Existe un vínculo entre el área de los círculos de Ford, la función totient de Euler, la función zeta de Riemann y la constante de Apéry ^[5]. Como no hay dos círculos de Ford que se intersequen, se deduce inmediatamente que el área total de los círculos de Ford ${\estilo de visualización \varphi ,}$ ${\estilo de visualización \zeta ,}$ ${\displaystyle \zeta (3).}$

${\displaystyle \left\{C[p,q]:0<{\frac {p}{q}}\leq 1\right\}}$

es menor que 1. De hecho, el área total de estos círculos de Ford está dada por una suma convergente, que puede evaluarse. De la definición, el área es

${\displaystyle A=\suma _{q\geq 1}\suma _{(p,q)=1 \encima 1\leq p<q}\pi \left({\frac {1}{2q^{2}}}\right)^{2}.}$

Simplificando esta expresión obtenemos

${\displaystyle A={\frac {\pi }{4}}\sum _{q\geq 1}{\frac {1}{q^{4}}}\sum _{(p,q)=1 \atop 1\leq p<q}1={\frac {\pi }{4}}\sum _{q\geq 1}{\frac {\varphi (q)}{q^{4}}}={\frac {\pi }{4}}{\frac {\zeta (3)}{\zeta (4)}},}$

donde la última igualdad refleja la función generadora de Dirichlet para la función totient de Euler. Dado que esto finalmente se convierte en ${\displaystyle \varphi (q).}$${\displaystyle \zeta (4)=\pi ^{4}/90,}$

${\displaystyle A={\frac {45}{2}}{\frac {\zeta (3)}{\pi ^{3}}}\aproximadamente 0,872284041.}$

Nótese que, por convención, los cálculos anteriores excluyeron el círculo de radio correspondiente a la fracción . Incluyen el círculo completo para , cuya mitad se encuentra fuera del intervalo unitario, por lo que la suma sigue siendo la fracción del cuadrado unitario cubierto por los círculos de Ford. ${\displaystyle {\frac {1}{2}}}$${\displaystyle {\frac {0}{1}}}$${\displaystyle {\frac {1}{1}}}$

El concepto de círculos de Ford se puede generalizar de los números racionales a los racionales gaussianos , dando lugar a las esferas de Ford. En esta construcción, los números complejos se insertan como un plano en un espacio euclidiano tridimensional , y para cada punto racional gaussiano en este plano se construye una esfera tangente al plano en ese punto. Para un racional gaussiano representado en términos mínimos como , el diámetro de esta esfera debería ser donde representa el conjugado complejo de . Las esferas resultantes son tangentes para pares de racionales gaussianos y con , y de lo contrario no se intersecan entre sí. ^{[6] [7]}${\estilo de visualización p/q}$${\displaystyle 1/2q{\bar {q}}}$${\displaystyle {\bar {q}}}$${\estilo de visualización q}$${\estilo de visualización P/Q}$${\estilo de visualización p/q}$${\displaystyle |Pq-pQ|=1}$

• Junta apolínea : un fractal con infinitos círculos mutuamente tangenciales en un círculo en lugar de en una línea
• Cadena Steiner
• Cadena de vilano

• Los círculos conmovedores de Ford en Cut-the-Knot
• Weisstein, Eric W. "El círculo de Ford". MathWorld .
• Bonahon, Francis . "Funny Fractions and Ford Circles" (video de YouTube) . Brady Haran . Archivado desde el original el 2021-12-21 . Consultado el 9 de junio de 2015 .