Principio de Wardrop

Supongamos que 1000 vehículos desean ir de A a B y tienen dos formas de hacerlo: ACB (ADB). Ambas rutas tienen un tramo de autopista AC (DB) en los que se tarda un tiempo que no depende del número de vehículos debido a su alta capacidad y un tramo CB (AD), que al ser una vía convencional, en el que el tiempo aumenta 1 minuto por cada 100 vehículos que la transitan.

Si se elige la ruta ACB:

$$t_{AC}+t_{CB}=t_{AC}+\frac{X_{CB}}{100}$$ Si en esta ruta se tardan 15 minutos por autopista y circulan 600 vehículos, el tiempo total empleado será: $$t_{ACB}=15+\frac{600}{100}=21$$

Si se elige la ruta ADB:
$$t_{AD}+t_{DB}=\frac{X_{AD}}{100}+t_{DB}$$

Si en esta ruta se tardan 10 minutos por autopista y circulan 400 vehículos, el tiempo total empleado será:  $$t_{ADB}=\frac{400}{100}+10=14$$ Una parte de los conductores, los más avispados, que fueron por la ruta ACB eligirán la próxima vez la ruta ADB que es más rápida. Esto hará que ahora la ruta ADB sea más rápida (menos vehículos) pero la ruta ADB no lo sea tanto (más vehículos). El proceso seguirá hasta alcanzar un equilibrio que se producirá cuando los tiempos de viaje sean los mismos para ambos trayectos. A nadie le interesará cambiar en el próximo viaje.

Estamos ante un Equilibrio de Nash de la teoría de juegos: no hay cambio de estrategia individual que permita a un jugador aumentar su 'ganancia'.

En el ejemplo: $$t_{ACB}=t_{ADB}$$ $$15+\frac{250}{100}=\frac{750}{100}+10=17.5$$
 Principio de Wardrop (1952):

Los tiempos de viaje en todas las rutas es igual (entre ellas), y menor al tiempo que experimentaría cualquier vehículo que decidiera cambiar a otra ruta.

Descargar .XLS

Sigue las instrucciones de utilización del modelo de Excel que puedes descargar a continuación:

Radicales infinitos y jerarquizados

Es posible que el primer radical infinito jerarquizado  se deba a François Viète que en 1593 publicó su famosa fórmula del número pi: $$\frac{2}{\pi}=\frac{\sqrt 2}{2}\cdot \frac{\sqrt{2+\sqrt 2}}{2}\cdot \frac{\sqrt{2+\sqrt {2+\sqrt 2}}}{2} \cdot...$$ Veamos cuál es el valor del siguiente radical infinito y jerarquizado: $$\sqrt{2+\sqrt{2+\sqrt{2+...}}}$$ Resolviendo por autosemejanza: $$\sqrt{2+\underbrace{\sqrt{2+\sqrt{2+...}}}}=x \rightarrow \sqrt{2+x}=x$$ $$2+x=x^2 \rightarrow x=2$$ es la única solución positiva. Generalizando se tiene: $$\sqrt{a+\sqrt{a+\sqrt{a+...}}}$$ se llega a la ecuación: $$a+x=x^2 \rightarrow a=x(x-1)$$ Por tanto, todo número x>1 puede escribirse como un radical infinito y jerarquizado. Por ejemplo: $$3=\sqrt{6+\sqrt{6+\sqrt{6+...}}}$$ Generalizando un poco más: $$\sqrt{a+b\sqrt{a+b\sqrt{a+...}}}$$ se llega a la ecuación: $$a+bx=x^2 \rightarrow a=x(x-b)$$ Se observa que si x es un número natural, existen x-1 pares de números naturales: $$(a,b) \wedge 0 < b < x$$ que permiten representar los números naturales de más de una forma, por ejemplo: $$5=\sqrt{20+\sqrt{20+\sqrt{20+...}}}=\sqrt{15+2\sqrt{15+2\sqrt{15+...}}}=$$ $$\sqrt{10+3\sqrt{10+3\sqrt{15+...}}}=\sqrt{5+4\sqrt{5+4\sqrt{5+...}}}$$ En el caso de a=0 se tiene: $$\sqrt{b\sqrt{b\sqrt{b+...}}}=b^{\frac{1}{2}+\frac{1}{4}+\frac{1}{8}+...}=b$$

Recordando la proprción aúrea:

se tiene que:

$$\frac{a}{b}=\phi \rightarrow \phi= 1+\frac{1}{\phi}\rightarrow 1=\phi(\phi-1)$$

y por tanto, el número de oro, solución positiva de la ecuación anterior, se puede expresar también mediante radicales infinitos jerarquizados:

$$\phi=\frac{1+\sqrt {5}}{2}=\sqrt{1+\sqrt{1+\sqrt{1+...}}}$$

En Los números metálicos podrás buscar las expresiones en radicales infinitos y jerarquizados de los números de plata, bronce, cobre y níquel. 

Pero también puede haber expresiones, con otro tipo de radicales, como: $$\psi=\sqrt[3]{1+\sqrt[3]{1+\sqrt[3]{1+...}}}$$ que da origen a la ecuación: $$\psi ^3-\psi-1=0\rightarrow \psi=1.32471...$$ que fue llamado número de plástico por el arquitecto Dom Hans van der Laanen en 1928.

Alhacén y la cúbica de Barrow

Alhacén esta considerado como el padre de la óptica por sus trabajos sobre lentes, espejos, reflexión y refracción. En su obra principal Kitab al-Manazir (Libro de Óptica) plantea el problema siguiente:

En un plano se tiene una circunferencia y dos puntos exteriores A y B. Si la circunferencia funciona como un espejo se trata de encontrar el punto P de la circunferencia donde el rayo incidente desde A se refleje en el punto B. Para ello los ángulos deben ser iguales según la ley de la reflexión.

Lo resuelve de una manera muy tediosa y complicada por lo que matemáticos posteriores encuentran soluciones más sencillas. Isaac Barrow publicó en Cambridge Lectures en 1966 una solución al llamado 'Problema de Alhacén':

Dados dos puntos A(a,b) y B(c,d), se trata de encontrar sobre cualquier recta que pasa por el origen, un punto P(x,y) de forma que los ángulos que forman PA y PB con la recta sean iguales.

En el triángulo OPQ se tiene:

$$\alpha+\phi+(180-\theta)=180\rightarrow\alpha=\theta-\phi$$ Como: $$\tan \phi=\frac{y}{x} \wedge \tan \theta=\frac{b-y}{a-x}$$ se tiene que: $$\tan \alpha=\tan(\theta - \phi)=\frac{\tan \theta-\tan \phi}{1+\tan\theta·\tan \phi}=\frac{bx-ay}{ax+by-(x^2+y^2)}$$ Mediante un razonamiento análogo se obtiene: $$\tan \beta=\frac{cy-dx}{cx+dy-(x^2+y^2)}$$ Igualando ambas expresiones, eliminando denominadores y agrupando términos semejantes se obtiene: $$(x^2+y^2)[(b+d)x-(a+c)y]-(ad+bc)x^2$$ $$+(ad+bc)y^2+2(ac-bd)xy=0$$ Si se sitúan los puntos A y B de forma que el eje de abscisas sea la bisectriz del ángulo AOB, y entonces la ecuación se simplifica porque:
$$\frac{b}{a}=\frac{d}{c}\rightarrow bc+ad=0$$
Finalmente la ecuación se puede expresar de la forma: $$(x^2+y^2)(px+qy)+xy=0$$ siendo:
$$p=\frac{b+d}{2(ac-bd)} \wedge q=\frac{a+c}{2(ac-bd)} $$

Esta ecuación representa una curva algebraica de tercer grado. Si se centra la circunferencia en el origen de coordenadas, los puntos en los cuales ésta es cortada por la cúbica resuelven el problema. De las tres soluciones, sólo una tiene sentido físico.

Se pueden desplazar los puntos A y B mostrando sus coordenadas. Al mover el punto C se fija el tamaño de la circunferencia. Se comprueba, moviendo el punto P de la circunferencia, que cuando los ángulos coinciden el punto pertenece a la curva y por tanto es la solución. El botón 'curva' permite visualizarla o no.

• Del libro Alhacén, el Arquímedes árabe. Ricardo Moreno Castillo.
  La Matemática en sus personajes. Editorial Nivola.

Algoritmo de Irving

El llamado The Stable Rommates Problem o 'Problema de las Compañeras de Piso' fue resuelto mediante un algoritmo por Robert W. Irving en 1985. Cada participante ordena a sus posibles compañeras según sus preferencias. Cada chica elige una compañera y ésta acepta o no la oferta. En caso de no aceptar se entiende que rechaza a la chica que le ha hecho la propuesta. En el ejemplo de la tabla el AZUL indica la elegida, el VERDE la que acepta y el ROJO la rechazada.

• 1ª ETAPA
• Cada chica propone a su compañera favorita.
• La elegida acepta, pero si es elegida por más de una, acepta la mejor propuesta y rechaza las demás.
• Las rechazadas esperan para ser aceptadas más adelante.
• Si alguna chica es rechazada por todas no existe una solución estable.

Aunque Berta elige a Delia, ella prefiere a Clara y es rechazada. Igualmente, aunque Eva elige a Flor, ella prefiere a Delia y es rechazada.

Ahora Berta propone a Eva que acepta y Eva propone a Clara que acepta.

• 2ª ETAPA
• Todas desechan las posibles compañeras que son menos deseadas que la actualmente aceptada.

Ana rechaza a Clara y a Eva, Berta rechaza a Clara, y así sucesivamente.

Así las opciones quedan reducidas a las siguientes:

• 3ª ETAPA
• Elige una participante X que tenga al menos dos opciones.
• Busca su segunda preferencia Y.
• Sea Z la última preferencia de Y.
• Repite el proceso hasta que se llegue a X.
• Elimina las parejas (Y,Z) y sus simétricas.
• Repite el proceso hasta que todas tengan una única opción.

Los emparejamientos son: Ana y Flor, Berta y Eva, Clara y Delia.

En este caso no hay una solución estable, pues nadie quiere ir con D.

Algoritmo de Gale-Shapley

El llamado The Stable Marriage Problem o 'Problema de las Parejas Estables' fue planteado y resuelto mediante un algoritmo por David Gale y Lloyd Shapley en 1962. Su aplicación más conocida es la asignación de estudiantes de medicina recién graduados a los hospitales correspondientes.

Cada chico ordena a sus posibles compañeras según sus preferencias y viceversa. En el ejemplo de la tabla el VERDE indica si forman pareja y el ROJO si no pueden ser pareja por el rechazo de la chica.

• Cada chico invita a bailar a su primera opción.
• Cada chica evalúa las propuestas, escoge la mejor y desecha las demás.
• Cada chico rechazado invita a bailar a su segunda opción, aunque en ese momento esté con otro.
• Se itera el proceso hasta que todas las chicas tengan una única invitación.

Todos eligen a su chica preferida, pero como Julia prefiere a Mateo, rechaza a Pedro.

Diego elige a Laura que prefiere seguir con Jorge y rechaza a Diego.

Diego elige a Elena que estaba con Pedro y lo deja porque prefiere a Diego.

Esto obliga a Pedro a elegir a Laura que acepta renunciando a Jorge.

Finalmente Jorge elige a Paula que acepta y las parejas estables son:
(Diego,Elena), (Jorge,Paula), (Mateo,Julia) y (Pedro,Laura).

¡¡¡ Siempre hay un emparejamiento estable!!!