noticias y última hora

Desigualdad con reales y enteros

El problema de la semana nos lo envía Abraham. A ver quien puede ayudarle:

Demuestra que para todo x \in \mathbb{R} positivo y todo natural n \ge 2 se cumple la siguiente desigualdad:

x^{2n}+\cfrac{n^2}{n-1} x^{n+2}+\cfrac{n^2}{n-1} x^{n-2}+1 > \cfrac{2(n^3-n^2-2n+1)}{(n-1)^2} x^n

A por él.

La función Phi de Euler: otra genialidad del maestro

Introducción

Pierre de Fermat

Pierre de Fermat


Tras la muerte de Pierre de Fermat, muchas de sus conjeturas quedaron sin resolver. Como ya sabemos, Fermat no era muy dado a publicar las demostraciones de sus resultados, por lo que debían ser demostrados por otros para confirmar su validez o falsedad. El caso más famoso, por lo que se tardó en confirmar y por la gran cantidad de matemáticos que se dedicaron a ello, es el denominado último teorema de Fermat, demostrado finalmente por Andrew Wiles en 1995, pero ni mucho menos fue el único.

La afirmación de Fermat sobre la primalidad de todos los números enteros positivos F_n=2^{2^n}+1, llamados números de Fermat, fue otra de sus más famosas conjeturas, refutada finalmente por Euler en 1732 al encontrar la factorización de F_5:

F_5=2^{2^5}+1=4294967297=641 \cdot 6700417

De hecho no se ha vuelto a encontrar ningún número de Fermat que sea primo.

Y el llamado pequeño teorema de Fermat constituye otro caso del mismo tipo que los anteriores. Dicho teorema afirma lo siguiente:

Si p es un número primo y a es un número natural que no es divisible por p, entonces a^{p-1} \equiv 1 \pmod{p}

Euler demostró este resultado y dio además la demostración de una generalización del mismo. En esta historia la conocida como función \varphi de Euler ejerce un papel de suma importancia.
(Leer el resto del post)

Potencia matemático-musical

Una simple curva, trazada a la manera de la curva de los precios del algodón, describe todo lo que el oído puede escuchar como resultado de las más complicadas composiciones musicales. En mi opinión, esto es una maravillosa prueba de la potencia de las matemáticas.

Lord Kelvin

Los números primos, de Enrique Gracián

Límite homenaje a Vladimir Arnold

Esta semana J.H.S. me propone un problema que publicó en su blog El Reto hace unas fechas. La historia que nos cuenta J.H.S. en su artículo es más o menos así:

    El reto de esta ocasión pretende ser un modesto homenaje al profesor Vladimir Arnold, fallecido recientemente. El problema está basado en un curioso ejercicio que él solía mencionar en sus charlas a manera de expresión de respeto hacia los matemáticos de la vieja escuela.

    Específicamente, Arnold solicitaba calcular el siguiente límite:

    \lim_{x \to 0} \cfrac{sen(tg(x))-tg(sen(x))}{arcsen(arctg(x))-arctg(arcsen(x))}

    El Profesor agregaba que un problema así le tomaría no más de un minuto a hombres como Hooke, Newton o el famoso sensei de Newton. No tanto por sólo ser ellos, sino porque, a diferencia de los matemáticos de la actualidad, ellos sí sabían calcular. Cuenta la leyenda que, para ponerle sabor al asunto, Arnold ofrecía una recompensa monetaria para el individuo de la audiencia que lo resolviera primero. Se reporta además que no sería sino hasta en un seminario de Princeton (hacia fines de los 80) que Arnold conociera a alguien capaz de acabar con su propuesta en tiempo real.

    Al parecer, la leyenda anterior y el límite mismo son objeto de culto en los círculos matemáticos rusos.

Procedamos entonces con la propuesta del momento:

Sean f y g funciones analíticas (reales) alrededor del {0}, con

f(0) = g(0) = 0 y f^\prime (0) = g^\prime (0) = 1

¿Cuánto vale el siguiente límite?

\lim_{x \to 0} \cfrac{f(x)-g(x)}{g^{-1}(x)-f^{-1} (x)}

Espero que el problema sea de su agrado y que ayude a perpetuar, de un modo u otro, la memoria del Profesor Arnold.

Suerte.

Un rechazo, un nacimiento y un fallecimiento

Hoy os traigo una entrada con varias noticias relacionadas con las matemáticas que se han producido en los últimos tiempos. Son las siguientes:

El contraejemplo de Francisco Santos

¿Recordáis el artículo de hace unos días en el que os hablaba de Francisco Santos y la conjetura de Hirsch? Sí, ese en el que reproducía un texto que me envió Francisco Santos, profesor de la Universidad de Cantabria, en el que hablaba de la conjetura de Hirsch y de que él había construido un contraejemplo para la misma. Bueno, este artículo. Bien, pues me informa el propio Francisco de que ha subido al arXiv el paper correspondiente a este trabajo. Podéis consultarlo en este enlace.

Gracias por el aviso Paco.

Fácil-difícil

Si la gente no cree que las matemáticas son sencillas es sólo porque no se da cuenta de lo complicada que es la vida.

John Von Neumann

INFINITUM. Citas matemáticas

Como en muchas otras cosas, qué razón tiene señor Von Neumann. ¿Verdad?

Determinante y números combinatorios

Os dejo el problema de esta semana, enviado por KMPOS:

Calcular el valor del siguiente determinante:

\begin{bmatrix}\displaystyle\binom{m}{0}&\displaystyle\binom{m}{1}&\ldots &\displaystyle\binom{m}{n}\\\ \displaystyle\binom{m+1}{0}&\displaystyle\binom{m+1}{1} & \ldots &\displaystyle\binom{m+1}{n} \\ \vdots&&&\vdots \\ \displaystyle\binom{m+n}{0} & \displaystyle\binom{m+n}{1} &\ldots & \displaystyle\binom{m+n}{n}\end{bmatrix}

Suerte.

El problema de Waring

Esta entrada ha sido promovida para aparecer en la portada de Menéame. Si te ha gustado y quieres votarla haz click en este enlace y pincha en Menéalo.


En ocasiones puede resultar paradójico que la respuesta a una pregunta suponga la aparición de muchas otras preguntas, pero en matemáticas esto ocurre constantemente. Es habitual que la demostración de un hecho traiga consigo la formulación de muchas preguntas relacionadas con este hecho.

Edward Waring

Edward Waring


Precisamente esto es lo que ocurrió en 1909. Ese año David Hilbert daba una demostración de una conjetura conocida como problema de Waring, formulada por el matemático inglés Edward Waring más de cien años antes, en 1770.

En concreto, Waring conjeturó en su obra Meditationes Algebraicae que

Todo entero positivo puede expresarse como suma de a lo sumo n potencias k-ésimas positivas, siendo n dependiente de k (se entiende que k es un número entero positivo).

Esto quiere decir que dado un exponente entero positivo k, todo número entero positivo que tomemos necesitará de, como mucho, un número concreto de potencias con ese exponente k. Waring conjeturó que todo entero positivo puede expresarse como suma de, a lo sumo, 4 cuadrados, 9 cubos y 19 potencias cuartas. Vamos, que si expresáramos todos los enteros positivo como suma de números al cuadrado, no haría falta usar 5 de ellos para expresar así ningún número.

Al parecer no se considera que Waring tuviera la suficiente capacidad para probar su propia conjetura, de hecho ni siquiera para probar alguno de los casos particulares (k=2,3,4) que él mismo conjeturó. Pero ahí quedó la cosa, como un reto al igual que cualquier otra conjetura, para quien la quisiera tomar.

El mismo año 1770 en el que se formuló la conjetura, el caso k=2 queda demostrado por Lagrange dando como resultado que Waring tenía razón: todo entero positivo puede expresarse como suma de, a lo sumo, 4 cuadrados. Como no podía ser de otra forma, este resultado se denomina teorema de los cuatro cuadrados y, aunque Fermat ya pensaba que era cierto, fue Lagrange el primero en dar una demostración. Un punto para Waring. Pequeño, sí, pero ahí queda.

David Hilbert

David Hilbert


La traca final llegó en 1909 cuando Hilbert demuestra el caso general. Es decir, dado cualquier entero positivo k, el número n de potencias k-ésimas que hay que sumar para obtener cualquier entero positivo está acotado, tiene un máximo, un tope, sea cual sea el número entero positivo que queramos expresar así.

El pero de todo esto (sí, siempre tiene que haber un pero) es que la demostración de Hilbert no da ningún procedimiento para calcular ese número máximo de sumandos. Por poner un ejemplo, esto quiere decir que sabemos que todo número natural puede ser expresado como, a lo sumo, un cierto número concreto de potencias de exponente 328, pero la demostración de ello no nos dice cuál es ese número concreto de ellas.

Dado que no tenemos una fórmula explícita para, dado k, calcular el valor de n, la única opción que nos queda es estudiar caso por caso: cuadrados por un lado, cubos por otro, potencias cuartas, etc.
(Leer el resto del post)

Puedo prometer y prometo

Este curso académico ha sido bastante intenso para mí, por lo que hay cosas que he tenido que dejar algo de lado, más de lo que gustaría. De todas formas el curso se termina pronto, por lo que en pocas semanas pasaré a tener bastante más tiempo libre del que he tenido en los últimos meses.

Quiero dedicar una buena cantidad de ese tiempo a Gaussianos. Tanto al blog en el sentido de publicación como a otras cosas relacionadas con él. Por eso puedo prometer y prometo:

  1. Que haré todo lo posible para contestar los más de 150 mails que tengo en el buzón de correo pendientes de contestación
  2. Que cumpliré mi promesa de premiar a los ganadores del Concurso Caras de Matemáticos

Respecto a este último punto, quiero comentar que he tardado tanto en hablar sobre el tema por varias cosas. En los comienzos tardé en recopilar la información personal de cada uno de los ganadores (y de algunos más, vosotros sabéis quiénes sois) para enviarles el premio. Después de recopilar dicha información estuve un tiempo pidiendo presupuestos, y eso también contribuyó a retrasar todo. Y cuando ya más o menos tenía todo lo necesario…dejé de tener tiempo libre para ello. Por eso ahora, que parece que voy a estar más liberado, también quiero aprovechar para cumplir con este punto. Pronto, espero, tendréis noticias sobre el tema.

Anterior

Siguiente