El problema de la semana también lo propone Domingo por mail. Está relacionado esta vez con sucesiones y es el siguiente:
Para cada natural 
Las cuestiones son las siguientes:
- Demostrar que si las fracciones
son elementos consecutivos de
.
- Demostrar que si dos fracciones propias
verifican
, entonces son elementos consecutivos de
.
- Demostrar que si las fracciones
son elementos consecutivos de
.
- Calcular el límite
, donde
representa el número de elementos de la secuencia.
- Para cada fracción irreducible propia
, se considera la circunferencia
de centro el punto
y diámetro
. Demostrar que
son tangentes si y sólo si las fracciones
son términos consecutivos de una secuencia
Imagen con circunferencias tangentes enviada también por Domingo:
¿Te ha gustado la entrada? Puedes invitarme a un café, Gauss te lo agradecerá 😉
La 4 parte me hace pensar que todos los elementos formados por dos numeros primos entre si, por tanto el limite valdra
Por ahí van los tiros Javier. Sólo se te ha escapado un pequeño detalle…
Gracias, es
. Si hacemos un cuadrado de la forma:
Le diagonal de 1’s y la columna de 0 es son 2n numeros. El triangulo es de la forma
. Por tanto la columna y la diagonal no son relevantes en el limite.
Muy buena Javier. Efectivamente el valor del límite es
, ya que como bien dices, ese límite puede interpretarse como el valor límite de la probabilidad de escoger dos números 
primos entre sí menores o iguales a 
, pero con la condición 
(es decir, sólo consideramos la mitad de los casos que nos conducían al valor 
en https://gaussianos.com/probabilidad-de-escoger-dos-numeros-coprimos/ )
Por tanto el conjunto
tiene aproximadamente 
fracciones, para 
suficientemente grande.
Vamos ahora a por las demás cuestiones.
El 2 es muy sencillo, no puede haber en medio un c/d entre los dos, porque entonces:
a’*d-c*b’
Por favor, un enlace permanente para escribir el menor estricto.
Si
menor 
menor 
, tal que 
para 
con 
, entonces 
y 
y 
, pero al ser enteros a,b,a’,b’,c,d, 
, con lo cual, llegamos a una contradiccion.
error donde digo \
quiero decir \
Javier, efectivamente todas son muy sencillas de demostrar. Pero, ¿podrías indicarnos cómo concluyes tan directamente en tu comentario anterior que
?
He supuesto que la parte 1 es cierta (Cosa que de momento no se me ocurre como) Si hubiera sabido como hacerlo hubiera emepzado por ahi.
Una pista para demostrar 5: dos circunferencias son tangentes si y sólo si la distancia entre sus centros coincide con la suma de los radios.
A ver si con esto…
Me encanta este blog y me encantaría poder ayudar para resolver estas demostraciones, pero entre que estoy de exámenes y que mis conocimientos son bajos no puedo, mientras tanto, iré tomando nota 😉 Saludos!!
Aunque quedan 4 cuestiones por responder (a ver si alguien busca algo de tiempo…), decir que estas sucesiones se conocen como sucesiones de Farey y los círculos como círculos de Ford. Una cuestión sencilla que no he visto reflejado por ahí respecto a los círculos tiene que ver con la suma de sus áreas y la suma de sus longitudes. Les animo a que, viendo la siguiente imagen, http://img264.imageshack.us/my.php?image=circulosmw5.png calculen la suma de las áreas y la suma de las longitudes de todos los círculos que aparecen. Recordemos que los círculos «inferiores» en la imagen están centrados en puntos con… Lee más »
Por ver si alguien se anima, la suma de las longitudes es infinita, mientras que la suma de las áreas es
, donde 
es la función zeta de Riemann (siempre aparece por todos lados!!). Esto nos da otro ejemplo sencillo de región acotada con frontera con longitud infinita.
¡Círculos y función zeta!
Domingo H.A: ¿Puedes tu encontrar una relación entre la función zeta de Riemann y el diagrama de curvas periódicas superpuestas que aparece en mi sitio web?
Omar-P, tus círculos no cumplen que sus radios tiendan a cero. En el caso que proponía surge la función zeta pues los radios decrecen como estamos tratando la función de Euler (cantidad de números primos relativos e inferiores a un número dado) y ésta se relaciona con la función zeta a través de la interesante fórmula: Esta suma es lo que he usado para deducir la suma de las longitudes y de áreas en el caso de los círculos de Ford. En tu caso, cambiando los radios de los círculos, podría usarse otra serie del tipo anterior, pero considerando la… Lee más »
¡Gracias Domingo H.A.!
Pero…
¿Serías tan amable de explicar dicha relación utilizando un lenguaje que pudiese ser comprendido por un alumno de escuela secundaria?
Gracias de nuevo.
Domingo, ya he visto mi error en el 2º, mi suposicion de que la suma es 1 es falsa.
He intentado la induccion de espacios $latex \mathfrak{F}_n, pero no consigo ver a donde me lleva.
Domingo, ya he visto mi error en el 2º, mi suposicion de que la suma es 1 es falsa.
He intentado la induccion de espacios
, pero no consigo ver a donde me lleva.
Javier, la 2) se obtiene, por ejemplo, por reducción al absurdo suponiendo que hay otra fracción entre ambas, y puedes suponer que dicha fracción es consecutiva a la menor de las dos iniciales. Usando entonces 1), y con un poco de manipulación algebraica llegas a un absurdo. O sea, que no ibas muy mal encaminado.
Ánimo con la 5) que no es nada difícil (sale con la pista que dije arriba y usando la propiedad 1)). La 3) es consecuencia inmediata de 1).
Yo diría que la más complicada de demostrar es la 1).
Omar-P, sólo quería indicar que para tus círculos no es posible el desarrollo que yo había seguido con los círculos de Ford, ya que los radios de tus círculos no decrecen como una potencia negativa de (cosa que sí ocurre en los círculos de Ford) y por tanto la suma de las longitudes y áreas de tus círculos es infinita. En tu caso habría que considerar otros círculos (modificando el radio), si se quiere hacer uso de la fórmula (que corresponde a la serie de Dirichlet que había indicado ayer con ), donde es la función que cuenta los divisores… Lee más »
Domingo H.A: Por ejemplo para n=12 ¿Cómo sería el dibujo?
Omar-P, no sería para un único valor de n, pero por ejemplo al llegar a 12 deberías dibujar un círculo de radio 1/12^s (tú eliges el «s») centrado en el eje OX en cada uno de los divisores de 12. En particular, centrado en cada número dibujarías infinitos círculos -uno por cada uno de sus múltiplos- con radios inversamente proporcionales a alguna potencia «s» de los múltiplos del número. Y entonces las longitudes y áreas se relacionarían con la función zeta. El dibujo de los círculos es raro en comparación con los círculos de Ford y en comparación con los… Lee más »
Si, Domingo H.A., ahora resulta mucho más accesible la explicación de este nuevo y extraño diagrama. Espero que alguna vez puedas dedicarle un tiempo y mostrarlo dibujado, para que podamos apreciar, en forma visual, todos sus detalles. Muchas gracias.
En cuanto mi pedido original, consistía en tratar de relacionar la función zeta de Riemann con el diagrama de curvas periódicas superpuestas. Este diagrama, en donde cada curva representa un divisor, permite determinar en forma exacta la posición de los números primos y comprender su distribución. Por otro lado, utilizando los ceros de la parte imaginaria de la función zeta de Riemann, entiendo que también se logra determinar la ubicación de los primos.
Quería saber entonces si, entre estos dos recursos, se puede percibir la existencia de alguna conexión elemental, que pudiese explicarse en forma sencilla.
Omar-P, ya sabes, investiga. Que tú mucho preguntar, pero nunca aportas nada.
Hombre, tampoco es para ponerse así. Estemos o no de acuerdo con lo que dices, hay formas más correctas de decirlo.
Pienso que cuando uno no sabe la respuesta hay que decir «no se» o permanecer callado y nunca incomodarse por la pregunta. Después de todo, el Universo aún guarda muchos secretos y debe ser más lo que ignoramos, que lo que sabemos.
Creo que tras mucho reflexionar a ratos libres he dado con una demostración del punto 1: Consideramos elementos seguidos de y Es decir es una fracción que se añadirá a para formar 1. Si Es fácil ver que Siendo n y m números naturales Y que $latex \frac{u}{v}=\frac{a+a^prime}{b+b^\prime}+\frac{n-m}{(b+b^\prime) \cdot v} 2. Suponemos que hasta N se cumple que para todos los pares de denominadores consecutivos de 3. Al construir a partir de se demuestra que: 3.1 todos los no simplificables usados caen entre fracciones con denominadores b y b’ tales que 3.2 y a la inversa, todas las fracciones con… Lee más »
Lo siento le he dado sin querer al botón comentar y he comentado antes de tener preparada del todo la demostración mientras la preparaba con el «vista previa».
Creo que tras mucho reflexionar a ratos libres he dado con una demostración del punto 1: Consideramos elementos seguidos de y Es decir es una fracción que se añadirá a para formar 1. Si Es fácil ver que Siendo n y m números naturales Y que 2. Suponemos que hasta N se cumple que para todos los pares de denominadores consecutivos de 3. Al construir a partir de se demuestra que: 3.1 todos los no simplificables usados caen entre fracciones con denominadores b y b’ tales que 3.2 y a la inversa, todas las fracciones con denominador b y b’… Lee más »
Posteriormente iré aclarando cada punto de la demostración. Como ésta era muy larga he decidido escribir primero el esquema general que he seguido y luego desarrollar cada punto.
Aclaraciones a la demostración: 1. Se deduce de y Siendo n y m naturales 2. En este punto debe decir: Se supone que hasta N se cumple que y que Para cada par de fracciones consecutivas de 3.1. Esto se deduce de y de 3.2. Se deduce de que la fracción no pertenece a y está entre 3.3. Según 3.1. y 3.2. se concluye que n=m=1. Luego sustituyendo en las ecuaciones del punto 1 se llega a la fórmula en 3.3. 3.4. Porque en este caso v sería menor que N+1 Con esta demostración se prueban a la vez los… Lee más »
El valor del límite (3/pi^2) es igual al radio del círculo cuya circunferencia equivale a la razón de volúmenes entre el ortoedro y el elipsoide inscrito, o entre el cuboide y el esferoide inscrito, o entre el cubo y la esfera inscrita.
3/pi^2 también es igual al radio del círculo cuya circunferencia equivale a la razón de superficies entre el cubo y la esfera inscrita.
Vamos a responder a la cuestión número 1. Tomamos las fracciones consecutivas en . Como a y b son primos ente sí (y ), por la identidad de Bézout, existen enteros tales , y además podemos suponer sin perder generalidad que . Por tanto, la soluciones de la ecuación diofántica son de la forma Nos interesa ver que y resuelven esta ecuación diofántica. Para ello notamos, y esta es la clave de la cuestión, que de entre todas las soluciones podemos elegir que cumpla y ; es decir, (y manteniéndose la solución positiva). Entonces la fracción irreducible de pertenece a… Lee más »
Bueno y para la cuestión 5, hay que tener en cuenta que las circunferencias son tangentes si y sólo si la distancia entre los centros es igual a la suma de los radios, es decir (poniendo esta igualdad y elevando al cuadrado),
$latex \left(\cfrac{a}{b}-\cfrac{\tilde{a}}{\tilde{b}}\right)^2
+\cfrac{1}{4}\left(\cfrac{1}{b^2}-\cfrac{1}{\tilde{b}^2}\right)^2=
\cfrac{1}{4}\left(\cfrac{1}{b^2}+\cfrac{1}{\tilde{b}^2}\right)^2$
o lo que es lo mismo, si y sólo si
y esto nos dice que las fracciones son consecutivas.
La imágen con circunferencias tangentes enviada por Domingo H.A. me hace recordar las sangaku.
¡Que bonita es la fórmula de los círculos tangentes de Descartes!
http://www.arrakis.es/~mcj/sangaku03.htm
Gracias por las respuestas Domingo,
¿mi demostración no te parece correcta? quizá no supe expresar bien las ideas
lo de las circunferencias tangentes tiene relación con el problema de Apolonio:
http://en.wikipedia.org/wiki/Problem_of_Apollonius
http://en.wikipedia.org/wiki/Apollonian_gasket
http://mathworld.wolfram.com/ApollonianGasket.html
Y la versión tridimensional es espectacular: http://en.wikipedia.org/wiki/Image:Apollonian_spheres.jpg
¿Sabía que… Apolonio de Perga, conocido como «el gran geómetra», fue quien dió el nombre a las figuras de la elipse, la parábola y la hipérbola?.
Con esto de las circunferencias tangentes me acabo de acordar de una curiosidad que, con permiso del moderador, les propongo como ejercicio (es sencillo). 1) Vamos a considerar en el plano el cuadrado de lado 4 y en él vamos a dibujar las cuatro circunferencias, todas de radio 1, centradas en los puntos . Estas circunferencias son consecutivamente tangentes y dejan un hueco al medio. ¿Cuál es el radio de la mayor circunferencia centrada en el origen tangente a las 4 circunferencias anteriores? 2) Misma cuestión pero en tres dimensiones: dado el cubo de lado 4 y las 8 esferas,… Lee más »
Lo he pensado un poco por encima. Las respuestas son:
1.
2.
3.
4. A partir de n>=10 la esfera tangente se sale del hipercubo
Lo encuentro paradójico pero no se si me he equivocado en algo, o cómo debe interpretarse este resultado.
jejeje, sí señor Toro Sentado…paradójico el resultado, no?
En dimensión 9 «vemos» que la hiperesfera central tiene radio 2, que es igual a la semi-arista del hipercubo. Así que ahora la esfera central «llena» el hipercubo, siendo tangente a cada una de las hipercaras en su centro, pero aún así deja suficiente espacio en cada uno de los
vértices como para incluir 512 esferas de dimensión 9 de radio 1.
Otra curiosidad, por si alguien tiene interés:
se puede comprobar fácilmente que en dimensión 3 (resp., 2) es mejor encajar una esfera (resp., círculo) dentro de un cubo (resp., cuadrado), que un cubo (resp. cuadrado) dentro de una esfera (resp., círculo). ¿Ocurre eso en cualquier dimensión?
Decimos (informalmente) que una figura encaja mejor dentro de otra si sobra menos volumen.
Teniendo en cuenta la expresión del volumen y área lateral de las esferas en función de la dimensión http://en.wikipedia.org/wiki/Hypersphere , se ve que una hiperesfera está mejor envasada en un hipercubo que un hipercubo en una hiperesfera si y sólo si
, donde 
es la dimensión.
¿ Es correcto n => 8 ?
Gracias por la corrección Omar-P, quise decir
. Cuando tenga un tiempo, y si nadie tiene ganas de hacerlo antes, intentaré explicar algo al respecto.
Me resulta interesante este tema, Domingo H.A. Espero, paciente, tu comentario.